我们研究了“约束广义Killing（s）pinors”，它表征了超重力理论的超对称通量压缩。 使用几何代数技术，我们为将超对称条件转换为微分形式集合的微分和代数约束提供了概念上清晰且计算有效的方法。 特别是，我们给出了Fierz身份的综合描述，这些身份是此类问题的重要组成部分。 作为一个应用程序，我们展示了如何使用我们的方法有效地处理8个流形上的M理论的N = 1压缩，并证明我们可以恢复文献中先前获得的结果。