Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
LoadPackage( "ModulePresentationsForCAP" );
LoadPackage( "RingsForHomalg" );
QQ := HomalgFieldOfRationalsInSingular( );
R := QQ * "x,y";
S := FreeLeftPresentation( 1, R );
S2 := FreeLeftPresentation( 2, R );
alpha := PresentationMorphism( S, HomalgMatrix( [ [ 1, 2 ] ], R ), S2 );
id := IdentityMorphism( S );
p := PreCompose( id, alpha );
IsIdenticalObj( p, alpha );
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-06-17]
