LIGrRNG.gd

#############################################################################
##
##  LIGrRNG.gd                                            LIGrRNG subpackage
##
##         LIGrRNG = Logical Implications for homalg GRaded RiNGs
##
##  Copyright 2011, Mohamed Barakat, University of Kaiserslautern
##           Markus Lange-Hegermann, RWTH-Aachen University
##
##  Declarations for the LIGrRNG subpackage.
##
#############################################################################

####################################
#
# properties:
#
####################################