Changeset 2b4e70 in git
- Timestamp:
- Dec 30, 2000, 4:45:35 PM (22 years ago)
- Branches:
- (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
- Children:
- ff8d25468b2f699e6c418ba14d9c0e1019b263e5
- Parents:
- 9f8a0c36a14214c0b8e9241e2b54aee67001707d
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/homolog.lib
r9f8a0c r2b4e70 1 1 //(BM/GMG) 2 2 /////////////////////////////////////////////////////////////////////////////// 3 version="$Id: homolog.lib,v 1.1 2 2000-12-22 14:05:48greuel Exp $";3 version="$Id: homolog.lib,v 1.13 2000-12-30 15:45:35 greuel Exp $"; 4 4 category="Commutative Algebra"; 5 5 info=" … … 654 654 extMN = modulo(ker,imag); 655 655 dbprint(p-1,"// Computing Ext^"+string(k)+" (help Ext; gives an explanation):", 656 657 658 659 656 "// Let 0<--coker(M)<--F0<--F1<--F2<--... be a resolution of coker(M),", 657 "// and 0<--coker(N)<--G0<--G1 a presentation of coker(N),", 658 "// then Hom(F"+string(k)+",G0)-->Hom(F"+string(k+1)+",G0) is given by:",A, 659 "// and Hom(F"+string(k-1)+",G0) + Hom(F"+string(k)+",G1)-->Hom(F"+string(k)+",G0) is given by:",imag,""); 660 660 extMN0 = std(extMN); 661 661 if( p>0 ) { "// degree of Ext^"+string(k)+":"; degree(extMN0);""; } … … 665 665 { kb = kbase(extMN0); 666 666 if ( size(ker)!=0) { kb = matrix(ker)*kb; } 667 dbpri (p-1,"// columns of matrix are kbase of Ext^"+667 dbprint(p-1,"// columns of matrix are kbase of Ext^"+ 668 668 string(k)+" in Hom(F"+string(k)+",G0)",kb,""); 669 669 if( p>0 )
Note: See TracChangeset
for help on using the changeset viewer.