Manuscript XV-F@3 · XV-F-v3.tex · section · d4e74afa

The fifth pass: one identification, three refusals, four candidate displays

Source manifest (Gate F0) › The fifth pass: one identification, three refusals, four candidate displays · lines 695–739

XV-F@3#eq:T0

Back to manuscript

coefficients (D0.14). XIV-H, lines 653–665 Hq: the are the coefficients of the actual differentiated source, including ramp derivatives, with . The undifferentiated source is XII-C's density-weighted cubic XIICsource, not a displayed polynomial. Expanding it is a calculation, not a located display; it is not performed here.

factor (D0.14). The record reports a normalization line in XIV-I (locator not returned) alongside (eq:R). XII-D sets and does not display . No XIV text declares to be the advanced inverse of . Lemma lem:advanced constructs that inverse and proves its uniqueness; the identification remains a candidate.

stress (D0.12). XIII-C and XIV-J display Jstress

and the record reports the vertex as (locator not returned). XIV-J does not display the normalization of in (eq:hess); Lemma lem:polar shows the factor is two-valued.

replacement (D0.11). XII-A, Definition def:admissible, lines 518–528 XIIAhad, defines an admissible by four clauses: the same shell equations in both slots, the same graded antisymmetric part , a smooth difference , and vanishing unless is even and the ghost numbers sum to zero. No manuscript equates a XIV object with this (F3).

sets (D0.9, D0.17). XIII-C, lines 603–620 XIIICvertex: the are the connected collision subsets of the cycle-vertex table, for instance and on . , , remain roles.

Displayed formulas in this passage

  • XV-F@3#eq:T0 · line 715

Nearby in this section