#############################################################################
##
##  LIMOR.gd                    LIMOR subpackage             Mohamed Barakat
##
##         LIMOR = Logical Implications for homalg MORphisms
##
##  Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen
##
##  Declaration stuff for the LIMOR subpackage.
##
#############################################################################

# our info class:
DeclareInfoClass( "InfoLIMOR" );
SetInfoLevel( InfoLIMOR, 1 );

# a central place for configurations:
DeclareGlobalVariable( "LIMOR" );

####################################
#
# global variables:
#
####################################

DeclareGlobalVariable( "LogicalImplicationsForHomalgMorphisms" );

DeclareGlobalVariable( "LogicalImplicationsForHomalgEndomorphisms" );

####################################
#
# operations:
#
####################################

DeclareOperation( "SetPropertiesOfAdditiveInverse",
        [ IsHomalgMorphism, IsHomalgMorphism ] );