up previous next
command for making a ring active
Use N
where N is either the identifier of an existing ring or a ring
itself.
|
This command makes a ring active, i.e. makes a ring the current ring.
The command
Use N ::= E;
where E is a ring, is a shorthand for
N ::= E; Use N;
If you want to change the ring inside a function you should
call
Using
instead.
Use S ::= QQ[x,y,z];
RingEnv();
S
-------------------------------
T ::= ZZ/(3)[a,b];
Use T;
RingEnv();
T
-------------------------------
Use QQ[u]; -- note that "Use" can be used w/out a ring identifier
RingEnv();
CurrentRingEnv
-------------------------------
CurrentRing();
QQ[u]
-------------------------------
|