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