Changeset 4101f7 in git


Ignore:
Timestamp:
Mar 15, 2000, 6:17:09 PM (24 years ago)
Author:
Thomas Siebert <siebert@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '648d28f488f6ff08f5607ff229b9ad9e4a5b93c2')
Children:
0dcc551eab7a3eda53ced085ecc5047c58d272d0
Parents:
0eccd2de73a3685a1ce45a61c277fc3fd91ab2af
Message:
Changes for freerank


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/poly.lib

    r0eccd2 r4101f7  
    1 // $Id: poly.lib,v 1.24 2000-01-12 10:35:01 obachman Exp $
     1// $Id: poly.lib,v 1.25 2000-03-15 17:17:09 siebert Exp $
    22//(GMG, last modified 22.06.96)
    33//(obachman: 17.12.97 -- added katsura)
    44///////////////////////////////////////////////////////////////////////////////
    55
    6 version="$Id: poly.lib,v 1.24 2000-01-12 10:35:01 obachman Exp $";
     6version="$Id: poly.lib,v 1.25 2000-03-15 17:17:09 siebert Exp $";
    77info="
    88LIBRARY:  poly.lib      PROCEDURES FOR MANIPULATING POLYS, IDEALS, MODULES
     
    141141                L[2] = minbase(M)
    142142NOTE:    freerank(syz(M)); computes the rank of M if M is free (and -1 else)
    143          //* Zur Zeit noch ein Bug, da erste Bettizahl falsch berechnet wird:
    144          //betti(0) ist -1 statt 0
    145143EXAMPLE: example freerank; shows examples
    146144"
     
    160158  ideal i=x;
    161159  module M=[x,0,1],[-x,0,-1];
    162   freerank(M);           // should be -1, coker(M) is not free
    163                          // [1] should be 1, coker(syz(M))=M is free of rank 1
    164   freerank(syz (M),"");  // [2] should be gen(2)+gen(1) (minimal relation of M)
     160  freerank(M);           // should be 2, coker(M) is not free
     161  freerank(syz (M),"");  // [1] should be 1, coker(syz(M))=M is free of rank 1
     162                         // [2] should be gen(2)+gen(1) (minimal relation of M)
    165163  freerank(i);
    166   freerank(syz(i));      //* bug, should be 1, coker(syz(i))=i is free of rank 1
     164  freerank(syz(i));      // should be 1, coker(syz(i))=i is free of rank 1
    167165}
    168166///////////////////////////////////////////////////////////////////////////////
Note: See TracChangeset for help on using the changeset viewer.