|
LoadPackage( "GradedModules", false );
S := GradedRing( HomalgFieldOfRationalsInDefaultCAS( ) * "x0..2" );
I := GradedLeftSubmodule ( "x0*x1^2-x2^3", S );
J := I + GradedLeftSubmodule( "x0^4", S );
M := FactorObject( J );
A := KoszulDualRing( S, "e0..2" );
[ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
]
|