universalIdeal(..., CoefficientRing => QQ)
universalIdeal(..., CoefficientRing => ZZ/7)
universalIdeal(..., CoefficientRing => GF(9))