Complete D4 classification
Five square entries: 23 orbits
Each mask specifies five guaranteed square values and two independent compatibility quadrics after E, x, and y are eliminated.
The level is a lower guarantee, not a prohibition on additional square-valued cells. Open a mask to load the same laboratory with its parameters and complete proof directly below the square.
Proof of classification completeness and sufficiency of the quadrics →
Proof table
All 23 orbits and pairs of quadrics for 5/9
Each cell uses the color of the quadric containing its square value. An intersection of two supports is split between both colors.
Complement of the 4/9 type “All four edge cells”
Complement of the 4/9 type “All four corners”
Complement of the 4/9 type “Two opposite corners and two opposite edges”
Complement of the 4/9 type “Three corners and the outer edge”
Complement of the 4/9 type “The center, two adjacent corners, and the opposite edge”
Complement of the 4/9 type “Two opposite corners and adjacent edges incident to them”
Complement of the 4/9 type “The center and three corners”
Complement of the 4/9 type “The center, two opposite corners, and one edge”
Complement of the 4/9 type “Three edge cells and an outer corner”
Complement of the 4/9 type “Three edge cells and the inner corner”
Complement of the 4/9 type “Two adjacent corners and the two noncommon incident edges”
Complement of the 4/9 type “Two adjacent corners, their common edge, and the opposite edge”
Complement of the 4/9 type “Two opposite corners and two edges incident to one of them”
Complement of the 4/9 type “The center, two adjacent edges, and the opposite corner”
Complement of the 4/9 type “Two adjacent corners and two adjacent edges at the unselected corner”
Complement of the 4/9 type “The center, two adjacent corners, and an edge incident to one of them”
Complement of the 4/9 type “The center, two adjacent edges, and a corner incident to one of them”
Complement of the 4/9 type “Three corners and the inner edge”
Complement of the 4/9 type “The center and three edge cells”
Complement of the 4/9 type “The center, two opposite edges, and one corner”
Complement of the 4/9 type “Two adjacent corners and two edges incident to one corner”
Complement of the 4/9 type “The center, two adjacent corners, and the edge between them”
Complement of the 4/9 type “The center, two adjacent edges, and the corner between them”