"Source: Text/Ring/Newton.text";
"Line: 389";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/Newton.text, line: 389
// Example: H56E2 ()
print "Example: H56E2";
ei := GetEchoInput();
SetEchoInput(true);
P<y> := PuiseuxSeriesRing(Rationals());
R<x> := PolynomialRing(P);
f := 3*x^4 + (5*y^3 + 4*y^(1/4))*x^3 + (7*y^2 + 1/2*y^(1/3))*x^2 + 6*x + y^(
4/5);
N := NewtonPolygon(f);
P<x> := PolynomialRing(Integers());
L := ext<ext<pAdicRing(5, 100) | 3> | x^2 + 5>;
R<x> := PolynomialRing(L);
f := 3*x^4 + 75*x^3 + 78*x^2 + 10*x + 750;
NR := NewtonPolygon(f);
Faces(N);
InnerFaces(N);
OuterFaces(N);
AllFaces(N);
Faces(NR);
InnerFaces(NR);
LowerFaces(NR);
SetEchoInput(ei);
