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

####################################
#
# immediate methods for properties:
#
####################################

####################################
#
# immediate methods for attributes:
#
####################################

####################################
#
# methods for properties:
#
####################################

##
InstallMethod( IsCohenMacaulay,
        "LIGrRNG: for homalg graded rings",
        [ IsHomalgGradedRingRep and HasRingRelations ],
        
  function( S )
    
    return IsCohenMacaulay( DefiningIdeal( S ) );
    
end );

####################################
#
# methods for attributes:
#
####################################

##
InstallMethod( DefiningIdeal,
        "LIGrRNG: for homalg graded rings",
        [ IsHomalgGradedRingRep and HasRingRelations ],
        
  function( S )
    
    return GradedLeftSubmodule( MatrixOfRelations( S ) );
    
end );