CanonicalRepr -- representative of a class in a quotient ring |
Syntax |
CanonicalRepr(f: RINGELEM): RINGELEM |
Description |
Example |
/**/ use R ::= QQ[a]; /**/ RmodI := R/ideal(a^2-2); /**/ use RmodI; /**/ a^3; (2*a) /**/ RingOf(a^3); RingWithID(9, "RingWithID(7)/ideal(a^2 -2)") /**/ CanonicalRepr(a^3); 2*a /**/ RingOf(CanonicalRepr(a^3)); RingWithID(7, "QQ[a]") |
See Also |