Changeset f7dade in git


Ignore:
Timestamp:
Dec 5, 2000, 10:12:22 PM (23 years ago)
Author:
Mathias Schulze <mschulze@…>
Branches:
(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
Children:
cf42ab1853ca41adff5ae7640c9e60bfb157b4ae
Parents:
dbd017809127ba5204a358d67e8f5549baa3b873
Message:
gaussman.lib


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/gaussman.lib

    rdbd017 rf7dade  
    11///////////////////////////////////////////////////////////////////////////////
    22
    3 version="$Id: gaussman.lib,v 1.10 2000-12-05 09:50:28 Singular Exp $";
     3version="$Id: gaussman.lib,v 1.11 2000-12-05 21:12:22 mschulze Exp $";
    44info="
    55LIBRARY:  gaussman.lib  GAUSS-MANIN CONNECTION OF A SINGULARITY
     
    137137proc monomat(poly f,list #)
    138138"USAGE:   <matrix> M=monomat(<poly> f);
     139ASSUME:  f isolated singularity
    139140RETURN:  exp(-2*pi*i*M) is a monodromy matrix
    140 NOTE:    f isolated singularity
    141141EXAMPLE: example monomat; shows an example
    142142"
     
    347347proc monospec(poly f)
    348348"USAGE:   <matrix> M=monospec(<poly> f);
     349ASSUME:  f isolated singularity
    349350RETURN:  the spectrum of exp(-2*pi*i*M) is the spectrum of monodromy
    350 NOTE:    f isolated singularity
    351351EXAMPLE: example monospec; shows an example
    352352"
     
    365365proc vfilt(poly f,list #)
    366366"USAGE:   <list> l=vfilt(<poly> f);
     367ASSUME:  f isolated singularity
    367368RETURN:  <ideal> l[1] : spectral numbers in increasing order
    368369         <intvec> l[2] :
     
    373374         <ideal> l[4] : monomial vector space basis of H''/H'
    374375         <ideal> l[5] : standard basis of Jacobian ideal
    375 NOTE:    f isolated singularity
    376376EXAMPLE: example vfilt; shows an example
    377377"
     
    716716proc singspec(poly f)
    717717"USAGE:   <list> l=singspec(<poly> f);
     718ASSUME:  f isolated singularity
    718719RETURN:  <ideal> l[1] : spectral numbers in increasing order
    719720         <intvec> l[2] :
    720721           <int> l[2][i] : multiplicity of spectral number l[1][i]
    721 NOTE:    f isolated singularity
    722722EXAMPLE: example singspec; shows an example
    723723"
     
    736736proc gamma(list l)
    737737"USAGE:   <number> g=gamma(singspec(<poly> f));
     738ASSUME:  f isolated singularity
    738739RETURN:  Hertling's gamma invariant
    739 NOTE:    f defines an isolated singularity
    740740EXAMPLE: example gamma; shows an example
    741741"
     
    766766proc gamma4(list l)
    767767"USAGE:   <number> g4=gamma4(singspec(<poly> f));
     768ASSUME:  f isolated singularity
    768769RETURN:  Hertling's gamma4 invariant
    769 NOTE:    f defines an isolated singularity
    770770EXAMPLE: example gamma4; shows an example
    771771"
     
    797797proc vjacob(list l)
    798798"USAGE:   <list> l=vjacob(vfilt(<poly> f));
     799ASSUME:  f isolated singularity
    799800RETURN:  <ideal> l[1] : spectral numbers of the V-filtration on the
    800801                        Jacobian algebra in increasing order
     
    807808         <ideal> l[4] : monomial vector space basis of the Jacobian algebra
    808809         <ideal> l[5] : standard basis of Jacobian ideal
    809 NOTE:    f defines an isolated singularity
    810810EXAMPLE: example vjacob; shows an example
    811811"
     
    824824  for(i=ncols(m);i>=1;i--)
    825825  {
    826     //M[i]=lift(V,coeffs(redNF(m[i]*m,sJ),m)*V,product(maxideal(1)));
    827     M[i]=lift(V,coeffs(redNF(m[i]*m,sJ),m)*V);
     826    M[i]=lift(V,coeffs(redNF(m[i]*m,sJ),m)*V,product(maxideal(1)));
    828827  }
    829828
Note: See TracChangeset for help on using the changeset viewer.