Manuscript X-E-ST@1 · X-E-ST.tex · section · 44614221

What is installed

Finite supplied evaluations and the Enter instrument › What is installed · lines 2262–2284

Choose finitely many supplied smooth free configurations or polarized triples and fixed tests satisfying the supported contract. A dictionary entry can be

a_{i} = ⟨ t_{3, i}, u_{i, 1} \otimes u_{i, 2} \otimes u_{i, 3} ⟩,

or a supplied expectation whose state and existence have been separately specified.

This paper uses the first, normal-symbol evaluation option. It does not construct a detector for $τ$ , a state of the graviton, or a procedure for acquiring arbitrary field data.

By Theorem thm:continuity, these finitely many evaluations are continuous on their fixed data stages. The installed implementation stores rational reports or certified enclosures for them. Arbitrary real numbers and arbitrary smooth fields are not assumed to have finite exact descriptions.

Displayed formulas in this passage

unlabeled · line 2267
$a_{i} = ⟨ t_{3, i}, u_{i, 1} \otimes u_{i, 2} \otimes u_{i, 3} ⟩,$