Poset View
Geometric Realization
Depth
Fold
Use mouse to rotate, zoom, and pan the view. PgUp/PgDn: previous/next graph.
Selected: none
Movie — frames of (1,2)-tangles
▼
▲
◀
Play
▶
0 / 0
Regular frames only
extremum of the frame's height (cap / cup apex)
saddle — 4 branches meet; a numbered dot is a k-fold (monkey) saddle
isolated point — a circle born / killed
inflection — a cusp (no topology change)
Hide Controls
📚 Collections
🧩 Assembly
💾 Save
⇄ Dualize
✏️ (1,2)-Tangle
✏️ (2,3)-Tangle
◐ S¹ Framing
◑ S² Framing
Drawn (1,2)-tangle:
Raise → (2,3)
Stash as A
Combine with A → (2,3)
View
View mode
Poset
Geometric Realization
Split View
Movie (frames of (1,2)-tangles)
4D
4D visualization
Time-Sliced Fibers
Sphere (S² embedding)
Sphere groups
Wing A
Centre
Wing B
Sphere view presets
Central plane only
Special pages only
Special pages + label 1
Show all
Pages (a, b)
Uniform W axis
4D W scale:
1.00
4D slant direction
dx:
0.58
dy:
0.58
dz:
0.58
4D rotation (radians)
XW
0.00
Reset
YW
0.00
Reset
ZW
0.00
Reset
Time slice:
0 / 0
Play
🎞 Movie of this slice
Analyze
Generate Downward Closure
Copy debug
Normalize Truss
Go to Source
Go to Target
Manifold diagram:
Selected
: m =
Manifold-diagram view (hide depth < m)
Downward closure on click
Display & counts
Label coloring
Uniform Z axis
Uniform Y axis
Debug
Raw render input (DOT / Unified JSON)
digraph G { "1,0,4|0" -> "1,1,4|0"; "1,0,4|0" -> "0,1,4|0"; "0,1,4|0" -> "0,2,4|0"; "0,1,4|0" -> "0,0,4|0"; "1,1,4|0" -> "2,0,4|0"; "1,1,4|0" -> "0,2,4|0"; "2,0,1|1" -> "2,0,0|0"; "2,0,1|1" -> "2,0,2|0"; "2,2,3|1" -> "2,2,2|0"; "2,2,3|1" -> "2,2,4|0"; "2,1,0|0" -> "2,2,0|0"; "2,1,0|0" -> "2,0,0|0"; "1,0,2|0" -> "1,1,0|0"; "1,0,2|0" -> "0,1,0|0"; "1,1,3|1" -> "2,0,1|1"; "1,1,3|1" -> "2,0,3|1"; "1,1,3|1" -> "1,1,2|0"; "1,1,3|1" -> "1,1,4|0"; "1,2,0|0" -> "1,1,0|0"; "1,2,0|0" -> "2,1,0|0"; "0,1,2|0" -> "0,2,4|0"; "0,1,2|0" -> "0,0,4|0"; "0,2,1|1" -> "0,2,0|0"; "0,2,1|1" -> "0,2,2|0"; "0,0,3|1" -> "0,0,2|0"; "0,0,3|1" -> "0,0,4|0"; "2,1,1|1" -> "2,2,3|1"; "2,1,1|1" -> "2,0,1|1"; "2,1,1|1" -> "2,1,0|0"; "2,1,1|1" -> "2,2,1|1"; "2,1,1|1" -> "2,0,3|1"; "2,1,1|1" -> "2,1,2|0"; "1,0,3|1" -> "1,1,1|1"; "1,0,3|1" -> "0,1,1|1"; "1,0,3|1" -> "0,1,3|1"; "1,0,3|1" -> "1,1,3|1"; "1,0,3|1" -> "1,0,2|0"; "1,0,3|1" -> "1,0,4|0"; "1,1,2|0" -> "2,0,0|0"; "1,1,2|0" -> "0,2,4|0"; "1,2,1|1" -> "2,1,1|1"; "1,2,1|1" -> "2,1,3|1"; "1,2,1|1" -> "1,1,3|1"; "1,2,1|1" -> "1,2,0|0"; "1,2,1|1" -> "1,1,1|1"; "1,2,1|1" -> "1,2,2|0"; "0,1,3|1" -> "0,1,2|0"; "0,1,3|1" -> "0,1,4|0"; "2,0,3|1" -> "2,0,2|0"; "2,0,3|1" -> "2,0,4|0"; "2,2,1|1" -> "2,2,0|0"; "2,2,1|1" -> "2,2,2|0"; "2,1,2|0" -> "2,2,4|0"; "2,1,2|0" -> "2,0,4|0"; "1,1,1|1" -> "0,2,1|1"; "1,1,1|1" -> "0,2,3|1"; "1,1,1|1" -> "1,1,0|0"; "1,1,1|1" -> "1,1,2|0"; "1,2,2|0" -> "1,1,4|0"; "1,2,2|0" -> "2,1,4|0"; "1,0,0|0" -> "1,1,0|0"; "1,0,0|0" -> "0,1,0|0"; "0,1,0|0" -> "0,2,0|0"; "0,1,0|0" -> "0,0,0|0"; "0,2,3|1" -> "0,2,2|0"; "0,2,3|1" -> "0,2,4|0"; "0,0,1|1" -> "0,0,0|0"; "0,0,1|1" -> "0,0,2|0"; "2,1,4|0" -> "2,2,4|0"; "2,1,4|0" -> "2,0,4|0"; "1,2,4|0" -> "1,1,4|0"; "1,2,4|0" -> "2,1,4|0"; "2,1,3|1" -> "2,1,2|0"; "2,1,3|1" -> "2,1,4|0"; "1,1,0|0" -> "2,0,0|0"; "1,1,0|0" -> "0,2,0|0"; "1,2,3|1" -> "1,2,2|0"; "1,2,3|1" -> "1,2,4|0"; "1,0,1|1" -> "1,0,0|0"; "1,0,1|1" -> "1,0,2|0"; "0,1,1|1" -> "0,2,3|1"; "0,1,1|1" -> "0,0,1|1"; "0,1,1|1" -> "0,1,0|0"; "0,1,1|1" -> "0,2,1|1"; "0,1,1|1" -> "0,0,3|1"; "0,1,1|1" -> "0,1,2|0"; }
Parse & Render
Surface boundary debug logs
Show hidden components