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
#############################################################################
##
##  LIGrRNG.gd                  LIGrRNG subpackage           Mohamed Barakat
##                                                    Markus Lange-Hegermann
##
##         LIGrRNG = Logical Implications for homalg GRaded RiNGs
##
##  Copyright 2010, Mohamed Barakat, University of Kaiserslautern
##           Markus Lange-Hegermann, RWTH-Aachen University
##
##  Declarations for the LIGrRNG subpackage.
##
#############################################################################

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

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

####################################
#
# properties:
#
####################################

####################################
#
# attributes:
#
####################################

DeclareAttribute( "MaximalIdealAsColumnMatrix",
        IsHomalgGradedRing );

DeclareAttribute( "MaximalIdealAsRowMatrix",
        IsHomalgGradedRing );

####################################
#
# global functions and operations:
#
####################################

DeclareGlobalFunction( "HelperToInstallMethodsForGradedRingElementsAttributes" );