|
# SPDX-License-Identifier: GPL-2.0-or-later
# homalg: A homological algebra meta-package for computable Abelian categories
#
# Declarations
#
## LICHM = Logical Implications for homalg CHain Morphisms
# our info class:
DeclareInfoClass( "InfoLICHM" );
SetInfoLevel( InfoLICHM, 1 );
# a central place for configurations:
DeclareGlobalVariable( "LICHM" );
####################################
#
# global variables:
#
####################################
DeclareGlobalVariable( "LogicalImplicationsForHomalgChainMorphisms" );
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
