Changeset efda70a in git
- Timestamp:
- Dec 22, 2000, 4:30:39 PM (22 years ago)
- Branches:
- (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
- Children:
- d12655392902e307fcafa46636933f225e153bf8
- Parents:
- a23294c03b4cae79224ffe24e90efc7e57c01fbc
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/mondromy.lib
ra23294 refda70a 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: mondromy.lib,v 1.1 8 2000-12-22 14:16:11greuel Exp $";2 version="$Id: mondromy.lib,v 1.19 2000-12-22 15:30:39 greuel Exp $"; 3 3 category="Singularities"; 4 4 info=" … … 8 8 OVERVIEW: 9 9 A library to compute the monodromy of an isolated hypersurface singularity. 10 It uses an algorithm by Brieskorn (manusc ipta math. 2 (1970), 103-161) to10 It uses an algorithm by Brieskorn (manuscripta math. 2 (1970), 103-161) to 11 11 compute a connection matrix of the meromorphic Gauss-Manin connection up to 12 12 arbitrarily high order, and an algorithm of Gerard and Levelt (Ann. Inst. … … 17 17 invunit(u,n); series inverse of polynomial u up to order n 18 18 jacoblift(f); lifts f^kappa in jacob(f) with minimal kappa 19 monodromy (f[,opt]);monodromy of isolated hypersurface singularity f19 monodromyB(f[,opt]); monodromy of isolated hypersurface singularity f 20 20 H2basis(f); basis of Brieskorn lattice H'' 21 22 KEYWORDS: Monodromy, hypersurface singularity, Gauss-Manin connection, 23 Brieskorn lattice 24 25 SEE ALSO: gaussman.lib 21 26 "; 22 27 … … 815 820 /////////////////////////////////////////////////////////////////////////////// 816 821 817 proc monodromy (poly f, list #)818 "USAGE: monodromy (f[,opt]); f poly, opt int822 proc monodromyB(poly f, list #) 823 "USAGE: monodromyB(f[,opt]); f poly, opt int 819 824 ASSUME: The polynomial f in a series ring (local ordering) defines 820 825 an isolated hypersurface singularity. … … 826 831 with the characteristic polynomial of the monodromy of f. 827 832 DISPLAY: The procedure displays more comments for higher printlevel. 828 EXAMPLE: example monodromy ; shows an example.833 EXAMPLE: example monodromyB; shows an example. 829 834 " 830 835 { … … 915 920 ring R=0,(x,y),ds; 916 921 poly f=x2y2+x6+y6; 917 matrix M=monodromy (f);922 matrix M=monodromyB(f); 918 923 print(M); 919 924 }
Note: See TracChangeset
for help on using the changeset viewer.