|
D.6.7.2 gmsnf
Procedure from library gmssing.lib (see gmssing_lib).
- Usage:
- gmsnf(p,K); poly p, int K
- Assume:
- basering returned by gmsring
- Return:
- list nf;
ideal nf[1]; projection of p to <gmsbasis>C[[s]] mod s^(K+1)
ideal nf[2]; p==nf[1]+nf[2]
- Note:
- computation can be continued by setting p=nf[2]
Example:
|