up previous next
perform commands in non-active ring
Using R Do C EndUsing
where R is the identifier for a ring and C is a sequence of commands.
|
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;
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 ... EndUsing; will produce an error:
you need to name the polynomial ring.