"Source: Text/Commut/Ideal.text";
"Line: 1575";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/Ideal.text, line: 1575
// Example: H116E10 ()
print "Example: H116E10";
ei := GetEchoInput();
SetEchoInput(true);
P<x, y, z, t, u> := PolynomialRing(RationalField(), 5);
I := ideal<P |
x + y + z + t + u,
x*y + y*z + z*t + t*u + u*x,
x*y*z + y*z*t + z*t*u + t*u*x + u*x*y,
x*y*z*t + y*z*t*u + z*t*u*x + t*u*x*y + u*x*y*z,
x*y*z*t*u>;
IsZeroDimensional(I);
assert not $1;
Q, P := PrimaryDecomposition(I);
Q;
P;
RP := RadicalDecomposition(I);                                               
#RP;
assert $1 eq 5;
Set(RP) eq { P[i]: i in [1 .. 5] };
assert $1;
SetEchoInput(ei);
