"Source: Text/Ring/FldAb.text";
"Line: 499";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/FldAb.text, line: 499
// Example: H41E3 ()
print "Example: H41E3";
ei := GetEchoInput();
SetEchoInput(true);
k := NumberField(Polynomial([-10, 0,1]));
m := MaximalOrder(k);
lp := Factorization(2*3*11*m);
S := [ i[1] : i in lp];
KpS, mKpS := pSelmerGroup(3, Set(S));
KpS;
mKpS;
mKpS(m!11);
mKpS(m!11*2);
mKpS(m!11*2*17^3);
KpS, mKpS, mB, B := pSelmerGroup(3, Set(S):Raw);
B;
#Eltseq(B);
mB;
r := KpS.1 + KpS.2 + 2*KpS.4 + KpS.5;
r @@ mKpS;
r @ mB;
PowerProduct(B, $1);
SetEchoInput(ei);
