Changeset 471d0cf in git

Timestamp:

Mar 30, 2009, 1:56:03 PM (14 years ago)

Author:

Alexander Dreyer <dreyer@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

3cc9dd65b81fdfcf2ee73067b26d8e81b3b7ed29

Parents:

c6512c014a0813cb992533ab4dd571597c561ea4

Message:

Commiting Anne's changes


git-svn-id: file:///usr/local/Singular/svn/trunk@11598 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/reszeta.lib (modified) (6 diffs)

Singular/LIB/reszeta.lib

@@ -1 +1 @@
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: reszeta.lib,v 1.12 2008-10-06 17:04:28 Singular Exp $";
+version="$Id: reszeta.lib,v 1.13 2009-03-30 11:56:03 dreyer Exp $";
 category="Commutative Algebra";
 info="
-LIBRARY:  reszeta.lib       Zeta-function of Denef and Loeser
+LIBRARY:  reszeta.lib       topological Zeta-function and
+                            some other applications of desingularization
 
 AUTHORS:  A. Fruehbis-Krueger,  anne@mathematik.uni-kl.de,
@@ -1746 +1747 @@
 proc zetaDL(list re,int d,list #)
 "USAGE:   zetaDL(L,d[,s1][,s2][,a]);
-@*        L     = list of rings
-@*        d     = integer
-@*        s1,s2 = string
-@*        a     = integer
+          L     = list of rings;
+          d     = integer;
+          s1,s2 = string;
+          a     = integer
 ASSUME:   L is the output of resolution of singularities
 COMPUTE:  local Denef-Loeser zeta function, if string s1 is present and
@@ -1758 +1759 @@
 RETURN:   list l
           if a is not present:
-          l[1]: string specifying the Denef-Loeser zeta function
+          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 Denef-Loeser zeta function
+          if a is present:
+          l[1]: string specifying the top. zeta function
           l[2]: list ast,
                      ast[1]=chi(Ei^*)
@@ -2066 +2067 @@
    ideal I=x2+y2+z11;
    list L=resolve(I);
-   abstractR(L);
+   list absR=abstractR(L);
+   absR[1];
+   absR[2];
 }
 //////////////////////////////////////////////////////////////////////////////
@@ -3296 +3299 @@
    iden=tmpiden;                      // store the modified divisor list
    kill tmpiden;                      // and clean up temporary objects
-iden;
 //---------------------------------------------------------------------------
 // Now we have decomposed everything into irreducible components over Q,
@@ -4429 +4431 @@
 //the curve the total transform is n.c.
 //this occurs here in r[2][5]
-   list re=resolve(I,1);
+   list re=resolve(I);
    list di=collectDiv(re);
-   di;
+   di[1];
+   di[2];
 }
 //////////////////////////////////////////////////////////////////////////////