Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Java/Netbeans/ide/dlight.terminal/   (Apache JAVA IDE Version 28©)  Datei vom 3.10.2025 mit Größe 308 B image not shown  

Quelle  LIMOD.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
#

##         LIMOD = Logical Implications for homalg MODules

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

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

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

DeclareGlobalVariable( "LogicalImplicationsForHomalgModules" );

DeclareGlobalVariable( "LogicalImplicationsForHomalgModulesOverSpecialRings" );

DeclareGlobalFunction( "IsProjectiveOfConstantRankByCheckingFittingsCondition" );

DeclareGlobalFunction( "IsProjectiveByCheckingIfExt1WithValuesInFirstSyzygiesModuleIsZero" );

[ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ]