Manuscript VIII-A@3 · VIII-A-v3.tex · section · 2398a747
Persistent signature
The finite admissibility contract › Persistent signature · lines 817–836
VIII-A@3#A:eq:signature
An event changes the numbers of faces, vertices, and matching equations. Literal equality of the two raw lists is therefore not required.
For a commonly marked punctured-disk domain, define
The slice-intersection point is checked in (E5), but it is not required to remain the same point of the fixed worldline as the slice advances.
Displayed formulas in this passage
VIII-A@3#A:eq:signature · line 824