Changeset 4101f7 in git for Singular/LIB
- Timestamp:
- Mar 15, 2000, 6:17:09 PM (24 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')
- Children:
- 0dcc551eab7a3eda53ced085ecc5047c58d272d0
- Parents:
- 0eccd2de73a3685a1ce45a61c277fc3fd91ab2af
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/poly.lib
r0eccd2 r4101f7 1 // $Id: poly.lib,v 1.2 4 2000-01-12 10:35:01 obachmanExp $1 // $Id: poly.lib,v 1.25 2000-03-15 17:17:09 siebert Exp $ 2 2 //(GMG, last modified 22.06.96) 3 3 //(obachman: 17.12.97 -- added katsura) 4 4 /////////////////////////////////////////////////////////////////////////////// 5 5 6 version="$Id: poly.lib,v 1.2 4 2000-01-12 10:35:01 obachmanExp $";6 version="$Id: poly.lib,v 1.25 2000-03-15 17:17:09 siebert Exp $"; 7 7 info=" 8 8 LIBRARY: poly.lib PROCEDURES FOR MANIPULATING POLYS, IDEALS, MODULES … … 141 141 L[2] = minbase(M) 142 142 NOTE: 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 0145 143 EXAMPLE: example freerank; shows examples 146 144 " … … 160 158 ideal i=x; 161 159 module M=[x,0,1],[-x,0,-1]; 162 freerank(M); // should be -1, coker(M) is not free163 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) 165 163 freerank(i); 166 freerank(syz(i)); // * bug,should be 1, coker(syz(i))=i is free of rank 1164 freerank(syz(i)); // should be 1, coker(syz(i))=i is free of rank 1 167 165 } 168 166 ///////////////////////////////////////////////////////////////////////////////
Note: See TracChangeset
for help on using the changeset viewer.