Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/matricesforhomalg/gap/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 7.8.2025 mit Größe 562 B image not shown  

Quelle  LIRNG.gd   Sprache: unbekannt

 
# SPDX-License-Identifier: GPL-2.0-or-later
# MatricesForHomalg: Matrices for the homalg project
#
# Declarations
#

##         LIRNG = Logical Implications for homalg RiNGs

# our info class:
DeclareInfoClass( "InfoLIRNG" );
SetInfoLevel( InfoLIRNG, 1 );

# a central place for configurations:
DeclareGlobalVariable( "LIRNG" );

####################################
#
# global variables:
#
####################################

DeclareGlobalVariable( "LogicalImplicationsForHomalgRings" );

DeclareGlobalVariable( "LogicalImplicationsForHomalgRingElements" );

[ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet)  ]