HomalgRingOfIntegersInMaple now "supports" finite fields fakely

we need this for AlgebraicThomas
Maple's PolynomialRing now "supports" finite fields fakely

we need this for AlgebraicThomas
SetName for finite fields in Singular