|
D.5.4.3 gmscoeffs
Procedure from library gaussman.lib (see gaussman_lib).
- Usage:
- gmscoeffs(p,K[,Kmax]); poly p, int K, int Kmax
- Assume:
- basering constructed by gmsring, K<=Kmax
- Return:
| list l;
matrix l[1]; gmsbasis representation of p mod s^(K+1)
ideal l[2]; p=matrix(gmsbasis)*l[1]+l[2] mod s^(Kmax+1)
|
- Note:
- by setting p=l[2] the computation can be continued up to degree
at most Kmax, by default Kmax=infinity
Example:
| LIB "gaussman.lib";
ring R=0,(x,y),ds;
poly t=x5+x2y2+y5;
def G=gmsring(t,"s");
setring(G);
list l0=gmscoeffs(gmspoly,0);
print(l0[1]);
==> -1/2,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0
list l1=gmscoeffs(gmspoly,1);
print(l1[1]);
==> -1/2,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 1/2s
list l=gmscoeffs(l0[2],1);
print(l[1]);
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 0,
==> 1/2s
|
|