"Source: Text/Ring/RngOrd.text";
"Line: 2097";
"Date: Fri May 26 16:23:18 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngOrd.text, line: 2097
// Example: H39E10 ()
print "Example: H39E10";
ei := GetEchoInput();
SetEchoInput(true);
R<x> := PolynomialRing(Integers());
k := NumberField(x^2-2);
l := NumberField(x^2-2);
l eq k;
assert not $1;
Embed(k, l, l.1);
l!k.1;           
Embed(l, k, k.1);
k!l.1;
l<a> := NumberField(x^3-2);
L<b> := NumberField(x^6+108);
Root(L!2, 3);
Embed(l, L, $1);
L!l.1;
Roots(PolynomialRing(L)!DefiningPolynomial(l));
Embed(l, L, $1[1][1] : Overwrite := true);
L!l.1;
SetEchoInput(ei);
