|
# SPDX-License-Identifier: GPL-2.0-or-later
# homalg: A homological algebra meta-package for computable Abelian categories
#
# Declarations
#
## Declarations of homalg procedures for homalg static objects.
####################################
#
# global functions and operations:
#
####################################
# basic operations:
DeclareOperation( "/",
[ IsHomalgStaticObject, IsHomalgStaticObject ] );
DeclareOperation( "PresentationMorphism",
[ IsHomalgStaticObject, IsInt ] );
DeclareOperation( "PresentationMorphism",
[ IsHomalgStaticObject ] );
DeclareOperation( "BoundForResolution",
[ IsHomalgStaticObject ] );
## <#GAPDoc Label="CurrentResolution">
## <ManSection>
## <Attr Arg="M" Name="CurrentResolution"/>
## <Returns>a &homalg; complex</Returns>
## <Description>
## The computed (part of a) resolution of the static object <A>M</A>.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareOperation( "CurrentResolution",
[ IsHomalgStaticObject ] );
DeclareOperation( "CurrentResolution",
[ IsInt, IsHomalgStaticObject ] );
DeclareOperation( "HasCurrentResolution",
[ IsHomalgStaticObject ] );
DeclareOperation( "Resolution",
[ IsInt, IsHomalgStaticObject ] );
DeclareOperation( "Resolution",
[ IsHomalgStaticObject ] );
DeclareOperation( "FiniteFreeResolution",
[ IsHomalgStaticObject ] );
DeclareOperation( "LengthOfResolution",
[ IsHomalgStaticObject ] );
DeclareOperation( "FirstMorphismOfResolution",
[ IsHomalgStaticObject ] );
DeclareOperation( "ResolutionWithRespectToMorphism",
[ IsInt, IsHomalgStaticObject, IsHomalgStaticMorphism ] );
DeclareOperation( "SyzygiesObjectEmb",
[ IsInt, IsHomalgStaticObject ] );
DeclareOperation( "SyzygiesObjectEmb",
[ IsHomalgStaticObject ] );
DeclareOperation( "SyzygiesObject",
[ IsInt, IsHomalgStaticObject ] );
DeclareOperation( "SyzygiesObject",
[ IsHomalgStaticObject ] );
DeclareOperation( "SyzygiesObjectEpi",
[ IsInt, IsHomalgStaticObject ] );
DeclareOperation( "SyzygiesObjectEpi",
[ IsHomalgStaticObject ] );
DeclareOperation( "CoveringObject",
[ IsHomalgStaticObject ] );
DeclareOperation( "CoveringEpi",
[ IsHomalgStaticObject ] );
DeclareOperation( "SubResolution",
[ IsInt, IsHomalgStaticObject ] );
DeclareOperation( "ShortenResolution",
[ IsInt, IsHomalgComplex ] );
DeclareOperation( "ShortenResolution",
[ IsHomalgComplex ] );
DeclareOperation( "ShortenResolution",
[ IsInt, IsHomalgStaticObject ] );
DeclareOperation( "ShortenResolution",
[ IsHomalgStaticObject ] );
DeclareOperation( "PushPresentationByIsomorphism",
[ IsHomalgStaticMorphism ] );
DeclareOperation( "AsEpimorphicImage",
[ IsHomalgStaticMorphism ] );
DeclareOperation( "Intersect2",
[ IsList, IsObject ] );
DeclareOperation( "Intersect2",
[ IsHomalgStaticObject, IsHomalgStaticObject ] );
DeclareGlobalFunction( "Intersect" );
DeclareOperation( "IntersectWithMultiplicity",
[ IsList, IsList ] );
DeclareOperation( "EmbeddingsInCoproductObject",
[ IsHomalgStaticObject, IsList ] );
DeclareOperation( "ProjectionsFromProductObject",
[ IsHomalgStaticObject, IsList ] );
DeclareOperation( "SubobjectQuotient",
[ IsHomalgStaticObject, IsHomalgStaticObject ] );
DeclareOperation( "-",
[ IsHomalgStaticObject, IsHomalgStaticObject ] );
DeclareOperation( "Saturate",
[ IsHomalgStaticObject, IsHomalgStaticObject ] );
DeclareOperation( "Saturate",
[ IsHomalgStaticObject ] );
DeclareOperation( "SetPropertiesIfKernelIsTorsionObject",
[ IsHomalgStaticMorphism ] );
DeclareOperation( "SetAsOriginalPresentation",
[ IsHomalgStaticObject ] );
DeclareOperation( "OnOriginalPresentation",
[ IsHomalgStaticObject ] );
DeclareOperation( "SetAsPreferredPresentation",
[ IsHomalgStaticObject ] );
DeclareOperation( "OnPreferredPresentation",
[ IsHomalgStaticObject ] );
DeclareOperation( "OnFirstStoredPresentation",
[ IsHomalgStaticObject ] );
DeclareOperation( "OnLastStoredPresentation",
[ IsHomalgStaticObject ] );
[ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
]
|
