"Source: Text/Basics/RngMPol.text";
"Line: 1751";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/RngMPol.text, line: 1751
// Example: H25E8 ()
print "Example: H25E8";
ei := GetEchoInput();
SetEchoInput(true);
P<x, y, z> := PolynomialRing(IntegerRing(), 3);
f := &*[x^i+y^j+z^k: i,j,k in [1..2]];
#Terms(f);
assert $1 eq 461;
TotalDegree(f);
assert $1 eq 15;
time Factorization(f);
SetEchoInput(ei);
