Kronecker substitution
= Kronecker substitution
{c}
Kronecker substitution encodes a <polynomial> with bounded <nonnegative integer> coefficients as one large <integer> by evaluating it at a sufficiently large base. Integer multiplication then gives the polynomial product, provided the base exceeds every output coefficient so carries cannot mix coefficients.