"Source: Text/Commut/RngMPolLoc.text";
"Line: 223";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/RngMPolLoc.text, line: 223
// Example: H117E1 ()
print "Example: H117E1";
ei := GetEchoInput();
SetEchoInput(true);
K := RationalField();
R<x,y,z> := LocalPolynomialRing(K, 3);            
R;
MonomialOrder(R);
MonomialOrderWeightVectors(R);
1 + x + y + z + x^7 + x^8*y^7 + y^5 + z^10;
R<x,y,z> := LocalPolynomialRing(K, 3, "lgrevlex");
R;
MonomialOrder(R);             
MonomialOrderWeightVectors(R);
1 + x + y + z + x^7 + x^8*y^7 + y^5 + z^10;
SetEchoInput(ei);
