lo-Graph Atlas EN JA
lo-Graph Atlas

実行可能なトポロジー。

結び目・絡み目・閉3次元多様体を、プログラムが読む符号として書き、そこから不変量を計算する。

S² × S¹ · 直積object:M/s2xs1
canonical gauss code[[[-1,-2,3,4,-4,-3,2,1]],[+,+,+,+]]
S² × S¹ o-graph
H₁ = ℤ · 4 vertices この記録を開く →

Area

各Areaは、対象の類と、それを表示する図式を定める。

根拠

各値がどこまで確立されているか。

Verified computation

公開入力から再計算し、保存された fingerprint と一致。

Computed

記録された計算による。

Reported

典拠を伴う引用。

Uncomputed

未計算。

Not applicable

この種類の対象には定義されない。

Unknown

主張なし。