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: