characteristic(R:RING):INT
/**/ Use R ::= ZZ(3)[t]; /**/ S ::= QQ[x,y]; /**/ Characteristic(CurrentRing); 3 /**/ Characteristic(S); 0