Revision cfadc92ba11b6238df57ef867cab8dc09d6a4f21 authored by Mohamed Barakat on 14 August 2020, 15:50:54 UTC, committed by Mohamed Barakat on 14 August 2020, 15:50:54 UTC
1 parent 233b928
LIRNG.gd
#############################################################################
##
## LIRNG.gd LIRNG subpackage Mohamed Barakat
##
## LIRNG = Logical Implications for homalg RiNGs
##
## Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen
##
## Declaration stuff for the LIRNG subpackage.
##
#############################################################################
# our info class:
DeclareInfoClass( "InfoLIRNG" );
SetInfoLevel( InfoLIRNG, 1 );
# a central place for configurations:
DeclareGlobalVariable( "LIRNG" );
####################################
#
# global variables:
#
####################################
DeclareGlobalVariable( "LogicalImplicationsForHomalgRings" );
DeclareGlobalVariable( "LogicalImplicationsForHomalgRingElements" );
Computing file changes ...
