Singular

7.5.16 nchomolog_lib

Library:

nchomolog.lib

Purpose:

Procedures for Noncommutative Homological Algebra

Authors:

Viktor Levandovskyy [email protected],
Christian Schilli, [email protected],
Gerhard Pfister, [email protected]

Overview:

In this library we present tools of homological algebra for finitely presented modules over GR-algebras.

Procedures:

7.5.16.0. ncExt_R		computes presentation of Ext^k(M',R), M module, R basering, M'=coker(M)
7.5.16.0. ncHom		computes presentation of Hom(M',N'), M,N modules, M'=coker(M), N'=coker(N)
7.5.16.0. coHom		computes presentation of Hom(R^k,A), A matrix over basering R
7.5.16.0. contraHom		computes presentation of Hom(A,R^k), A matrix over basering R
7.5.16.0. dmodoublext		computes presentation of Ext_D^i(Ext_D^i(M,D),D), where D is a basering
7.5.16.0. is_cenBimodule		checks whether a module presented by M is Artin-centralizing
7.5.16.0. is_cenSubbimodule		checks whether a subbimodule M is Artin-centralizing