up previous next

Using

Syntax

Using R Do C EndUsing

where R is the identifier for a ring and C is a sequence of commands.
    

Summary

perform commands in non-active ring

Description

Suppose S is the current ring and R is another ring, then Using R Do C; EndUsing; is equivalent to Use R; C; Use S;

example

    
Use S ::= Q[x,y];          -- the current ring is S
R ::= Q[a,b,c];             -- another ring 
Using R Do Indets() EndUsing;
[a, b, c]
-------------------------------
        
    
Note: Using Q[a,b] Do ... is not proper syntax and will produce an error.

See Also