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