Revision 9cb4a2a33ffaf8c93958e021a5558aa3eafb6d56 authored by Mohamed Barakat on 12 September 2021, 12:47:39 UTC, committed by Mohamed Barakat on 12 September 2021, 12:47:39 UTC
1 parent d4384af
qiCounterExample.g
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 ) );
Computing file changes ...
