Changeset 4feebd5 in git
- Timestamp:
- Sep 9, 2008, 11:54:30 AM (15 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')
- Children:
- ceb4bec5ab0e842edbff9dcd6f3b9f3ceeadadc6
- Parents:
- 090f3a526024b88cc6252f3a093901c36ba58e5f
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/homolog.lib
r090f3a5 r4feebd5 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: homolog.lib,v 1.2 5 2008-08-22 09:41:17Singular Exp $";2 version="$Id: homolog.lib,v 1.26 2008-09-09 09:54:30 Singular Exp $"; 3 3 category="Commutative Algebra"; 4 4 info=" … … 22 22 isLocallyFree(M,r); test if coker(M) is locally free of constant rank r 23 23 isReg(I,M); test if I is coker(M)-sequence, I ideal, M module 24 ker(A,M,N);ker(M'--A->N') M,N modules, A matrix24 hom_kernel(A,M,N); ker(M'--A->N') M,N modules, A matrix 25 25 kohom(A,k); Hom(R^k,A), A matrix over basering R 26 26 kontrahom(A,k); Hom(A,R^k), A matrix over basering R … … 1127 1127 ////////////////////////////////////////////////////////////////////////////// 1128 1128 1129 proc ker(matrix A,module M,module N)1130 "USAGE: ker(A,M,N);1129 proc hom_kernel (matrix A,module M,module N) 1130 "USAGE: hom_kernel(A,M,N); 1131 1131 COMPUTE: Let M and N be submodules of R^m and R^n, presenting M'=R^m/M, 1132 1132 N'=R^n/N (R=basering), and let A:R^m-->R^n be a matrix inducing a … … 1144 1144 @end example 1145 1145 RETURN: module K, a presentation of ker(A':coker(M)->coker(N)). 1146 EXAMPLE: example ker; shows examples.1146 EXAMPLE: example hom_kernel; shows examples. 1147 1147 " 1148 1148 { … … 1156 1156 module M=maxideal(1)*freemodule(2); 1157 1157 matrix A[2][3]=2x,0,x,y,z2,y; 1158 module K= ker(A,M,N);1158 module K=hom_kernel(A,M,N); 1159 1159 // dimension of kernel: 1160 1160 dim(std(K));
Note: See TracChangeset
for help on using the changeset viewer.