pkgname=conway_polynomials
