Manuscript XIII-C@1 · XIII-C.tex · section · e6556893

XIII-B's release, copied

C0: copied release and the selected problem › XIII-B's release, copied · lines 312–339

XIII-C@1#eq:tree-input, XIII-C@1#eq:tree-branches-input, XIII-C@1#eq:R-convention

Back to manuscript

The constructed tree datum is not recomputed:

The selected convention remains

Its ordered values are zero when the entire interaction support is later, and when the entire observable support is later. The literal equality with is closed and is not reopened.

Displayed formulas in this passage

  • XIII-C@1#eq:tree-input · line 315

  • XIII-C@1#eq:tree-branches-input · line 321

  • XIII-C@1#eq:R-convention · line 328

Nearby in this section