Manuscript X-I-ST@1 · X-I-ST.tex · section · 9745fd40
A nonempty dictionary requiring no numerical execution
Section B: what counts as a released residual report › A nonempty dictionary requiring no numerical execution · lines 1711–1735
For example, an eight-entry dictionary may report:
\begin{array}{c|p{.70\linewidth}}
000 & \texttt{\detokenize{ZERO}}: a specified component of \(s^2\Phi\).\\[2pt]
001 & \texttt{\detokenize{ZERO}}: the zeroth master coefficient.\\[2pt]
010 & \texttt{\detokenize{ZERO}}: the first master coefficient.\\[2pt]
011 & \texttt{\detokenize{ZERO}}: the second master coefficient.\\[2pt]
100 & \texttt{\detokenize{ZERO}}: the third master coefficient.\\[2pt]
101 & \texttt{\detokenize{POSITIVE}}: the real coefficient
\eqref{eq:positiveB} of the specified fourth-order lift.\\[2pt]
110 & \texttt{\detokenize{POSITIVE}}: the separate reciprocity value
\eqref{eq:reciprocity}.\\[2pt]
111 & \texttt{\detokenize{NOT_ACQUIRED}}: no continuum acquisition map
has been supplied.
\end{array}These are theorem-based finite status words. No decimal approximation of an unevaluated integral is invented.
The two positive entries describe different objects. Their juxtaposition does not identify them.
Displayed formulas in this passage
unlabeled · line 1714
\begin{array}{c|p{.70\linewidth}} 000 & \texttt{\detokenize{ZERO}}: a specified component of \(s^2\Phi\).\\[2pt] 001 & \texttt{\detokenize{ZERO}}: the zeroth master coefficient.\\[2pt] 010 & \texttt{\detokenize{ZERO}}: the first master coefficient.\\[2pt] 011 & \texttt{\detokenize{ZERO}}: the second master coefficient.\\[2pt] 100 & \texttt{\detokenize{ZERO}}: the third master coefficient.\\[2pt] 101 & \texttt{\detokenize{POSITIVE}}: the real coefficient \eqref{eq:positiveB} of the specified fourth-order lift.\\[2pt] 110 & \texttt{\detokenize{POSITIVE}}: the separate reciprocity value \eqref{eq:reciprocity}.\\[2pt] 111 & \texttt{\detokenize{NOT_ACQUIRED}}: no continuum acquisition map has been supplied. \end{array}