Manuscript X-H-ST@1 · X-H-ST.tex · section · 943aa27e
Mathematical conventions
Purpose, provenance, and the Enter contract › Mathematical conventions · lines 260–278
Both and are formal parameters. Congruence modulo means equality of coefficients through order two, not a numerical remainder estimate.
Odd fields have coefficients in an exterior algebra. Positivity and thresholds will be applied only to specified real coefficient extractions, never to an uninterpreted Grassmann-valued residual.
Local action identities are taken modulo integrated divergences. Arbitrarily multiplying a divergence representative by an observation function can change its integral; that operation is not silently used to evaluate a variational class.