"Source: Text/Basics/RngMPol.text";
"Line: 1832";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/RngMPol.text, line: 1832
// Example: H25E10 ()
print "Example: H25E10";
ei := GetEchoInput();
SetEchoInput(true);
P<a, b, c> := PolynomialRing(RationalField(), 3);
A2 := 1/16 * (4*a^2*b^2 - (a^2 + b^2 - c^2)^2);
A2;
F, u := Factorization(A2);
F;
u;
SetEchoInput(ei);
