Entry facet
Parameters & instances
Family variables and every recorded [[n, k, d]] instance.
Family variables
l- positive cyclic order of x
m- positive cyclic order of y
a_terms- integer exponent pairs for the monomials of A, reduced modulo (l,m)
b_terms- integer exponent pairs for the monomials of B, reduced modulo (l,m)
Recorded instances
| Instance | n | k | d |
|---|---|---|---|
| gross | n=144 verified | k=12 verified | d=12 bounded |
| toric_L3 | n=18 verified | k=2 verified | d=3 verified |