Entry facet
Parameters & instances
Family variables and every recorded [[n, k, d]] instance.
Family variables
L- Periodic cubic linear size; the finite T1 domain is integer L=2 or L=3.
Recorded instances
| Instance | n | k | d |
|---|---|---|---|
| L2 | n=8 verified | k=2 verified | d=2 verified |
| L3 | n=27 verified | k=7 verified | d=2 verified |