simplify_gamma

Simplify registered Spenso gamma chains and traces with Idenso's default rules.

The dimension-generic part applies compatible Clifford anticommutation, adjacent contractions, and ordinary odd/even trace recursion. Chisholm identities, gamma-five anticommutation and traces, gamma-zero conjugation, and chiral-projector rules are applied only when the expression carries explicit four-dimensional Minkowski and bispinor representations.

This function does not select or implement a dimensional-regularization gamma-five scheme. Its gamma-five rules are strictly four-dimensional, and the default Python entry point does not enable the optional three-gamma epsilon expansion available through Rust settings. Gamma factors must use the Spenso representation-aware forms registered by initialize(); unrecognized plain Symbolica functions are left unchanged.

from symbolica import E
from symbolica.community.idenso import initialize, simplify_gamma
initialize()
trace = E('''
    gamma(bis(4,a),bis(4,b),mink(4,mu))
    * gamma(bis(4,b),bis(4,a),mink(4,nu))
''', default_namespace="spenso")
simplified = simplify_gamma(trace)
"gamma(" not in str(simplified) and "g(" in str(simplified)