Changeset fa8122 in git for Singular/LIB/homolog.lib

Timestamp:

Jul 25, 2006, 7:54:29 PM (18 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

47b2502d848a765e4bf5763aa9f99552f24856fb

Parents:

d961eb8f3d847df637b17d416b318e54617f0cf2

Message:

*hannes: Michael C.


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

File:

• Singular/LIB/homolog.lib (modified) (2 diffs)

Singular/LIB/homolog.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: homolog.lib,v 1.21 2006-07-18 15:48:21 Singular Exp $";
+version="$Id: homolog.lib,v 1.22 2006-07-25 17:54:27 Singular Exp $";
 category="Commutative Algebra";
 info="
@@ -226 +226 @@
 proc cupproduct (module M,N,P,int p,q,list #)
 "USAGE:   cupproduct(M,N,P,p,q[,any]);  M,N,P modules, p,q integers
-COMPUTE: cup-product Ext^p(M',N') x Ext^q(N',P') ---> Ext^p+q(M',P'),
+COMPUTE: cup-product Ext^p(M',N') x Ext^q(N',P') ---> Ext^(p+q)(M',P'),
          where M':=R^m/M, if M in R^m, R basering (i.e. M':=coker(matrix(M)))
 ASSUME:  all Ext's  are of finite dimension
 RETURN:  - if called with 5 arguments: matrix of the associated linear map
-         Ext^p (tensor) Ext^q --> Ext^p+q,  i.e. the columns of <matrix>
+         Ext^p (tensor) Ext^q --> Ext^(p+q),  i.e. the columns of <matrix>
          present the coordinates of the cup products (b_i & c_j) with respect
          to a kbase of Ext^p+q  (b_i resp. c_j are the choosen bases of Ext^p,