Top
Back: gmsring
Forward: gmscoeffs
FastBack: equising_lib
FastForward: hnoether_lib
Up: gaussman_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.4.2 gmsnf

Procedure from library gaussman.lib (see gaussman_lib).

Usage:
gmsnf(p,K[,Kmax]); poly p, int K, int Kmax

Assume:
basering returned by gmsring; K<=Kmax

Return:
 
list nf;
  ideal nf[1];  projection of p to gmsbasis mod s^(K+1)
  ideal nf[2];  p=nf[1]+nf[2] mod s^(Kmax+1)

Example:
 
LIB "gaussman.lib";
ring R=0,(x,y),ds;
poly t=x5+x2y2+y5;
def G=gmsring(t,"s");
setring(G);
list l0=gmsnf(gmspoly,0);
print(l0[1]);
==> -1/2y5
list l1=gmsnf(gmspoly,1);
print(l1[1]);
==> -1/2y5+1/2s
list l=gmsnf(l0[2],1);
print(l[1]);
==> 1/2s


Top Back: gmsring Forward: gmscoeffs FastBack: equising_lib FastForward: hnoether_lib Up: gaussman_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-2, August 2001, generated by texi2html.