"Source: Text/Commut/PMod.text";
"Line: 2541";
"Date: Tue Sep  8 13:04:45 2020";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Commut/PMod.text, line: 2541
// Example: H116E11 ()
print "Example: H116E11";
ei := GetEchoInput();
SetEchoInput(true);
R<x,y,z> := PolynomialRing(RationalField(), 3, "grevlex");
R3 := RModule(R, 3); 
B := [R3 | [x*y, x^2, z], [x*z^3, x^3, y], [y*z, z, x],
      [z, y*z, x], [y, z, x]];                              
M := quo<R3 | B>;
M;
BettiNumbers(M);
BettiNumbers(Localization(M));
M2 := quo<R3 | B>;
BettiNumbers(M2: Homogenize :=false);
BettiNumbers(Localization(M2): Homogenize:=false);
SetEchoInput(ei);
