Revision 024c9750ac3f39428818576cba043d57e6a7f2c1 authored by Mohamed Barakat on 09 July 2015, 13:37:30 UTC, committed by Mohamed Barakat on 09 July 2015, 16:29:51 UTC
1 parent cea8169
Raw File
Morphisms.gd
#############################################################################
##
##  Morphisms.gd                homalg package               Mohamed Barakat
##
##  Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen
##
##  Declarations of homalg procedures for morphisms of abelian categories.
##
#############################################################################

####################################
#
# global functions and operations:
#
####################################

# basic operations:

DeclareOperation( "Resolution",
        [ IsInt, IsHomalgStaticMorphism ] );

DeclareOperation( "Resolution",
        [ IsHomalgStaticMorphism ] );

DeclareOperation( "CokernelSequence",
        [ IsHomalgStaticMorphism ] );

DeclareOperation( "CokernelCosequence",
        [ IsHomalgStaticMorphism ] );

DeclareOperation( "KernelSequence",
        [ IsHomalgStaticMorphism ] );

DeclareOperation( "KernelCosequence",
        [ IsHomalgStaticMorphism ] );

back to top