IsZZ(R: RING): BOOL
/**/ R ::= QQ[x,y]; /**/ IsZZ(CoeffRing(R)); false /**/ IsZZ(BaseRing(CoeffRing(R))); true