up
previous
next
RingEnv
Syntax
RingEnv():STRING
RingEnv(E:POLY, IDEAL, MODULE, RATFUN, VECTOR):STRING
Summary
name of the current ring
Description
The first form of this function returns the identifier for the
current ring. The second form returns the identifier of the ring on
which the object E is dependent.
example
Use R ::= Q[x,y,z];
I := Ideal(x,y); -- an object dependent on R
S ::= Z/(3)[a,b]; -- define S, but do not make S active
RingEnv(); -- the current ring
R
-------------------------------
RingEnvs(); -- your result here could be different
["Q", "Qt", "R", "S", "Z"]
-------------------------------
Ring(S);
Z/(3)[a,b]
-------------------------------
I;
Ideal(x, y)
-------------------------------
Use S; -- S is now the active ring
I; -- I is labeled by its ring. The label appears explicitly when R
-- is not the current ring.
R :: Ideal(x, y)
-------------------------------
RingEnv(I); -- the ring labeling I
R
-------------------------------
CurrentRing();
Q[x,y,z]
-------------------------------
Use Q[ab];
RingEnv();
CurrentRingEnv
-------------------------------
See Also