"Source: Text/Commut/RngMPolLoc.text";
"Line: 1043";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/RngMPolLoc.text, line: 1043
// Example: H117E4 ()
print "Example: H117E4";
ei := GetEchoInput();
SetEchoInput(true);
R<x,y,z> := LocalPolynomialRing(RationalField(), 3);
I := ideal<R | x*y - z, x^3*z^2 - y^2, x*z^3 - x - y>;
J := ideal<R | x*y - z, x^2*z - y, x*z^3 - x - y>;
A := I * J;
_ := StandardBasis(A);
A;
M := I meet J;
M;
A eq M;
assert not $1;
A subset M;
assert $1;
SetEchoInput(ei);
