Changeset f7dade in git
- Timestamp:
- Dec 5, 2000, 10:12:22 PM (23 years ago)
- Branches:
- (u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
- Children:
- cf42ab1853ca41adff5ae7640c9e60bfb157b4ae
- Parents:
- dbd017809127ba5204a358d67e8f5549baa3b873
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/gaussman.lib
rdbd017 rf7dade 1 1 /////////////////////////////////////////////////////////////////////////////// 2 2 3 version="$Id: gaussman.lib,v 1.1 0 2000-12-05 09:50:28 SingularExp $";3 version="$Id: gaussman.lib,v 1.11 2000-12-05 21:12:22 mschulze Exp $"; 4 4 info=" 5 5 LIBRARY: gaussman.lib GAUSS-MANIN CONNECTION OF A SINGULARITY … … 137 137 proc monomat(poly f,list #) 138 138 "USAGE: <matrix> M=monomat(<poly> f); 139 ASSUME: f isolated singularity 139 140 RETURN: exp(-2*pi*i*M) is a monodromy matrix 140 NOTE: f isolated singularity141 141 EXAMPLE: example monomat; shows an example 142 142 " … … 347 347 proc monospec(poly f) 348 348 "USAGE: <matrix> M=monospec(<poly> f); 349 ASSUME: f isolated singularity 349 350 RETURN: the spectrum of exp(-2*pi*i*M) is the spectrum of monodromy 350 NOTE: f isolated singularity351 351 EXAMPLE: example monospec; shows an example 352 352 " … … 365 365 proc vfilt(poly f,list #) 366 366 "USAGE: <list> l=vfilt(<poly> f); 367 ASSUME: f isolated singularity 367 368 RETURN: <ideal> l[1] : spectral numbers in increasing order 368 369 <intvec> l[2] : … … 373 374 <ideal> l[4] : monomial vector space basis of H''/H' 374 375 <ideal> l[5] : standard basis of Jacobian ideal 375 NOTE: f isolated singularity376 376 EXAMPLE: example vfilt; shows an example 377 377 " … … 716 716 proc singspec(poly f) 717 717 "USAGE: <list> l=singspec(<poly> f); 718 ASSUME: f isolated singularity 718 719 RETURN: <ideal> l[1] : spectral numbers in increasing order 719 720 <intvec> l[2] : 720 721 <int> l[2][i] : multiplicity of spectral number l[1][i] 721 NOTE: f isolated singularity722 722 EXAMPLE: example singspec; shows an example 723 723 " … … 736 736 proc gamma(list l) 737 737 "USAGE: <number> g=gamma(singspec(<poly> f)); 738 ASSUME: f isolated singularity 738 739 RETURN: Hertling's gamma invariant 739 NOTE: f defines an isolated singularity740 740 EXAMPLE: example gamma; shows an example 741 741 " … … 766 766 proc gamma4(list l) 767 767 "USAGE: <number> g4=gamma4(singspec(<poly> f)); 768 ASSUME: f isolated singularity 768 769 RETURN: Hertling's gamma4 invariant 769 NOTE: f defines an isolated singularity770 770 EXAMPLE: example gamma4; shows an example 771 771 " … … 797 797 proc vjacob(list l) 798 798 "USAGE: <list> l=vjacob(vfilt(<poly> f)); 799 ASSUME: f isolated singularity 799 800 RETURN: <ideal> l[1] : spectral numbers of the V-filtration on the 800 801 Jacobian algebra in increasing order … … 807 808 <ideal> l[4] : monomial vector space basis of the Jacobian algebra 808 809 <ideal> l[5] : standard basis of Jacobian ideal 809 NOTE: f defines an isolated singularity810 810 EXAMPLE: example vjacob; shows an example 811 811 " … … 824 824 for(i=ncols(m);i>=1;i--) 825 825 { 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))); 828 827 } 829 828
Note: See TracChangeset
for help on using the changeset viewer.