"Source: Text/Commut/PMod.text";
"Line: 1288";
"Date: Tue Sep  8 13:04:45 2020";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Commut/PMod.text, line: 1288
// Example: H116E2 ()
print "Example: H116E2";
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);
