Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/homalg/gap/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 10.0.2024 mit Größe 1 kB image not shown  

Quelle  Filtrations.gd   Sprache: unbekannt

 
# SPDX-License-Identifier: GPL-2.0-or-later
# homalg: A homological algebra meta-package for computable Abelian categories
#
# Declarations
#

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

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]