CoCalc -- A1_Purity.g

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

⁵⁶³⁵⁵³ views

Read( "Viktor.g" );

filt := PurityFiltration( V );

II_E := SpectralSequence( filt );

m := IsomorphismOfFiltration( filt );