Spracherkennung für: .g vermutete Sprache: Lisp {Lisp[56] Masm[56] Apollo[15]} [Methode: maximale Elemente, drei Dimensionen]
LoadPackage( "ModulePresentationsForCAP" );
zz := HOMALG_MATRICES.ZZ;
LeftPresentations( zz );
RightPresentations( zz );
A := HomalgMatrix( [ [ 1, 2 ], [ 2, 3 ] ], zz );
Aleft := AsLeftPresentation( A );
Aright := AsRightPresentation( A );
B := HomalgMatrix( [ [ 1, 2 ] ], zz );
Bleft := AsLeftPresentation( B );
Bright := AsRightPresentation( B );
tau := HomalgMatrix( [ [ 1, 0 ], [ 0, 1 ] ], zz );
#########################
##
## Cokernel
##
#########################
A := AsLeftPresentation( HomalgZeroMatrix( 0, 1, zz ) );
phi := HomalgMatrix( [ [ 4 ] ], zz );
phi := PresentationMorphism( A, phi, A );
epsilon := CokernelProjection( phi );
tau := HomalgMatrix( [ [ 2 ] ], zz );
B := AsLeftPresentation( HomalgMatrix( [ [ 8 ] ], zz ) );
tau := PresentationMorphism( A, tau, B );
[Dauer der Verarbeitung: 0.3 Sekunden, vorverarbeitet 2026-10-21]
