"Source: Text/Ring/RngOrd.text";
"Line: 7745";
"Date: Fri Sep 26 14:51:59 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngOrd.text, line: 7745
// Example: H39E32 ()
print "Example: H39E32";
ei := GetEchoInput();
SetEchoInput(true);
M := MaximalOrder(Polynomial([ 25, 0, -30, 0, 1 ]));
S := [ x[1] : x in Factorisation(30*M)];
U, mU := SUnitGroup(S);
L := Automorphisms(NumberField(M));
s2 := SUnitAction(mU, L[2], S);
s2;
L[2](mU(U.2)) eq mU(s2(U.2));
R, mR, Base := SUnitGroup(S:Raw);
S2 := SUnitAction(mR, L[2], S:Base := Base);
[S2(R.i) : i in [1..Ngens(R)]];
N := map<FieldOfFractions(M) -> M | x:-> L[1](x) * L[2](x)>;
NR := SUnitAction(mR, N, S:Base := Base);
SUnitDiscLog(mR, FieldOfFractions(M)!5, S:Base := Base);
$1 in Image(NR);
assert $1;
$2 @@ NR;
PowerProduct(Base, mR($1));
N($1);
SetEchoInput(ei);
