"Source: Text/Commut/Ideal.text";
"Line: 2055";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/Ideal.text, line: 2055
// Example: H116E13 ()
print "Example: H116E13";
ei := GetEchoInput();
SetEchoInput(true);
P<x,y> := PolynomialRing(RationalField(),2);
I := ideal<P | x*y+x+2>;
fs,h,hinv := NoetherNormalisation(I);
fs;
J := ideal<P | [h(b) : b in Basis(I)]>; J;
// clearly x is integral over the last variable y in P/J
SetEchoInput(ei);
