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

Quelle  LIGrRNG.gi   Sprache: unbekannt

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

##         LIGrRNG = Logical Implications for homalg GRaded RiNGs

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

[ Dauer der Verarbeitung: 0.23 Sekunden  (vorverarbeitet)  ]