Top
Back: istame
Forward: gmssing_lib
FastBack: gaussman_lib
FastForward: gmssing_lib
Up: gmspoly_lib
Top: Singular 2-0-6 Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.6.2 gbasis

Procedure from library gmspoly.lib (see gmspoly_lib).

Usage:
gbasis(f); poly f

Assume:
f is cohomologically tame

Return:
 
ring R;  basering with new variable s
  ideal b;  [matrix(b)] is a good basis of the Brieskorn lattice
  matrix A;  A(s)=A0+s*A1 and t[matrix(b)]=[matrix(b)](A(s)+s^2*(d/ds))

Example:
 
LIB "gmspoly.lib";
ring R=0,(x,y,z),dp;
poly f=x+y+z+x2y2z2;
def Rs=gbasis(f);
==> // ** _ is no standardbasis
==> // ** _ is no standardbasis
==> // ** _ is no standardbasis
==> // ** _ is no standardbasis
==> // ** _ is no standardbasis
==> // ** _ is no standardbasis
setring(Rs);
b;
==> b[1]=1
==> b[2]=s2x-3sx2+x3
==> b[3]=5/2x
==> b[4]=10s2x2-25/2sx3+5/2x4
==> b[5]=-25/4sx+25/4x2
print(jet(A,0));
==> 0,0,0,-25/8,0,    
==> 0,0,0,0,    125/8,
==> 1,0,0,0,    0,    
==> 0,1,0,0,    0,    
==> 0,0,1,0,    0     
print(jet(A/var(1),0));
==> 1/2,0,0,  0,0, 
==> 0,  1,0,  0,0, 
==> 0,  0,3/2,0,0, 
==> 0,  0,0,  2,0, 
==> 0,  0,0,  0,5/2

Top Back: istame Forward: gmssing_lib FastBack: gaussman_lib FastForward: gmssing_lib Up: gmspoly_lib Top: Singular 2-0-6 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-6, November 2004, generated by texi2html.