Revision 3a654fb6556f8b24081daeae9249680d8ff68214 authored by Sebastian Gutsche on 06 October 2016, 15:26:25 UTC, committed by Sebastian Gutsche on 06 October 2016, 15:26:25 UTC
1 parent 8ba25ff
LIHOM.gd
#############################################################################
##
## LIHOM.gd LIHOM subpackage Mohamed Barakat
##
## LIHOM = Logical Implications for homalg module HOMomorphisms
##
## Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen
##
## Declaration stuff for the LIHOM subpackage.
##
#############################################################################
# our info class:
DeclareInfoClass( "InfoLIHOM" );
SetInfoLevel( InfoLIHOM, 1 );
# a central place for configurations:
DeclareGlobalVariable( "LIHOM" );
####################################
#
# global variables:
#
####################################
DeclareGlobalVariable( "LogicalImplicationsForHomalgMaps" );
DeclareGlobalVariable( "LogicalImplicationsForHomalgSelfMaps" );
Computing file changes ...