Manuscript X-L-ST@1 · X-L-ST.tex · section · 20a32a22
Two residuals with different types
Master residuals, reciprocity, and finite certificates › Two residuals with different types · lines 1356–1376
X-L-ST@1#eq:recinput
The supplied X-G-ST record contains a positive free-solution reciprocity witness and X-H-ST contains finite reports of its installed evaluation XGST,XHST. For use here its exact source normalization is kept as a declared data package:
No numerical value or unsupplied component formula is invented. Results using this positivity are conditional on that explicitly identified witness package. The newly proved scalar witness (eq:witness) is independent of it.
Displayed formulas in this passage
X-L-ST@1#eq:recinput · line 1363