CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

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

Views: 418346
Tweet
Share
Share
Read( "ReducedBasisOfModule.g" );

V := Hom( Qxyz, W );

InsertObjectInMultiFunctor( Functor_Hom_for_fp_modules, 2, V, "HomV" );

II_E := GrothendieckSpectralSequence( Functor_HomV_for_fp_modules, LeftDualizingFunctor( Qxyz ), W );

filt := FiltrationBySpectralSequence( II_E );

L := UnderlyingObject( filt );

ByASmallerPresentation( filt );

m := IsomorphismOfFiltration( filt );