Manuscript X-Enter-ST@1 · X-Enter-ST.tex · definition · f76acc1f
Definition: Declared complete output
Stage B: the encoding-independent orbit obstruction · lines 458–472
X-Enter-ST@1#def:complete
For an encoding , let denote the entire declared output: every reported classical word and every returned quantum factor.
It is orbit invariant if
It is {informative about } if is nonconstant as a function of .
Displayed formulas in this passage
unlabeled · line 466