1Read( "ReducedBasisOfModule.g" ); 2 3## compute a free resolution of W 4P := Resolution( W ); 5## apply the inner functor G := Hom(-,R) to the resolution 6GP := Hom( P ); 7## tensor with P again 8FGP := GP * P; 9## the bicomplex associated to FGP 10BC := HomalgBicomplex( FGP ); 11## the total complex of BC 12Tot := TotalComplex( BC ); 13## the associated spectral sequence 14I_E := HomalgSpectralSequence( BC ); 15## the transposed bicomplex associated to FGP 16tBC := TransposedBicomplex( BC ); 17## the associated spectral sequence 18II_E := HomalgSpectralSequence( 2, tBC ); 19