RingID(R: RING): INT
/**/ R ::= QQ[x,y,z]; /**/ S ::= QQ[x,y,z]; // creates a separate copy /**/ R = S; false /**/ RingID(R); 7 /**/ RingID(S); 8