conway-polynomials >=0.8
