Changeset 80a0f0 in git for Singular/LIB/sing.lib
- Timestamp:
- Feb 6, 2001, 12:35:08 PM (23 years ago)
- Branches:
- (u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
- Children:
- 9528ea4c7d7d24a0cc213977d3255f17cf3c552d
- Parents:
- 1f9258961f64b1b13f7a71278da36f67228bede4
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/sing.lib
r1f92589 r80a0f0 1 // $Id: sing.lib,v 1.2 3 2001-01-16 13:48:42 SingularExp $1 // $Id: sing.lib,v 1.24 2001-02-06 11:35:08 anne Exp $ 2 2 //(GMG/BM, last modified 26.06.96) 3 3 /////////////////////////////////////////////////////////////////////////////// 4 version="$Id: sing.lib,v 1.2 3 2001-01-16 13:48:42 SingularExp $";4 version="$Id: sing.lib,v 1.24 2001-02-06 11:35:08 anne Exp $"; 5 5 category="Singularities"; 6 6 info=" 7 7 LIBRARY: sing.lib Invariants of Singularities 8 AUTHORS: Gert-Martin Greuel, email: greuel@mathematik.uni-kl.de 8 AUTHORS: Gert-Martin Greuel, email: greuel@mathematik.uni-kl.de @* 9 9 Bernd Martin, email: martin@math.tu-cottbus.de 10 10 … … 143 143 "USAGE: is_is(id); id ideal or poly 144 144 RETURN: intvec = sequence of dimensions of singular loci of ideals 145 generated by id[1]..id[i], k = 1..size(id); dim(0-ideal) = -1; 145 generated by id[1]..id[i], k = 1..size(id); @* 146 dim(0-ideal) = -1; 146 147 id defines an isolated singularity if last number is 0 147 148 NOTE: printlevel >=0: display comments (default) … … 179 180 NOTE: let R be the basering and id a submodule of R^n. The procedure checks 180 181 injectivity of multiplication with f on R^n/id. The basering may be a 181 //**quotient ring182 quotient ring 182 183 EXAMPLE: example is_reg; shows an example 183 184 " … … 387 388 are variables of the basering 388 389 COMPUTE: the spectral numbers of the w-homogeneous polynomial f, computed in a 389 ring of char cteristik0390 ring of characteristic 0 390 391 RETURN: intvec d,s1,...,su where: 391 392 d = w-degree(f) and si/d = ith spectral-number(f) … … 439 440 RETURN: standard basis of Tjurina-module of id, 440 441 of type module if id=ideal, resp. of type ideal if id=poly. 441 If a second argument is present (of any type) return a list: 442 If a second argument is present (of any type) return a list: @* 442 443 [1] = Tjurina number, 443 444 [2] = k-basis of miniversal deformation, … … 597 598 [1]= T_2(id) 598 599 [2]= standard basis of id (ideal) 599 [3]= module of relations of id (=1st syzygy module of id) 600 [3]= module of relations of id (=1st syzygy module of id) @* 600 601 [4]= presentation of syz/kos 601 602 [5]= relations of Hom_P([3]/kos,R), lifted to P … … 662 663 proc T_12 (ideal i, list #) 663 664 "USAGE: T_12(i[,any]); i = ideal 664 RETURN: T_12(i): list of 2 modules: 665 std basis of T_1-module =T_1(i), 1st order deformations666 std basid of T_2-module =T_2(i), obstructions of R=P/i665 RETURN: T_12(i): list of 2 modules: @* 666 * standard basis of T_1-module =T_1(i), 1st order deformations @* 667 * standard basis of T_2-module =T_2(i), obstructions of R=P/i @* 667 668 If a second argument is present (of any type) return a list of 668 9 modules, matrices, integers: 669 9 modules, matrices, integers: @* 669 670 [1]= standard basis of T_1-module 670 671 [2]= standard basis of T_2-module 671 672 [3]= vdim of T_1 672 673 [4]= vdim of T_2 673 [5]= matrix, whose cols present infinitesimal deformations 674 [6]= matrix, whose cols are generators of relations of i (=syz(i))675 [7]= matrix, presenting Hom_P(syz/kos,R), lifted to P 674 [5]= matrix, whose cols present infinitesimal deformations @* 675 [6]= matrix, whose cols are generators of relations of i(=syz(i)) @* 676 [7]= matrix, presenting Hom_P(syz/kos,R), lifted to P @* 676 677 [8]= presentation of T_1-module, no std basis 677 678 [9]= presentation of T_2-module, no std basis
Note: See TracChangeset
for help on using the changeset viewer.