Quellcode-Bibliothek GradedModuleMap.gd   Sprache: Shell

# 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
#
# Declarations
#

##  Declaration stuff for graded module homomorphisms .

####################################
#
# categories:
#
####################################

# two new categories:

##  <#GAPDoc Label="IsHomalgMap">
##  <ManSection>
##    <Filt Type="Category" Arg="phi" Name="IsHomalgMap"/>
##    <Returns><C>true</C> or <C>false</C></Returns>
##    <Description>
##      The &GAP; category of graded &homalg; maps. <P/>
##      (It is a subcategory of the &GAP; category
##      <C>IsHomalgMap</C>.)
##    <Listing Type="Code"><![CDATA[
DeclareCategory( "IsHomalgGradedMap",
        IsHomalgMap );
##  ]]></Listing>
##    </Description>
##  </ManSection>
##  <#/GAPDoc>

##  <#GAPDoc Label="IsHomalgSelfMap">
##  <ManSection>
##    <Filt Type="Category" Arg="phi" Name="IsHomalgSelfMap"/>
##    <Returns><C>true</C> or <C>false</C></Returns>
##    <Description>
##      The &GAP; category of graded &homalg; self-maps. <P/>
##      (It is a subcategory of the &GAP; categories
##       <C>IsHomalgGradedMap</C>, <C>IsHomalgEndomorphism</C> and <C>IsHomalgSelfMap</C>.)
##    <Listing Type="Code"><![CDATA[
DeclareCategory( "IsHomalgGradedSelfMap",
        IsHomalgGradedMap and
        IsHomalgEndomorphism and
        IsHomalgSelfMap );
##  ]]></Listing>
##    </Description>
##  </ManSection>
##  <#/GAPDoc>

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

##
DeclareAttribute( "CastelnuovoMumfordRegularity",
         IsHomalgGradedMap  );

DeclareAttribute( "MaximalIdealAsLeftMorphism",
        IsHomalgGradedRing );

DeclareAttribute( "MaximalIdealAsRightMorphism",
        IsHomalgGradedRing );

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

DeclareOperation( "UnderlyingMorphismMutable",
        [ IsHomalgGradedMap ] );

DeclareOperation( "GradedVersionOfMorphismAid",
                 [ IsHomalgMap, IsHomalgGradedModule ] );

DeclareOperation( "NormalizeGradedMorphism",
                 [ IsHomalgGradedMap ] );

DeclareOperation( "GradedMap",
                 [ IsHomalgMatrix, IsObject, IsObject ] );
DeclareOperation( "GradedMap",
                 [ IsHomalgMatrix, IsObject, IsObject, IsString ] );
DeclareOperation( "GradedMap",
                 [ IsHomalgMatrix, IsObject, IsObject, IsHomalgRing ] );
DeclareOperation( "GradedMap",
                 [ IsHomalgMatrix, IsObject, IsObject, IsString, IsHomalgRing ] );
DeclareOperation( "GradedMap",
                 [ IsHomalgMap, IsHomalgRing ] );
DeclareOperation( "GradedMap",
                 [ IsHomalgMap, IsObject, IsObject ] );
DeclareOperation( "GradedMap",
                 [ IsHomalgMap, IsObject, IsObject, IsHomalgRing ] );
DeclareOperation( "GradedZeroMap",
                 [ IsHomalgGradedModule, IsHomalgGradedModule ] );

# constructors:

# basic operations