"Source: Text/Ring/RngLoc.text";
"Line: 1260";
"Date: Fri Apr 14 10:35:14 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngLoc.text, line: 1260
// Example: H48E7 ()
print "Example: H48E7";
ei := GetEchoInput();
SetEchoInput(true);
K := ext<pAdicField(2,20)|Polynomial([10,0,1])>; K;
RootNumber(K);
K := pAdicField(3,40);
A := AllExtensions(K,3);
_<x> := PolynomialRing(Integers(K)); // printing
[<RootNumber(FieldOfFractions(a)),DefiningPolynomial(a)> : a in A];
K := pAdicField(3,20);
L := ext<K|Polynomial([3,0,1])>; // both ramified
M := ext<L|Polynomial([L.1,0,1])>; // both ramified
RootNumber(M); // relative for M/L
AbsoluteRootNumber(M); // absolute for M/Q3
RootNumber(L); // intermediate field
X := AbsoluteTotallyRamifiedExtension(Integers(M));
RootNumber(FieldOfFractions(X));
SetEchoInput(ei);
