"Source: Text/Commut/GB.text";
"Line: 2158";
"Date: Mon Jun 27 11:39:56 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Commut/GB.text, line: 2158
// Example: H112E6 ()
print "Example: H112E6";
ei := GetEchoInput();
SetEchoInput(true);
P<x, y, z> := PolynomialRing(IntegerRing(), 3);
I := ideal<P| x^2 - 1, y^2 - 1, 2*x*y - z>;
GroebnerBasis(I);
NormalForm(x, I);  
NormalForm(2*x, I);
NormalForm(-x, I); 
GroebnerBasis(ChangeRing(I, GF(2)));
GroebnerBasis(ChangeRing(I, GF(3)));
GroebnerBasis(ChangeRing(I, IntegerRing(4)));
SetEchoInput(ei);
