CurrentRing: RING
/**/ use R ::= QQ[x,y]; /**/ use S ::= ZZ/(3)[t]; /**/ CurrentRing; RingWithID(5, "ZZ/(3)[t]") /**/ use R; /**/ CurrentRing; RingWithID(3, "QQ[x,y]")