Changeset a8cc0a in git for Singular/LIB
- Timestamp:
- Dec 13, 2001, 1:02:47 PM (22 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')
- Children:
- 92cefcb890bcfd8c207c7f88792d99c40f7cc9c4
- Parents:
- 0ba413b75f241aff37772720ae2a18b9f979f032
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/gaussman.lib
r0ba413 ra8cc0a 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: gaussman.lib,v 1.5 8 2001-11-20 13:00:34mschulze Exp $";2 version="$Id: gaussman.lib,v 1.59 2001-12-13 12:02:47 mschulze Exp $"; 3 3 category="Singularities"; 4 4 … … 13 13 PROCEDURES: 14 14 gmsring(t,s); Gauss-Manin system of t with variable s 15 gmsnf(p,K[,Kmax]); Gauss-Manin system normal form of p16 gmscoeffs(p,K[,Kmax]); Gauss-Manin system basis representation of p15 gmsnf(p,K[,Kmax]); normal form of p in Gauss-Manin system 16 gmscoeffs(p,K[,Kmax]); basis representation of p in Gauss-Manin system 17 17 monodromy(t); Jordan data of monodromy of t 18 18 spectrum(t); singularity spectrum of t … … 109 109 "USAGE: gmsring(t,s); poly t, string s 110 110 ASSUME: characteristic 0; local degree ordering; 111 isolated c itical point 0 of t111 isolated critical point 0 of t 112 112 RETURN: 113 113 @format … … 148 148 else 149 149 { 150 ERROR("isolated c itical point 0 expected");150 ERROR("isolated critical point 0 expected"); 151 151 } 152 152 } … … 434 434 /////////////////////////////////////////////////////////////////////////////// 435 435 436 static proc tmat(matrix A0,ideal r,module H,int k0,int K,int K0)436 static proc basisrep(matrix A0,ideal r,module H,int k0,int K,int K0) 437 437 { 438 438 dbprint(printlevel-voice+2,"// compute matrix A of t"); … … 457 457 "// compute eigenvalues e with multiplicities m of A"); 458 458 matrix A; 459 A,A0,r= tmat(A0,r,H,k0,0,K0);459 A,A0,r=basisrep(A0,r,H,k0,0,K0); 460 460 list l=eigenvals(A); 461 461 def e,m=l[1..2]; … … 475 475 dbprint(printlevel-voice+2,"// e0="+string(e0)); 476 476 dbprint(printlevel-voice+2,"// e1="+string(e1)); 477 A,A0,r= tmat(A0,r,H,k0,K+k1,K0+k1);477 A,A0,r=basisrep(A0,r,H,k0,K+k1,K0+k1); 478 478 module U0=s^k0*freemodule(mu); 479 479 … … 556 556 "USAGE: monodromy(t); poly t 557 557 ASSUME: characteristic 0; local degree ordering; 558 isolated c itical point 0 of t558 isolated critical point 0 of t 559 559 RETURN: list l; Jordan data jordan(M) of monodromy matrix exp(-2*pi*i*M) 560 560 SEE ALSO: mondromy_lib, linalg.lib … … 592 592 "USAGE: spectrum(t); poly t 593 593 ASSUME: characteristic 0; local degree ordering; 594 isolated c itical point 0 of t594 isolated critical point 0 of t 595 595 RETURN: 596 596 @format … … 621 621 "USAGE: sppairs(t); poly t 622 622 ASSUME: characteristic 0; local degree ordering; 623 isolated c itical point 0 of t623 isolated critical point 0 of t 624 624 RETURN: 625 625 @format … … 793 793 "USAGE: vfilt(t); poly t 794 794 ASSUME: characteristic 0; local degree ordering; 795 isolated c itical point 0 of t795 isolated critical point 0 of t 796 796 RETURN: 797 797 @format … … 826 826 "USAGE: vwfilt(t); poly t 827 827 ASSUME: characteristic 0; local degree ordering; 828 isolated c itical point 0 of t828 isolated critical point 0 of t 829 829 RETURN: 830 830 @format … … 943 943 "USAGE: tmatrix(t); poly t 944 944 ASSUME: characteristic 0; local degree ordering; 945 isolated c itical point 0 of t945 isolated critical point 0 of t 946 946 RETURN: list A; t-matrix A[1]+s*A[2] on H'' 947 947 KEYWORDS: singularities; Gauss-Manin connection; Brieskorn lattice; … … 1521 1521 @format 1522 1522 list l; 1523 intvec l[i]; if k<=l[i] then spissemicont(sub(sp0,spmul(sp,k))[,1])==1 1523 intvec l[i]; if the spectra sp0 occur with multiplicities k 1524 in a deformation of a [quasihomogeneous] singularity 1525 with spectrum sp then k<=l[i] 1524 1526 @end format 1525 NOTE: if the spectra sp occur with multiplicities k in a deformation1526 of the [quasihomogeneous] singularity with spectrum sp0 then1527 spissemicont(sub(sp0,spmul(sp,k))[,1])==11528 1527 EXAMPLE: example spsemicont; shows examples 1529 1528 "
Note: See TracChangeset
for help on using the changeset viewer.