Revision 3a654fb6556f8b24081daeae9249680d8ff68214 authored by Sebastian Gutsche on 06 October 2016, 15:26:25 UTC, committed by Sebastian Gutsche on 06 October 2016, 15:26:25 UTC
1 parent 8ba25ff
Raw File
HomalgSpectralSequence.gi
#############################################################################
##
##  HomalgSpectralSequence.gi   homalg package               Mohamed Barakat
##
##  Copyright 2007-2010, Mohamed Barakat, University of Kaiserslautern
##
##  Implementations for homalg spectral sequences.
##
#############################################################################

####################################
#
# methods for operations:
#
####################################

##
InstallMethod( HomalgRing,
        "for homalg spectral sequences",
        [ IsHomalgSpectralSequence ],
        
  function( E )
    
    return HomalgRing( LowestLevelSheetInSpectralSequence( E ) );
    
end );

##
InstallMethod( OnLessGenerators,
        "for homalg spectral sequences",
        [ IsHomalgSpectralSequence ],
        
  function( E )
    
    return OnLessGenerators( HighestLevelSheetInSpectralSequence( E ) );
    
end );

##
InstallMethod( BasisOfModule,
        "for homalg spectral sequences",
        [ IsHomalgSpectralSequence ],
        
  function( E )
    
    return BasisOfModule( HighestLevelSheetInSpectralSequence( E ) );
    
end );

back to top