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