"Source: Text/Commut/PMod.text";
"Line: 1016";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/PMod.text, line: 1016
// Example: H119E1 ()
print "Example: H119E1";
ei := GetEchoInput();
SetEchoInput(true);
R<x,y,z> := PolynomialRing(RationalField(), 3, "grevlex");
M := EModule(R, 3);
M;
f := M![x, y, z^2];
g := M![z, y^3, x + 1];
f;
g;
f + g;
Terms(f);
Degree(f);
assert $1 eq 2;
[Degree(m): m in Monomials(f)];
LeadingMonomial(f);
M2 := EModule(R, [10, 5, 1]); 
f := M2![x, y, z^2];
f;
Terms(f);
Degree(f);
assert $1 eq 11;
[Degree(m): m in Monomials(f)];
M := RModule(R, 3);
M;
M := GradedModule(R, [10, 5, 1]); 
M;
Grading(M);
f := M![x, y^6, z^10];
f;
IsHomogeneous(f);
assert $1;
SetEchoInput(ei);
