"Source: Text/Commut/RngMPolLoc.text";
"Line: 1043";
"Date: Tue Jun  7 22:27:15 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Commut/RngMPolLoc.text, line: 1043
// Example: H114E4 ()
print "Example: H114E4";
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);
