up previous next
CanonicalRepr

representative of a class in a quotient ring

Syntax 
CanonicalRepr(f: RINGELEM): RINGELEM

Description
Given an element f in a quotient ring R/I this function returns a representative of f in R .

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