Manuscript IX-C@1 · IX-C.tex · section · 03ce8e6b
Second-stage coefficient equations and associativity
Second-stage coefficient equations and associativity · lines 1090–1107
IX-C@1#eq:firstprescription, IX-C@1#eq:secondprescription, IX-C@1#eq:mixedprescription
If the two-edge functionals have been established, the intended placement prescriptions are
These are labelled prescription equations until descent through , existence, and admission have been proved.
Displayed formulas in this passage
IX-C@1#eq:firstprescription · line 1094
IX-C@1#eq:secondprescription · line 1094
IX-C@1#eq:mixedprescription · line 1094
Nearby in this section
- section: Second-stage coefficient equations and associativity
- proposition: Proposition: Formal coefficient expansion
- theorem: Theorem: Coefficientwise associativity criterion
- corollary: Corollary: Conditional placement coherence
- remark: Remark: Why the corollary is not a construction
- section: Second-stage coefficient equations and associativity