Polynomials over finite fields #
A polynomial over the integers is divisible by
n : ℕ
if and only if it is zero over
Over a field, this is the indicator function as an
The submodule of multivariate polynomials whose degree of each variable is strictly less
than the cardinality of K.