#############################################################################
##
##  LIHMAT.gd                  LIHMAT subpackage           Mohamed Barakat
##                                                    Markus Lange-Hegermann
##
##         LIHMAT = Logical Implications for homalg Homogeneous MATrices
##
##  Copyright 2010, Mohamed Barakat, University of Kaiserslautern
##           Markus Lange-Hegermann, RWTH-Aachen University
##
##  Declarations for the LIHMAT subpackage.
##
#############################################################################

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

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

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

