Changeset 4feebd5 in git


Ignore:
Timestamp:
Sep 9, 2008, 11:54:30 AM (15 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')
Children:
ceb4bec5ab0e842edbff9dcd6f3b9f3ceeadadc6
Parents:
090f3a526024b88cc6252f3a093901c36ba58e5f
Message:
*hannes: ker -> hom_kernel


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

Legend:

Unmodified
Added
Removed
  • Singular/LIB/homolog.lib

    r090f3a5 r4feebd5  
    11///////////////////////////////////////////////////////////////////////////////
    2 version="$Id: homolog.lib,v 1.25 2008-08-22 09:41:17 Singular Exp $";
     2version="$Id: homolog.lib,v 1.26 2008-09-09 09:54:30 Singular Exp $";
    33category="Commutative Algebra";
    44info="
     
    2222 isLocallyFree(M,r);    test if coker(M) is locally free of constant rank r
    2323 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 matrix
     24 hom_kernel(A,M,N);     ker(M'--A->N')  M,N modules, A matrix
    2525 kohom(A,k);            Hom(R^k,A),     A matrix over basering R
    2626 kontrahom(A,k);        Hom(A,R^k),     A matrix over basering R
     
    11271127//////////////////////////////////////////////////////////////////////////////
    11281128
    1129 proc ker (matrix A,module M,module N)
    1130 "USAGE:   ker(A,M,N);
     1129proc hom_kernel (matrix A,module M,module N)
     1130"USAGE:   hom_kernel(A,M,N);
    11311131COMPUTE: Let M and N be submodules of R^m and R^n, presenting M'=R^m/M,
    11321132         N'=R^n/N (R=basering), and let A:R^m-->R^n be a matrix inducing a
     
    11441144@end example
    11451145RETURN:  module K, a presentation of ker(A':coker(M)->coker(N)).
    1146 EXAMPLE: example ker; shows examples.
     1146EXAMPLE: example hom_kernel; shows examples.
    11471147"
    11481148{
     
    11561156  module M=maxideal(1)*freemodule(2);
    11571157  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);
    11591159  // dimension of kernel:
    11601160  dim(std(K));
Note: See TracChangeset for help on using the changeset viewer.