Revision 7aa82b67303c021ab907fa46a6ac697588c19141 authored by Mohamed Barakat on 06 July 2015, 10:48:56 UTC, committed by Mohamed Barakat on 06 July 2015, 10:51:39 UTC
1 parent 0151a87
SpectralCosequence.g
Read( "homalg.g" );
W := M;
## compute a free resolution of W
P := Resolution( W );
## apply the inner functor G := Hom(-,R) to the resolution
GP := Hom( P );
## tensor with P again
FGP := GP * P;
## the bicomplex associated to FGP
BC := HomalgBicomplex( FGP );
## the total complex of BC
Tot := TotalComplex( BC );
## the associated spectral sequence
I_E := HomalgSpectralSequence( BC );
## the transposed bicomplex associated to FGP
tBC := TransposedBicomplex( BC );
## the associated spectral sequence
II_E := HomalgSpectralSequence( 2, tBC );
Computing file changes ...
