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

Quelle  LIHOM.gd   Sprache: unbekannt

 
# SPDX-License-Identifier: GPL-2.0-or-later
# Modules: A homalg based package for the Abelian category of finitely presented modules over computable rings
#
# Declarations
#

##  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" );

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]