Poset View
Geometric Realization
Depth
Fold
Use mouse to rotate, zoom, and pan the view. PgUp/PgDn: previous/next graph.
Selected: none
Hide Controls
Graph Input (DOT or JSON block format):
Default graphs:
Select a default file...
First 1000 3-Blocks with maxSize = 5 (JSON)
All 90 3-Blocks with maxSize = 3 (JSON)
First 1000 4-Blocks with maxSize = 3
Example 4-Truss (combine23 fan+fan) (JSON)
532 (JSON)
548 (JSON)
Torus (JSON)
Figure 8 (JSON)
3-1 by Saddle (JSON)
4-Truss Simple (JSON)
Default example graph
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"; }
View Mode (G):
Poset
Geometric Realization
Split View
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):
Use Label Coloring (instead of singular/regular)
Downward Closure on Click (instead of upward)
Generate Downward Closure as Truss
Copy debug payload
Normalize Truss
Check Manifold Diagram
Selected
: m =
Manifold Diagram view (hide depth < m)
Uniform Z Axis
Uniform Y Axis
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
Parse & Render
Dualize (D)
Draw (1,2)-Tangle
Draw (2,3)-Tangle
Add to (1,2)-Tangle Gallery
Add to (2,3)-Tangle Gallery
Add to (3,4)-Tangle Gallery
View (1,2)-Tangle Gallery
View (2,3)-Tangle Gallery
View (3,4)-Tangle Gallery
Debug
Surface Boundary Debug Logs
Show Hidden Components (Realization Debug)