CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
#############################################################################
##
##  LIMOD.gd                    LIMOD subpackage             Mohamed Barakat
##
##         LIMOD = Logical Implications for homalg MODules
##
##  Copyright 2007-2008 Lehrstuhl B für Mathematik, RWTH Aachen
##
##  Declaration stuff for the LIMOD subpackage.
##
#############################################################################

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