#############################################################################
##
##  LICPX.gd                    LICPX subpackage             Mohamed Barakat
##
##         LICPX = Logical Implications for homalg ComPleXes
##
##  Copyright 2007-2010, Mohamed Barakat, RWTH-Aachen
##
##  Declaration stuff for the LICPX subpackage.
##
#############################################################################

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

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

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

DeclareGlobalVariable( "LogicalImplicationsForHomalgComplexes" );

