Entry facet
Parameters & instances
Family variables and every recorded [[n, k, d]] instance.
Family variables
r- Paper’s coordinate extent r; this finite implementation accepts only the integer 2.
s- Paper’s coordinate extent s; this finite implementation accepts only the integer 2.
t- Paper’s coordinate extent t; this finite implementation accepts only the integer 2.
Recorded instances
| Instance | n | k | d |
|---|---|---|---|
| r2-s2-t2 | n=7 verified | k=1 verified | d=3 verified |