Maple's PolynomialRing now "supports" finite fields fakely

we need this for AlgebraicThomas