pkgname=conway_polynomials