Changeset 80a0f0 in git for Singular/LIB/sing.lib


Ignore:
Timestamp:
Feb 6, 2001, 12:35:08 PM (23 years ago)
Author:
Anne Frühbis-Krüger <anne@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
9528ea4c7d7d24a0cc213977d3255f17cf3c552d
Parents:
1f9258961f64b1b13f7a71278da36f67228bede4
Message:
*anne: corrected some line breaks


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/sing.lib

    r1f92589 r80a0f0  
    1 // $Id: sing.lib,v 1.23 2001-01-16 13:48:42 Singular Exp $
     1// $Id: sing.lib,v 1.24 2001-02-06 11:35:08 anne Exp $
    22//(GMG/BM, last modified 26.06.96)
    33///////////////////////////////////////////////////////////////////////////////
    4 version="$Id: sing.lib,v 1.23 2001-01-16 13:48:42 Singular Exp $";
     4version="$Id: sing.lib,v 1.24 2001-02-06 11:35:08 anne Exp $";
    55category="Singularities";
    66info="
    77LIBRARY:  sing.lib      Invariants of Singularities
    8 AUTHORS:  Gert-Martin Greuel, email: greuel@mathematik.uni-kl.de
     8AUTHORS:  Gert-Martin Greuel, email: greuel@mathematik.uni-kl.de @*
    99          Bernd Martin, email: martin@math.tu-cottbus.de
    1010
     
    143143"USAGE:   is_is(id);  id ideal or poly
    144144RETURN:  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;
    146147         id defines an isolated singularity if last number is 0
    147148NOTE:    printlevel >=0: display comments (default)
     
    179180NOTE:    let R be the basering and id a submodule of R^n. The procedure checks
    180181         injectivity of multiplication with f on R^n/id. The basering may be a
    181          //**quotient ring
     182         quotient ring
    182183EXAMPLE: example is_reg; shows an example
    183184"
     
    387388         are variables of the basering
    388389COMPUTE: the spectral numbers of the w-homogeneous polynomial f, computed in a
    389          ring of charcteristik 0
     390         ring of characteristic 0
    390391RETURN:  intvec  d,s1,...,su  where:
    391392         d = w-degree(f)  and  si/d = ith spectral-number(f)
     
    439440RETURN:  standard basis of Tjurina-module of id,
    440441         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: @*
    442443           [1] = Tjurina number,
    443444           [2] = k-basis of miniversal deformation,
     
    597598            [1]= T_2(id)
    598599            [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) @*
    600601            [4]= presentation of syz/kos
    601602            [5]= relations of Hom_P([3]/kos,R), lifted to P
     
    662663proc T_12 (ideal i, list #)
    663664"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 deformations
    666              std basid of T_2-module =T_2(i), obstructions of R=P/i
     665RETURN:  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 @*
    667668         If a second argument is present (of any type) return a list of
    668          9 modules, matrices, integers:
     669         9 modules, matrices, integers: @*
    669670             [1]= standard basis of T_1-module
    670671             [2]= standard basis of T_2-module
    671672             [3]= vdim of T_1
    672673             [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 @*
    676677             [8]= presentation of T_1-module, no std basis
    677678             [9]= presentation of T_2-module, no std basis
Note: See TracChangeset for help on using the changeset viewer.