Manuscript XIV-J@1 · XIV-J.tex · input · 1c0e72ca
Input statement: XII-E roots and XII-C source
J0: copied premises and their domains › Earlier analytic handoffs · lines 727–759
XIV-J@1#input:EC, XIV-J@1#eq:source
The normalization and filled slots remain
The roots are
The scalar-sourced slot is included once XIIE.
The actual source is
The unintegrated cubic representative is fixed before weighting, and the selected action weights only that cubic coefficient XIIC.
Displayed formulas in this passage
XIV-J@1#eq:source · line 745
unlabeled · line 730
unlabeled · line 736