The star trace identity #
The accompanying paper's (★): the trace of the star union is the parameter
value of the closed fragment. Closing the star union against the
strand bundle self-glues its straight matching
(pairCloseStrandBundle), and regluing the straight matching in
the star union restores the fragment (starUnion_reglue). On Hom
classes: the descended trace of the star-union class is the value.
noncomputable def
RS.starUnionPairClose
(W : ClosedFragment)
:
Fragment.Equiv (pairClose (starUnion W) (strandBundle (edgeCount W))) W
The star union reassembles under the bundle closure.
Equations
- One or more equations did not get rendered due to their size.