Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96
Signs and multiplicities
Sign, order, and verification audit › Signs and multiplicities · lines 1830–1848
Each first-stage partial coefficient has sign and multiplicity . The complete word has two insertion signs, whose product is . The middle-slot assignment factor is , not ; the partial factor has already counted the choice of the first middle slot.
The selected order ledger is
Observation differentiation does not change contraction order. It does not introduce independent descendant calibration constants.
Displayed formulas in this passage
unlabeled · line 1839