Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#! @Chapter Examples and Tests
#! @Section Projectivity test
LoadPackage( "ModulePresentationsForCAP" );
LoadPackage( "RingsForHomalg" );
#! @Example
Q := HomalgFieldOfRationalsInSingular();;
R := Q * "x";;
F := FreeLeftPresentation( 2, Q );;
HasIsProjective( F ) and IsProjective( F );
#! true
G := FreeRightPresentation( 2, Q );;
HasIsProjective( G ) and IsProjective( G );
#! true
M := AsLeftPresentation( HomalgMatrix( "[ x, x ]", 1, 2, R ) );;
IsProjective( M );
#! false
N := AsLeftPresentation( HomalgMatrix( "[ 1, x ]", 1, 2, R ) );;
IsProjective( N );
#! true
#! @EndExample
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-06-17]
