Top
Back: isTame
Forward: hnoether_lib
FastBack: gmssing_lib
FastForward: hnoether_lib
Up: gmspoly_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.8.2 goodBasis

Procedure from library gmspoly.lib (see gmspoly_lib).

Usage:
goodBasis(f); poly f

Assume:
f is cohomologically tame in the sense of Sabbah [Sab98,8]

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))

Remarks:
procedure implements Algorithm 6 in [Sch05]

Example:
 
See also: gmssing_lib.


Top Back: isTame Forward: hnoether_lib FastBack: gmssing_lib FastForward: hnoether_lib Up: gmspoly_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.