我们描述了一种基于Python的计算机程序DEFT，用于在有效领域理论（EFT）中操纵运算符。 在目前的化身中，DEFT可以应用于尺度组为SU（3）×SU（2）×U（1）的4​​维Poincaré不变理论，例如标准模型（SM），但有多种扩展（ 例如较小的尺寸或单位规格组的任意产品）。 除其他功能外，该程序还能够：（i）一旦冗余（例如，拉格朗日算子（在EFT扩展中具有给定维度）的输入列表，是否为算子对S矩阵元素做出贡献的空间的基础。 考虑到Fierz-Pauli身份，零件积分和运动方程式）； （