Manuscript X-A-conv-ST@1 · X-A-conv-ST.tex · section · 8ca47088
A nonempty finite dictionary
Complete instruments for supplied evaluations › A nonempty finite dictionary · lines 1608–1632
A supplied dictionary contains quantity tags, frozen-data identifiers, support-certificate status, optional certified numerical enclosures, and logical status words.
One explicit four-entry dictionary is:
\begin{array}{c|p{.68\linewidth}}
00&\texttt{\detokenize{GAP_POSITIVE}}: equation~\eqref{eq:energy}
proves the fixed coefficient is positive.\\[3pt]
01&\texttt{\detokenize{ORBIT_CONSTANT}}: a specified erasure output
is constant on the full scalar orbit.\\[3pt]
10&\texttt{\detokenize{INFORMATIVE_FORBIDDEN}}: full-orbit invariance
together with informativeness is excluded.\\[3pt]
11&\texttt{\detokenize{NOT_CONSTRUCTED}}: an independently charged
second classical coefficient has not been supplied.
\end{array}A finite list of sampled coincidences is not a certificate of universal orbit constancy. Optional rational enclosures of are supplied data; no numerical quadrature has been executed here.
Displayed formulas in this passage
unlabeled · line 1615
\begin{array}{c|p{.68\linewidth}} 00&\texttt{\detokenize{GAP_POSITIVE}}: equation~\eqref{eq:energy} proves the fixed coefficient is positive.\\[3pt] 01&\texttt{\detokenize{ORBIT_CONSTANT}}: a specified erasure output is constant on the full scalar orbit.\\[3pt] 10&\texttt{\detokenize{INFORMATIVE_FORBIDDEN}}: full-orbit invariance together with informativeness is excluded.\\[3pt] 11&\texttt{\detokenize{NOT_CONSTRUCTED}}: an independently charged second classical coefficient has not been supplied. \end{array}