up previous next
RingOf

name of the ring of the object

Syntax
RingOf(E:RINGELEM, IDEAL, MATRIX):RING

Description
This function returns the ring on which the object E is defined.

NB A ring contains many information and two separate rings, even when defined with the same commands, are not "equal". When a ring is printed only a few informations are shown, so different rings might look the same.

Example
/**/  Use R ::= QQ[x,y,z];
/**/  I := ideal(x,y);  
/**/  RingOf(I);
RingDistrMPolyClean(QQ, 3)

/**/  RingOf(mat([[1,2],[3,4]]));
ZZ

/**/  Use Qabc ::= QQ[a,b,c];
/**/  F := a^2+b;
/**/  G := a*b+b^2;
/**/  Use S ::=ZZ/(3)[x,y];
/**/  RingOf(F+G);  -- F+G is computed in the ring of definition
RingDistrMPolyClean(QQ, 3)
/**/  indets(RingOf(F));
[a, b, c]

See Also