Changeset 917fb5 in git for Singular/LIB/mondromy.lib

Timestamp:

Jul 6, 1999, 5:33:00 PM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

8e7ed6b81b8840e62d72f281eef096b71dc1b37e

Parents:

ce7ba606241efb95de4d1ab5581428b7143b3be2

Message:

* hannes: removed pause; (scanner.l, febase.*)
          introduced pause([string]) (standard.lib)


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

File:

• Singular/LIB/mondromy.lib (modified) (8 diffs)

Singular/LIB/mondromy.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: mondromy.lib,v 1.6 1999-07-06 11:33:02 obachman Exp $";
+version="$Id: mondromy.lib,v 1.7 1999-07-06 15:32:53 Singular Exp $";
 info="
 LIBRARY: mondromy.lib  PROCEDURES TO COMPUTE THE MONODROMY OF A SINGULARITY
@@ -110 +110 @@
     }
   }
-  return(m);  
+  return(m);
 }
 ///////////////////////////////////////////////////////////////////////////////
@@ -189 +189 @@
          If U is not a sqaure matrix, the list is empty.
          If U is a sqaure matrix, then the first entry is the determinant of U.
-         If U is a square matrix and the determinant of U not zero, 
+         If U is a square matrix and the determinant of U not zero,
          then the second entry is the adjoint matrix of U.
 DISPLAY: The procedure displays comments if printlevel>=1.
@@ -246 +246 @@
 proc jacoblift(poly f)
 "USAGE:   jacoblift(f); f poly
-ASSUME:  The polynomial f in a series ring (local ordering) defines 
+ASSUME:  The polynomial f in a series ring (local ordering) defines
          an isolated hypersurface singularity.
-RETURN:  The procedure returns a list with entries kappa, xi, u of type 
+RETURN:  The procedure returns a list with entries kappa, xi, u of type
          int, vector, poly such that kappa is minimal with f^kappa in jacob(f),
          u is a unit, and u*f^kappa=(matrix(jacob(f))*xi)[1,1].
@@ -405 +405 @@
   for(i=1;i<=size(e);i++)
   {
-    for(j,p=nvars(basering),0;j>=1;j--) 
+    for(j,p=nvars(basering),0;j>=1;j--)
     {
       q=jet(e[i]*xi[j],N);
@@ -807 +807 @@
 proc monodromy(poly f, list #)
 "USAGE:   monodromy(f[,opt]); f poly, opt int
-ASSUME:  The polynomial f in a series ring (local ordering) defines 
+ASSUME:  The polynomial f in a series ring (local ordering) defines
          an isolated hypersurface singularity.
-RETURN:  The procedure returns a residue matrix M of the meromorphic 
-         Gauss-Manin connection of the singularity defined by f 
-         or an empty matrix if the assumptions are not fulfilled. 
-         If opt=0 (default), exp(2*pi*i*M) is a monodromy matrix of f, 
-         else, only the characteristic polynomial of exp(2*pi*i*M) coincides 
+RETURN:  The procedure returns a residue matrix M of the meromorphic
+         Gauss-Manin connection of the singularity defined by f
+         or an empty matrix if the assumptions are not fulfilled.
+         If opt=0 (default), exp(2*pi*i*M) is a monodromy matrix of f,
+         else, only the characteristic polynomial of exp(2*pi*i*M) coincides
          with the characteristic polynomial of the monodromy of f.
-THEORY:  The procedure uses an algorithm by Brieskorn (See E. Brieskorn, 
-         manuscipta math. 2 (1970), 103-161) to compute a connection matrix of 
-         the meromorphic Gauss-Manin connection up to arbitrarily high order, 
-         and an algorithm of Gerard and Levelt (See R. Gerard, A.H.M. Levelt, 
-         Ann. Inst. Fourier, Grenoble 23,1 (1973), pp. 157-195) to transform 
+THEORY:  The procedure uses an algorithm by Brieskorn (See E. Brieskorn,
+         manuscipta math. 2 (1970), 103-161) to compute a connection matrix of
+         the meromorphic Gauss-Manin connection up to arbitrarily high order,
+         and an algorithm of Gerard and Levelt (See R. Gerard, A.H.M. Levelt,
+         Ann. Inst. Fourier, Grenoble 23,1 (1973), pp. 157-195) to transform
          it to a simple pole.
 DISPLAY: The procedure displays more comments for higher printlevel.
@@ -837 +837 @@
       return();
     }
-   
+
   }
 
@@ -918 +918 @@
 proc H''basis(poly f)
 "USAGE:   H''basis(f); f poly
-ASSUME:  The polynomial f in a series ring (local ordering) defines 
+ASSUME:  The polynomial f in a series ring (local ordering) defines
          an isolated hypersurface singularity.
 RETURN:  The procedure returns a list of representatives of a C{f}-basis of the