|
# SPDX-License-Identifier: GPL-2.0-or-later
# MatricesForHomalg: Matrices for the homalg project
#
# Declarations
#
## LIMAP = Logical Implications for homalg ring MAPs
# our info class:
DeclareInfoClass( "InfoLIMAP" );
SetInfoLevel( InfoLIMAP, 1 );
# a central place for configurations:
DeclareGlobalVariable( "LIMAP" );
####################################
#
# global variables:
#
####################################
DeclareGlobalVariable( "LogicalImplicationsForHomalgRingMaps" );
DeclareGlobalVariable( "LogicalImplicationsForHomalgRingSelfMaps" );
[ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
]
|