up
previous
next
Use
Syntax
Use N
where N is either the identifier of an existing ring or a ring
itself.
Summary
command for making a ring active
Description
Use
is the command for making a ring active, i.e. for making a ring
the current ring. The command
Use N ::= E;
where E is a ring, is a shorthand for
N ::= E;
Use N;
example
Use S ::= Q[x,y,z];
RingEnv();
S
-------------------------------
T::= Z/(3)[a,b];
Use T;
RingEnv();
T
-------------------------------
Use Q[u]; -- note that "Use" can be used w/out a ring identifier
RingEnv();
CurrentRingEnv
-------------------------------
CurrentRing();
Q[u]
-------------------------------
See Also