Revision 024c9750ac3f39428818576cba043d57e6a7f2c1 authored by Mohamed Barakat on 09 July 2015, 13:37:30 UTC, committed by Mohamed Barakat on 09 July 2015, 16:29:51 UTC
1 parent cea8169
Filtrations.gd
#############################################################################
##
## Filtrations.gi homalg package Mohamed Barakat
##
## Copyright 2007-2010, Mohamed Barakat, RWTH-Aachen
##
## Declaration stuff for (spectral) filtrations.
##
#############################################################################
DeclareOperation( "FiltrationOfTotalDefect",
[ IsHomalgSpectralSequence, IsInt ] );
DeclareOperation( "FiltrationOfTotalDefect",
[ IsHomalgSpectralSequence ] );
DeclareOperation( "FiltrationOfObjectInCollapsedSheetOfTransposedSpectralSequence",
[ IsHomalgSpectralSequence, IsInt ] );
DeclareOperation( "FiltrationOfObjectInCollapsedSheetOfTransposedSpectralSequence",
[ IsHomalgSpectralSequence ] );
DeclareOperation( "FiltrationBySpectralSequence",
[ IsHomalgSpectralSequence, IsInt ] );
DeclareOperation( "FiltrationBySpectralSequence",
[ IsHomalgSpectralSequence ] );
DeclareOperation( "PurityFiltrationViaBidualizingSpectralSequence",
[ IsHomalgStaticObject ] );
DeclareOperation( "SetAttributesByPurityFiltration",
[ IsHomalgFiltration ] );
DeclareOperation( "SetAttributesByPurityFiltrationViaBidualizingSpectralSequence",
[ IsHomalgFiltration ] );
DeclareOperation( "OnPresentationAdaptedToFiltration",
[ IsHomalgFiltration ] );
DeclareOperation( "FilteredByPurity",
[ IsHomalgStaticObject ] );
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...