Manuscript XII-F@1 · XII-F.tex · section · 54cb3169
The copied switching display
F2: companion support and the off-condition diagnostic › The copied switching display · lines 641–666
XII-F@1#eq:companion-display
For free , put and . The display from XII-E is
where
It follows from the free-scalar identity , the zero-data relation , and Lemma lem:no-ramp. We use it as the handed switching formula, not as a new cubic response.
Displayed formulas in this passage
XII-F@1#eq:companion-display · line 645
unlabeled · line 657