|
D.2.8.3 changevar
Procedure from library ring.lib (see ring_lib).
- Usage:
- changevar(vars[,r]); vars=string, r=ring/qring
- Return:
- ring R, obtained from the ring r [default: r=basering], by changing
varstr(r) according to the value of vars.
If, say, vars = "t()" and the ring r exists and has n
variables, the new basering will have name R and variables
t(1),...,t(n).
If vars = "a,b,c,d", the new ring will have the variables a,b,c,d.
- Note:
- This procedure is useful in connection with the procedure ringtensor,
when a conflict between variable names must be avoided.
This proc uses 'execute' or calls a procedure using 'execute'.
Example:
|