Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/modules/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.11.2024 mit Größe 661 B image not shown  

Quelle  TorExt_via_Hom(P,P).g   Sprache: unbekannt

 
Read( "homalg.g" );

W := ByASmallerPresentation( M );

## compute a free resolution of W
P := Resolution( W );
## instead of applying the inner functor G := Hom(-,R) to the resolution P
## and then tensoring with with P, one can directly compute Hom(P,P);
FGP := Hom( P, P );
## the bicomplex associated to FGP
BC := HomalgBicomplex( FGP );

p_degrees := ObjectDegreesOfBicomplex( BC )[1];

## the second spectral sequence together with
## the collapsed first spectral sequence
II_E := SecondSpectralSequenceWithFiltration( BC, p_degrees );

filt := FiltrationBySpectralSequence( II_E );

ByASmallerPresentation( filt );

m := IsomorphismOfFiltration( filt );

[ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ]