Complexes.gd
# SPDX-License-Identifier: GPL-2.0-or-later
# homalg: A homological algebra meta-package for computable Abelian categories
#
# Declarations
#
## Declarations of homalg procedures for complexes.
####################################
#
# global functions and operations:
#
####################################
# basic operations:
DeclareOperation( "DefectOfExactness",
[ IsHomalgComplex, IsInt ] );
DeclareOperation( "Homology",
[ IsHomalgComplex, IsInt ] );
DeclareOperation( "Cohomology",
[ IsHomalgComplex, IsInt ] );
DeclareOperation( "Homology",
[ IsHomalgComplex ] );
DeclareOperation( "Cohomology",
[ IsHomalgComplex ] );
DeclareOperation( "HorseShoeResolution",
[ IsList, IsHomalgChainMorphism, IsHomalgChainMorphism, IsHomalgMorphism ] );
DeclareOperation( "Resolution",
[ IsInt, IsHomalgComplex ] );
DeclareOperation( "Resolution",
[ IsHomalgComplex ] );
DeclareOperation( "CompleteComplexByResolution",
[ IsRingElement, IsHomalgComplex ] );
DeclareOperation( "CompleteComplexByResolution",
[ IsHomalgComplex ] );
DeclareOperation( "ConnectingHomomorphism",
[ IsHomalgStaticObject,
IsHomalgStaticMorphism,
IsHomalgStaticMorphism,
IsHomalgStaticMorphism,
IsHomalgStaticObject ] );
DeclareOperation( "ConnectingHomomorphism",
[ IsHomalgComplex, IsInt ] );
DeclareOperation( "ConnectingHomomorphism",
[ IsHomalgComplex ] );
DeclareOperation( "ExactTriangle",
[ IsHomalgComplex ] );
DeclareOperation( "DefectOfExactnessSequence",
[ IsHomalgComplex ] );
DeclareOperation( "DefectOfExactnessSequence",
[ IsHomalgStaticMorphism, IsHomalgStaticMorphism ] );
DeclareOperation( "DefectOfExactnessCosequence",
[ IsHomalgComplex ] );
DeclareOperation( "DefectOfExactnessCosequence",
[ IsHomalgStaticMorphism, IsHomalgStaticMorphism ] );