Revision b2cd05142aa29a4b6a5b26cca08f5791ef9ed6bb authored by Sebastian Gutsche on 18 June 2015, 09:07:29 UTC, committed by Sebastian Gutsche on 18 June 2015, 09:10:31 UTC
1 parent 9cdf527
Raw File
PrimaryDecomposition.g
LoadPackage( "RingsForHomalg" );

R := HomalgFieldOfRationalsInSingular( ) * "x,y";

LoadPackage( "Modules" );

I := LeftSubmodule( "x", R );
J := LeftSubmodule( "x,y", R );

K := I * J;

pp := PrimaryDecomposition( K );
back to top