LIGrHOM.gd

#############################################################################
##
##  LIGrHOM.gi                    LIGrHOM subpackage
##
##         LIGrHOM = Logical Implications for Graded HOMomorphisms
##
##  Copyright 2010,      Mohamed Barakat, University of Kaiserslautern
##                       Markus Lange-Hegermann, RWTH Aachen
##
##  Declaration stuff for the LIGrHOM subpackage.
##
#############################################################################

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

####################################
#
# global functions:
#
####################################