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: |