up previous next
RingID

identification for ring

Syntax 
RingID(R: RING): INT

Description
This function returns the identification number of the ring R . Two rings are considered equal if and only if they have the same ID: this means they have the same internal implementation.

This function was called ID in CoCoA-5.1.1.

Example 
/**/ R ::= QQ[x,y,z];
/**/ R;
RingWithID(9, "QQ[x,y,z]")
/**/ S ::= QQ[x,y,z];
/**/ R = S;
false
/**/ RingID(R);
7
/**/ RingID(S);
8
-- /**/ RingElem(R,"x") = RingElem(S, "x"); --> !!! ERROR !!! mixed rings

/**/ S := R; -- or S := RingOf( some element in R )
/**/ R = S;
true

See Also