Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/homalg/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 10.0.2024 mit Größe 544 B image not shown  

Quelle  qiCounterExample.g   Sprache: unbekannt

 
LoadPackage( "homalg" );
R := HomalgRingOfIntegers( );
M := 1 * R;
N := LeftPresentation( [ 3 ], R );
a := HomalgMap( [ 2 ], M, M );
c := HomalgMap( [ 2 ], M, N );
b := HomalgMap( [ 1 ], M, M );
d := HomalgMap( [ 1 ], M, N );
C1 := HomalgComplex( a );
C2 := HomalgComplex( c );
cm := HomalgChainMorphism( d, C1, C2 );
Add( cm, b );
## induces the zero map on homology, but
## is not zero in the derived category D(A)
hcm := DefectOfExactness( cm );
ByASmallerPresentation( hcm );
IsZero( hcm );
IsZero( Source( hcm ) );
IsZero( Range( hcm ) );

[ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ]