Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/gradedmodules/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.11.2024 mit Größe 378 B image not shown  

Quelle  BurchProjectiveDimension.g   Sprache: unbekannt

 
## 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.12 Sekunden  (vorverarbeitet)  ]