"Source: Text/Ring/RngLocA.text";
"Line: 85";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLocA.text, line: 85
// Example: H50E2 ()
print "Example: H50E2";
ei := GetEchoInput();
SetEchoInput(true);
Qp := pAdicField(5, 20);
P<x> := PolynomialRing(Qp);
L<a> := LocalField(Qp, x^4 + 4*x^2 + 2);
P<x> := PolynomialRing(L); 
LL<aa> := LocalField(L, x^4 + 4*L.1);
r := (10236563738184*a^3 - 331496727861*a^2 + 10714284669258*a + 
8590525712453*5)*aa^2
-12574685904653*a^3 + 19786544763736*a^2 + 4956446023134*a + 37611818678747; 
S, m := sub< LL | r >;
S;
m(S.1);
SetEchoInput(ei);
