Manuscript X-D-ST@1 · X-D-ST.tex · section · e0cf8fdb
From the analytic estimate to a declared table
Finite Enter encoding of supplied limiting evaluations › From the analytic estimate to a declared table · lines 2154–2168
The installed table stores supplied exact values, rational reports, or certified intervals. The theorem is not a general algorithm for evaluating arbitrary smooth inputs, and finite descriptions of arbitrary smooth fields or arbitrary real numbers are not assumed.
The dictionary can always be nonempty: for zero backgrounds, both completed positive-order tests are zero. The conformal diagnostics provide nontrivial mathematical entries when those data are selected in advance.