Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
## Bahman Engheta's Thesis: Bounds on Projective Dimension, Example 1.5
LoadPackage( "GradedRingForHomalg", false );
R := GradedRing( HomalgFieldOfRationalsInDefaultCAS( ) * "a,b,c,d,e,f" );
LoadPackage( "GradedModules", false );
I := GradedLeftSubmodule( "a*c*e, b*d*f, a*b*c*d + a*b*e*f + c*d*e*f", R );
M := FactorObject( I );
Assert( 0, ProjectiveDimension( M ) = 5 );
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-17]
