feynlag.dirac.gamma_simplify

feynlag.dirac.gamma_simplify(expr, metric_func=<function minkowski_metric>, identity=DiracIdentity(), zero=DiracZero())

Apply Clifford algebra rules to expr with canonical ordering.

Rules applied iteratively until a fixed point: - {γ^μ, γ^ν} = 2 g^{μν} I₄ (adjacent gammas reordered canonically), - metric contraction g_{μν} γ^ν → γ_μ, - identity / zero matrix absorption.

Ported verbatim in behavior from DLRSM1.