Changeset 4101f7 in git

Timestamp:

Mar 15, 2000, 6:17:09 PM (24 years ago)

Author:

Thomas Siebert <siebert@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

0dcc551eab7a3eda53ced085ecc5047c58d272d0

Parents:

0eccd2de73a3685a1ce45a61c277fc3fd91ab2af

Message:

Changes for freerank


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

File:

• Singular/LIB/poly.lib (modified) (3 diffs)

Singular/LIB/poly.lib

@@ -1 @@
-// $Id: poly.lib,v 1.24 2000-01-12 10:35:01 obachman Exp $
+// $Id: poly.lib,v 1.25 2000-03-15 17:17:09 siebert Exp $
 //(GMG, last modified 22.06.96)
 //(obachman: 17.12.97 -- added katsura)
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: poly.lib,v 1.24 2000-01-12 10:35:01 obachman Exp $";
+version="$Id: poly.lib,v 1.25 2000-03-15 17:17:09 siebert Exp $";
 info="
 LIBRARY:  poly.lib      PROCEDURES FOR MANIPULATING POLYS, IDEALS, MODULES
@@ -141 +141 @@
                 L[2] = minbase(M)
 NOTE:    freerank(syz(M)); computes the rank of M if M is free (and -1 else)
-         //* Zur Zeit noch ein Bug, da erste Bettizahl falsch berechnet wird:
-         //betti(0) ist -1 statt 0
 EXAMPLE: example freerank; shows examples
 "
@@ -160 +158 @@
   ideal i=x;
   module M=[x,0,1],[-x,0,-1];
-  freerank(M);           // should be -1, coker(M) is not free
-                         // [1] should be 1, coker(syz(M))=M is free of rank 1
-  freerank(syz (M),"");  // [2] should be gen(2)+gen(1) (minimal relation of M)
+  freerank(M);           // should be 2, coker(M) is not free
+  freerank(syz (M),"");  // [1] should be 1, coker(syz(M))=M is free of rank 1
+                         // [2] should be gen(2)+gen(1) (minimal relation of M)
   freerank(i);
-  freerank(syz(i));      //* bug, should be 1, coker(syz(i))=i is free of rank 1
+  freerank(syz(i));      // should be 1, coker(syz(i))=i is free of rank 1
 }
 ///////////////////////////////////////////////////////////////////////////////