CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
LoadPackage( "Modules" );
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 ) );