CoeffRing(R: RING): RING
/**/ Use R ::= QQ[x,y,z]; /**/ S ::= ZZ/(2)[a,b,c]; /**/ CoeffRing(R); QQ /**/ CoeffRing(S); FFp(2)