LIMAP.gd

#############################################################################
##
##  LIMAP.gd                    LIMAP subpackage             Mohamed Barakat
##
##         LIMAP = Logical Implications for homalg ring MAPs
##
##  Copyright 2009, Mohamed Barakat, Universität des Saarlandes
##
##  Declaration stuff for the LIMAP subpackage.
##
#############################################################################

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

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

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

DeclareGlobalVariable( "LogicalImplicationsForHomalgRingMaps" );

DeclareGlobalVariable( "LogicalImplicationsForHomalgRingSelfMaps" );