Skip to main content

Browse the archive

Revision 9cb4a2a33ffaf8c93958e021a5558aa3eafb6d56 authored by Mohamed Barakat on 12 September 2021, 12:47:39 UTC, committed by Mohamed Barakat on 12 September 2021, 12:47:39 UTC 
got rid of obsolete variable
1 parent d4384af
Raw File
Grothendieck.g 
Read( "homalg.g" );

W := M;

II_E := GrothendieckSpectralSequence( RightDualizingFunctor( R ), LeftDualizingFunctor( R ), W );

filt := FiltrationBySpectralSequence( II_E );

m := IsomorphismOfFiltration( filt );
back to top