Top
Back: discrepancy
Forward: collectDiv
FastBack: resolve_lib
FastForward: sheafcoh_lib
Up: reszeta_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.6.4 zetaDL

Procedure from library reszeta.lib (see reszeta_lib).

Assume:
L is the output of resolution of singularities

Compute:
local Denef-Loeser zeta function, if string s1 is present and has the value 'local'; global Denef-Loeser zeta function otherwise
if string s1 or s2 has the value "A", additionally the characteristic polynomial of the monodromy is computed

Return:
list l
if a is not present:
l[1]: string specifying the top. zeta function
l[2]: string specifying characteristic polynomial of monodromy, if "A" was specified
if a is present:
l[1]: string specifying the top. zeta function
l[2]: list ast,
ast[1]=chi(Ei^*)
ast[2]=chi(Eij^*)
ast[3]=chi(Eijk^*)
l[3]: intvec nu of multiplicites as needed in computation of zeta function
l[4]: intvec N of multiplicities as needed in compuation of zeta function
l[5]: string specifying characteristic polynomial of monodromy, if "A" was specified

Example:
 


Top Back: discrepancy Forward: collectDiv FastBack: resolve_lib FastForward: sheafcoh_lib Up: reszeta_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.