TOPOLOGY.JL / PUBLIC CATALOG
Area 3
o-graph atlas
多様体ごとに、計算で得た図と読み出しを一枚にまとめる公開カタログ。
6 OBJECT PAGESArea 3 catalog · 2026-09-05
BROWSE BY OBJECT
例を、同じフォーマットで。
機械生成の共通項目に、必要なページだけ個別コメントを重ねます。掲載ラベルは同定主張とは分離して表示しています。
AREA 3 / 01
S³
one-vertex example
AREA 3 / 02
L(2,1)
lens-space example
AREA 3 / 03
L(3,1)
lens-space example
AREA 3 / 04
L(3,2)
lens-space example
AREA 3 / 05
S² × S¹
product example
AREA 3 / 06
Poincaré-labelled example
homology-sphere fixture
READING THE CATALOG
fixture-example は、公開可能な入力例と計算結果を示す状態です。`H₁` や有限次数の読み出しは比較用の有限証拠であり、そこから多様体同定を自動的に主張しません。