"Source: Text/Commut/PMod.text";
"Line: 1289";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/PMod.text, line: 1289
// Example: H119E2 ()
print "Example: H119E2";
ei := GetEchoInput();
SetEchoInput(true);
R<x,y> := PolynomialRing(RationalField(), 2, "grevlex");
F := EModule(R, 3);
// get a submodule M1 generated by a single non-zero element of F
M1 := sub<F|[x^2,y^2,x*y]>;
// and a second submodule M2 containing M1
M2 := sub<F|[x,0,y],[0,y,0]>;
incl_hm :=  Homomorphism(M1,M2,IdentityMatrix(R,3) : 
              Presentation := false);
incl_hm;
 PresentationMatrix(incl_hm);
// check homogeneity of incl_hm
IsHomogeneous(incl_hm);
assert $1;
Degree(incl_hm);
assert $1 eq 0;
SetEchoInput(ei);
