|
D.2.6.1 changechar
Procedure from library ring.lib (see ring_lib).
- Usage:
- changechar(c[,r]); c=string, r=ring
- Return:
- ring R, obtained from the ring r [default: r=basering], by changing
charstr(r) to c.
- Note:
- Works for qrings if map from old_char to new_char is implemented.
This proc uses 'execute' or calls a procedure using 'execute'.
Example:
| LIB "ring.lib";
ring r=0,(x,y,u,v),(dp(2),ds);
def R=changechar("2,A"); R;"";
==> // characteristic : 2
==> // 1 parameter : A
==> // minpoly : 0
==> // number of vars : 4
==> // block 1 : ordering dp
==> // : names x y
==> // block 2 : ordering ds
==> // : names u v
==> // block 3 : ordering C
==>
def R1=changechar("32003",R); setring R1; R1;
==> // characteristic : 32003
==> // number of vars : 4
==> // block 1 : ordering dp
==> // : names x y
==> // block 2 : ordering ds
==> // : names u v
==> // block 3 : ordering C
kill R,R1;
|
|