polynomial.hh: split definitions.