IsIntegralDomain(R: RING): BOOL
/**/ IsIntegralDomain(ZZ); true /**/ IsIntegralDomain(NewZZmod(6)); false