lo-Graph Atlas
Executable topology.
Knots, links and closed 3-manifolds written as codes a program reads, and the invariants computed from them.
S² × S¹ · productobject:M/s2xs1
canonical gauss code[[[-1,-2,3,4,-4,-3,2,1]],[+,+,+,+]]
Areas
Each area fixes a class of objects and the diagrams that present them.
Evidence
How far each value is established.
Verified computation
Recomputed from the published input and matched against the stored fingerprint.
Computed
Produced by a recorded computation.
Reported
Taken from a cited source.
Uncomputed
Not computed.
Not applicable
Not defined for this kind of object.
Unknown
No claim.