Entry facet
Parameters & instances
Family variables and every recorded [[n, k, d]] instance.
Family variables
L- linear size of the square fundamental domain; integer at least 3
Recorded instances
| Instance | n | k | d |
|---|---|---|---|
| L3 | n=18 verified | k=2 verified | d=3 verified |
| L4 | n=32 verified | k=2 verified | d=4 verified |