Properties

Label 40.0.771...000.1
Degree $40$
Signature $[0, 20]$
Discriminant $7.720\times 10^{68}$
Root discriminant \(52.75\)
Ramified primes $2,3,5,11$
Class number $341$ (GRH)
Class group [341] (GRH)
Galois group $C_2^2\times C_{10}$ (as 40T7)

Related objects

Downloads

Learn more

Show commands: Magma / Oscar / PariGP / SageMath

Normalized defining polynomial

sage: x = polygen(QQ); K.<a> = NumberField(x^40 - 27*x^38 + 452*x^36 - 4707*x^34 + 35613*x^32 - 189939*x^30 + 758623*x^28 - 2202717*x^26 + 4873258*x^24 - 8161689*x^22 + 10602647*x^20 - 10506063*x^18 + 8018080*x^16 - 4542648*x^14 + 1926084*x^12 - 569703*x^10 + 122757*x^8 - 16992*x^6 + 1555*x^4 - 45*x^2 + 1)
 
gp: K = bnfinit(y^40 - 27*y^38 + 452*y^36 - 4707*y^34 + 35613*y^32 - 189939*y^30 + 758623*y^28 - 2202717*y^26 + 4873258*y^24 - 8161689*y^22 + 10602647*y^20 - 10506063*y^18 + 8018080*y^16 - 4542648*y^14 + 1926084*y^12 - 569703*y^10 + 122757*y^8 - 16992*y^6 + 1555*y^4 - 45*y^2 + 1, 1)
 
magma: R<x> := PolynomialRing(Rationals()); K<a> := NumberField(x^40 - 27*x^38 + 452*x^36 - 4707*x^34 + 35613*x^32 - 189939*x^30 + 758623*x^28 - 2202717*x^26 + 4873258*x^24 - 8161689*x^22 + 10602647*x^20 - 10506063*x^18 + 8018080*x^16 - 4542648*x^14 + 1926084*x^12 - 569703*x^10 + 122757*x^8 - 16992*x^6 + 1555*x^4 - 45*x^2 + 1);
 
oscar: Qx, x = PolynomialRing(QQ); K, a = NumberField(x^40 - 27*x^38 + 452*x^36 - 4707*x^34 + 35613*x^32 - 189939*x^30 + 758623*x^28 - 2202717*x^26 + 4873258*x^24 - 8161689*x^22 + 10602647*x^20 - 10506063*x^18 + 8018080*x^16 - 4542648*x^14 + 1926084*x^12 - 569703*x^10 + 122757*x^8 - 16992*x^6 + 1555*x^4 - 45*x^2 + 1)
 

\( x^{40} - 27 x^{38} + 452 x^{36} - 4707 x^{34} + 35613 x^{32} - 189939 x^{30} + 758623 x^{28} - 2202717 x^{26} + \cdots + 1 \) Copy content Toggle raw display

sage: K.defining_polynomial()
 
gp: K.pol
 
magma: DefiningPolynomial(K);
 
oscar: defining_polynomial(K)
 

Invariants

Degree:  $40$
sage: K.degree()
 
gp: poldegree(K.pol)
 
magma: Degree(K);
 
oscar: degree(K)
 
Signature:  $[0, 20]$
sage: K.signature()
 
gp: K.sign
 
magma: Signature(K);
 
oscar: signature(K)
 
Discriminant:   \(771953130491261281023374345353486886213236398489600000000000000000000\) \(\medspace = 2^{40}\cdot 3^{20}\cdot 5^{20}\cdot 11^{32}\) Copy content Toggle raw display
sage: K.disc()
 
gp: K.disc
 
magma: OK := Integers(K); Discriminant(OK);
 
oscar: OK = ring_of_integers(K); discriminant(OK)
 
Root discriminant:  \(52.75\)
sage: (K.disc().abs())^(1./K.degree())
 
gp: abs(K.disc)^(1/poldegree(K.pol))
 
magma: Abs(Discriminant(OK))^(1/Degree(K));
 
oscar: (1.0 * dK)^(1/degree(K))
 
Galois root discriminant:  $2\cdot 3^{1/2}5^{1/2}11^{4/5}\approx 52.74602949834854$
Ramified primes:   \(2\), \(3\), \(5\), \(11\) Copy content Toggle raw display
sage: K.disc().support()
 
gp: factor(abs(K.disc))[,1]~
 
magma: PrimeDivisors(Discriminant(OK));
 
oscar: prime_divisors(discriminant((OK)))
 
Discriminant root field:  \(\Q\)
$\card{ \Gal(K/\Q) }$:  $40$
sage: K.automorphisms()
 
magma: Automorphisms(K);
 
oscar: automorphisms(K)
 
This field is Galois and abelian over $\Q$.
Conductor:  \(660=2^{2}\cdot 3\cdot 5\cdot 11\)
Dirichlet character group:    $\lbrace$$\chi_{660}(1,·)$, $\chi_{660}(389,·)$, $\chi_{660}(641,·)$, $\chi_{660}(521,·)$, $\chi_{660}(631,·)$, $\chi_{660}(269,·)$, $\chi_{660}(529,·)$, $\chi_{660}(31,·)$, $\chi_{660}(289,·)$, $\chi_{660}(419,·)$, $\chi_{660}(421,·)$, $\chi_{660}(551,·)$, $\chi_{660}(169,·)$, $\chi_{660}(71,·)$, $\chi_{660}(301,·)$, $\chi_{660}(559,·)$, $\chi_{660}(49,·)$, $\chi_{660}(179,·)$, $\chi_{660}(181,·)$, $\chi_{660}(311,·)$, $\chi_{660}(59,·)$, $\chi_{660}(191,·)$, $\chi_{660}(449,·)$, $\chi_{660}(581,·)$, $\chi_{660}(199,·)$, $\chi_{660}(331,·)$, $\chi_{660}(599,·)$, $\chi_{660}(89,·)$, $\chi_{660}(91,·)$, $\chi_{660}(221,·)$, $\chi_{660}(379,·)$, $\chi_{660}(229,·)$, $\chi_{660}(401,·)$, $\chi_{660}(361,·)$, $\chi_{660}(619,·)$, $\chi_{660}(499,·)$, $\chi_{660}(119,·)$, $\chi_{660}(251,·)$, $\chi_{660}(509,·)$, $\chi_{660}(511,·)$$\rbrace$
This is a CM field.
Reflex fields:  unavailable$^{524288}$

Integral basis (with respect to field generator \(a\))

$1$, $a$, $a^{2}$, $a^{3}$, $a^{4}$, $a^{5}$, $a^{6}$, $a^{7}$, $a^{8}$, $a^{9}$, $a^{10}$, $a^{11}$, $a^{12}$, $a^{13}$, $a^{14}$, $a^{15}$, $a^{16}$, $a^{17}$, $a^{18}$, $a^{19}$, $a^{20}$, $a^{21}$, $a^{22}$, $a^{23}$, $a^{24}$, $a^{25}$, $a^{26}$, $a^{27}$, $a^{28}$, $a^{29}$, $\frac{1}{8}a^{30}-\frac{1}{4}a^{24}-\frac{3}{8}a^{18}-\frac{1}{2}a^{12}-\frac{1}{2}a^{6}-\frac{3}{8}$, $\frac{1}{8}a^{31}-\frac{1}{4}a^{25}-\frac{3}{8}a^{19}-\frac{1}{2}a^{13}-\frac{1}{2}a^{7}-\frac{3}{8}a$, $\frac{1}{2648}a^{32}-\frac{3}{2648}a^{30}-\frac{36}{331}a^{28}-\frac{425}{1324}a^{26}-\frac{521}{1324}a^{24}-\frac{110}{331}a^{22}-\frac{499}{2648}a^{20}+\frac{1153}{2648}a^{18}-\frac{71}{331}a^{16}-\frac{151}{662}a^{14}-\frac{21}{662}a^{12}-\frac{61}{331}a^{10}-\frac{305}{662}a^{8}-\frac{289}{662}a^{6}+\frac{61}{331}a^{4}-\frac{467}{2648}a^{2}+\frac{161}{2648}$, $\frac{1}{2648}a^{33}-\frac{3}{2648}a^{31}-\frac{36}{331}a^{29}-\frac{425}{1324}a^{27}-\frac{521}{1324}a^{25}-\frac{110}{331}a^{23}-\frac{499}{2648}a^{21}+\frac{1153}{2648}a^{19}-\frac{71}{331}a^{17}-\frac{151}{662}a^{15}-\frac{21}{662}a^{13}-\frac{61}{331}a^{11}-\frac{305}{662}a^{9}-\frac{289}{662}a^{7}+\frac{61}{331}a^{5}-\frac{467}{2648}a^{3}+\frac{161}{2648}a$, $\frac{1}{2648}a^{34}+\frac{17}{1324}a^{30}+\frac{467}{1324}a^{28}-\frac{118}{331}a^{26}+\frac{157}{662}a^{24}-\frac{491}{2648}a^{22}-\frac{43}{331}a^{20}-\frac{375}{1324}a^{18}+\frac{85}{662}a^{16}+\frac{94}{331}a^{14}+\frac{73}{331}a^{12}-\frac{9}{662}a^{10}+\frac{60}{331}a^{8}+\frac{124}{331}a^{6}+\frac{997}{2648}a^{4}-\frac{155}{331}a^{2}-\frac{255}{1324}$, $\frac{1}{2648}a^{35}+\frac{17}{1324}a^{31}+\frac{467}{1324}a^{29}-\frac{118}{331}a^{27}+\frac{157}{662}a^{25}-\frac{491}{2648}a^{23}-\frac{43}{331}a^{21}-\frac{375}{1324}a^{19}+\frac{85}{662}a^{17}+\frac{94}{331}a^{15}+\frac{73}{331}a^{13}-\frac{9}{662}a^{11}+\frac{60}{331}a^{9}+\frac{124}{331}a^{7}+\frac{997}{2648}a^{5}-\frac{155}{331}a^{3}-\frac{255}{1324}a$, $\frac{1}{17\!\cdots\!48}a^{36}+\frac{125745432187}{17\!\cdots\!48}a^{34}+\frac{53611515429}{439417526473862}a^{32}-\frac{48695506214033}{17\!\cdots\!48}a^{30}-\frac{181109982530143}{878835052947724}a^{28}+\frac{13685539502581}{219708763236931}a^{26}+\frac{167333300054771}{17\!\cdots\!48}a^{24}-\frac{831415846775529}{17\!\cdots\!48}a^{22}+\frac{161388495202393}{439417526473862}a^{20}+\frac{262987820129721}{17\!\cdots\!48}a^{18}-\frac{213541105864217}{439417526473862}a^{16}+\frac{70833740732344}{219708763236931}a^{14}-\frac{81468512342141}{219708763236931}a^{12}-\frac{18802528569891}{439417526473862}a^{10}-\frac{35013202274552}{219708763236931}a^{8}-\frac{487696764048079}{17\!\cdots\!48}a^{6}-\frac{399124144934985}{17\!\cdots\!48}a^{4}-\frac{70135783645755}{439417526473862}a^{2}+\frac{362063534391965}{17\!\cdots\!48}$, $\frac{1}{17\!\cdots\!48}a^{37}+\frac{125745432187}{17\!\cdots\!48}a^{35}+\frac{53611515429}{439417526473862}a^{33}-\frac{48695506214033}{17\!\cdots\!48}a^{31}-\frac{181109982530143}{878835052947724}a^{29}+\frac{13685539502581}{219708763236931}a^{27}+\frac{167333300054771}{17\!\cdots\!48}a^{25}-\frac{831415846775529}{17\!\cdots\!48}a^{23}+\frac{161388495202393}{439417526473862}a^{21}+\frac{262987820129721}{17\!\cdots\!48}a^{19}-\frac{213541105864217}{439417526473862}a^{17}+\frac{70833740732344}{219708763236931}a^{15}-\frac{81468512342141}{219708763236931}a^{13}-\frac{18802528569891}{439417526473862}a^{11}-\frac{35013202274552}{219708763236931}a^{9}-\frac{487696764048079}{17\!\cdots\!48}a^{7}-\frac{399124144934985}{17\!\cdots\!48}a^{5}-\frac{70135783645755}{439417526473862}a^{3}+\frac{362063534391965}{17\!\cdots\!48}a$, $\frac{1}{19\!\cdots\!28}a^{38}-\frac{12\!\cdots\!91}{19\!\cdots\!28}a^{36}-\frac{26\!\cdots\!93}{19\!\cdots\!28}a^{34}-\frac{15\!\cdots\!11}{19\!\cdots\!28}a^{32}+\frac{19\!\cdots\!63}{47\!\cdots\!82}a^{30}+\frac{20\!\cdots\!13}{95\!\cdots\!64}a^{28}+\frac{79\!\cdots\!31}{19\!\cdots\!28}a^{26}-\frac{39\!\cdots\!71}{19\!\cdots\!28}a^{24}-\frac{39\!\cdots\!45}{19\!\cdots\!28}a^{22}-\frac{59\!\cdots\!13}{79\!\cdots\!08}a^{20}+\frac{32\!\cdots\!13}{95\!\cdots\!64}a^{18}+\frac{76\!\cdots\!69}{47\!\cdots\!82}a^{16}+\frac{25\!\cdots\!49}{23\!\cdots\!41}a^{14}+\frac{18\!\cdots\!69}{47\!\cdots\!82}a^{12}-\frac{14\!\cdots\!55}{47\!\cdots\!82}a^{10}+\frac{20\!\cdots\!81}{19\!\cdots\!28}a^{8}-\frac{66\!\cdots\!35}{13\!\cdots\!92}a^{6}+\frac{68\!\cdots\!23}{19\!\cdots\!28}a^{4}-\frac{11\!\cdots\!13}{19\!\cdots\!28}a^{2}+\frac{30\!\cdots\!19}{95\!\cdots\!64}$, $\frac{1}{19\!\cdots\!28}a^{39}-\frac{12\!\cdots\!91}{19\!\cdots\!28}a^{37}-\frac{26\!\cdots\!93}{19\!\cdots\!28}a^{35}-\frac{15\!\cdots\!11}{19\!\cdots\!28}a^{33}+\frac{19\!\cdots\!63}{47\!\cdots\!82}a^{31}+\frac{20\!\cdots\!13}{95\!\cdots\!64}a^{29}+\frac{79\!\cdots\!31}{19\!\cdots\!28}a^{27}-\frac{39\!\cdots\!71}{19\!\cdots\!28}a^{25}-\frac{39\!\cdots\!45}{19\!\cdots\!28}a^{23}-\frac{59\!\cdots\!13}{79\!\cdots\!08}a^{21}+\frac{32\!\cdots\!13}{95\!\cdots\!64}a^{19}+\frac{76\!\cdots\!69}{47\!\cdots\!82}a^{17}+\frac{25\!\cdots\!49}{23\!\cdots\!41}a^{15}+\frac{18\!\cdots\!69}{47\!\cdots\!82}a^{13}-\frac{14\!\cdots\!55}{47\!\cdots\!82}a^{11}+\frac{20\!\cdots\!81}{19\!\cdots\!28}a^{9}-\frac{66\!\cdots\!35}{13\!\cdots\!92}a^{7}+\frac{68\!\cdots\!23}{19\!\cdots\!28}a^{5}-\frac{11\!\cdots\!13}{19\!\cdots\!28}a^{3}+\frac{30\!\cdots\!19}{95\!\cdots\!64}a$ Copy content Toggle raw display

sage: K.integral_basis()
 
gp: K.zk
 
magma: IntegralBasis(K);
 
oscar: basis(OK)
 

Monogenic:  Not computed
Index:  $1$
Inessential primes:  None

Class group and class number

$C_{341}$, which has order $341$ (assuming GRH)

sage: K.class_group().invariants()
 
gp: K.clgp
 
magma: ClassGroup(K);
 
oscar: class_group(K)
 

Unit group

sage: UK = K.unit_group()
 
magma: UK, fUK := UnitGroup(K);
 
oscar: UK, fUK = unit_group(OK)
 
Rank:  $19$
sage: UK.rank()
 
gp: K.fu
 
magma: UnitRank(K);
 
oscar: rank(UK)
 
Torsion generator:   \( -\frac{27316684355959916833092637517528873027}{190464294096175871036769228047358678728} a^{39} + \frac{184786157913599474017454827572781642377}{47616073524043967759192307011839669682} a^{37} - \frac{184925026152781696588747275062874615211}{2842750658151878672190585493244159384} a^{35} + \frac{64647315661418559540151101414199990632063}{95232147048087935518384614023679339364} a^{33} - \frac{980239929196757703403305316205883316441685}{190464294096175871036769228047358678728} a^{31} + \frac{2622156757649396795370564131466026052406637}{95232147048087935518384614023679339364} a^{29} - \frac{21018603182167478807582811611463321395513007}{190464294096175871036769228047358678728} a^{27} + \frac{30670925038352686297381961920571351569550571}{95232147048087935518384614023679339364} a^{25} - \frac{136480382534396773319898606663283980600718213}{190464294096175871036769228047358678728} a^{23} + \frac{238881564242539777515945593236944320144517}{197577068564497791531918286356181202} a^{21} - \frac{301686455636751478653712570025779821008056249}{190464294096175871036769228047358678728} a^{19} + \frac{75581490226939698786760573599790549057375565}{47616073524043967759192307011839669682} a^{17} - \frac{58446617004531023945757994856826333473082225}{47616073524043967759192307011839669682} a^{15} + \frac{33740394388690060158903629494688515166346657}{47616073524043967759192307011839669682} a^{13} - \frac{14612998976656374992952461211789402745508809}{47616073524043967759192307011839669682} a^{11} + \frac{17877224119426929500843934407316000783482505}{190464294096175871036769228047358678728} a^{9} - \frac{494799451533960849617512891601807511701572}{23808036762021983879596153505919834841} a^{7} + \frac{576125839469863601959393448442508266697507}{190464294096175871036769228047358678728} a^{5} - \frac{6542627175778891895214920494175257391033}{23808036762021983879596153505919834841} a^{3} + \frac{1518659142800836072755025387903128043839}{190464294096175871036769228047358678728} a \)  (order $12$) Copy content Toggle raw display
sage: UK.torsion_generator()
 
gp: K.tu[2]
 
magma: K!f(TU.1) where TU,f is TorsionUnitGroup(K);
 
oscar: torsion_units_generator(OK)
 
Fundamental units:   $\frac{86\!\cdots\!77}{23\!\cdots\!41}a^{38}-\frac{23\!\cdots\!94}{23\!\cdots\!41}a^{36}+\frac{76\!\cdots\!43}{47\!\cdots\!82}a^{34}-\frac{79\!\cdots\!39}{47\!\cdots\!82}a^{32}+\frac{11\!\cdots\!43}{95\!\cdots\!64}a^{30}-\frac{15\!\cdots\!76}{23\!\cdots\!41}a^{28}+\frac{60\!\cdots\!18}{23\!\cdots\!41}a^{26}-\frac{10\!\cdots\!45}{14\!\cdots\!22}a^{24}+\frac{72\!\cdots\!37}{47\!\cdots\!82}a^{22}-\frac{47\!\cdots\!31}{19\!\cdots\!02}a^{20}+\frac{27\!\cdots\!99}{95\!\cdots\!64}a^{18}-\frac{61\!\cdots\!47}{23\!\cdots\!41}a^{16}+\frac{40\!\cdots\!74}{23\!\cdots\!41}a^{14}-\frac{17\!\cdots\!53}{23\!\cdots\!41}a^{12}+\frac{49\!\cdots\!05}{23\!\cdots\!41}a^{10}-\frac{25\!\cdots\!23}{23\!\cdots\!41}a^{8}-\frac{16\!\cdots\!81}{23\!\cdots\!41}a^{6}+\frac{12\!\cdots\!41}{47\!\cdots\!82}a^{4}-\frac{13\!\cdots\!71}{47\!\cdots\!82}a^{2}+\frac{81\!\cdots\!43}{95\!\cdots\!64}$, $\frac{87\!\cdots\!11}{19\!\cdots\!28}a^{38}-\frac{11\!\cdots\!27}{95\!\cdots\!64}a^{36}+\frac{19\!\cdots\!93}{95\!\cdots\!64}a^{34}-\frac{49\!\cdots\!61}{23\!\cdots\!41}a^{32}+\frac{14\!\cdots\!33}{95\!\cdots\!64}a^{30}-\frac{38\!\cdots\!77}{47\!\cdots\!82}a^{28}+\frac{60\!\cdots\!19}{19\!\cdots\!28}a^{26}-\frac{85\!\cdots\!17}{95\!\cdots\!64}a^{24}+\frac{18\!\cdots\!45}{95\!\cdots\!64}a^{22}-\frac{12\!\cdots\!51}{39\!\cdots\!04}a^{20}+\frac{36\!\cdots\!15}{95\!\cdots\!64}a^{18}-\frac{82\!\cdots\!51}{23\!\cdots\!41}a^{16}+\frac{11\!\cdots\!99}{47\!\cdots\!82}a^{14}-\frac{28\!\cdots\!60}{23\!\cdots\!41}a^{12}+\frac{10\!\cdots\!87}{23\!\cdots\!41}a^{10}-\frac{93\!\cdots\!83}{95\!\cdots\!72}a^{8}+\frac{19\!\cdots\!17}{95\!\cdots\!64}a^{6}-\frac{23\!\cdots\!23}{95\!\cdots\!64}a^{4}+\frac{32\!\cdots\!27}{95\!\cdots\!64}a^{2}-\frac{16\!\cdots\!73}{95\!\cdots\!64}$, $\frac{62\!\cdots\!89}{23\!\cdots\!41}a^{38}-\frac{16\!\cdots\!85}{23\!\cdots\!41}a^{36}+\frac{28\!\cdots\!13}{23\!\cdots\!41}a^{34}-\frac{29\!\cdots\!86}{23\!\cdots\!41}a^{32}+\frac{22\!\cdots\!46}{23\!\cdots\!41}a^{30}-\frac{11\!\cdots\!78}{23\!\cdots\!41}a^{28}+\frac{47\!\cdots\!61}{23\!\cdots\!41}a^{26}-\frac{13\!\cdots\!75}{23\!\cdots\!41}a^{24}+\frac{31\!\cdots\!13}{23\!\cdots\!41}a^{22}-\frac{21\!\cdots\!92}{98\!\cdots\!01}a^{20}+\frac{48\!\cdots\!69}{16\!\cdots\!49}a^{18}-\frac{66\!\cdots\!84}{23\!\cdots\!41}a^{16}+\frac{50\!\cdots\!44}{23\!\cdots\!41}a^{14}-\frac{27\!\cdots\!85}{23\!\cdots\!41}a^{12}+\frac{11\!\cdots\!04}{23\!\cdots\!41}a^{10}-\frac{14\!\cdots\!05}{11\!\cdots\!59}a^{8}+\frac{48\!\cdots\!70}{23\!\cdots\!41}a^{6}-\frac{48\!\cdots\!47}{23\!\cdots\!41}a^{4}+\frac{14\!\cdots\!56}{23\!\cdots\!41}a^{2}-\frac{43\!\cdots\!13}{23\!\cdots\!41}$, $\frac{63\!\cdots\!72}{23\!\cdots\!41}a^{38}-\frac{13\!\cdots\!03}{19\!\cdots\!28}a^{36}+\frac{55\!\cdots\!01}{47\!\cdots\!82}a^{34}-\frac{22\!\cdots\!41}{19\!\cdots\!28}a^{32}+\frac{16\!\cdots\!47}{19\!\cdots\!28}a^{30}-\frac{10\!\cdots\!57}{23\!\cdots\!41}a^{28}+\frac{16\!\cdots\!89}{95\!\cdots\!64}a^{26}-\frac{91\!\cdots\!09}{19\!\cdots\!28}a^{24}+\frac{47\!\cdots\!59}{47\!\cdots\!82}a^{22}-\frac{12\!\cdots\!69}{79\!\cdots\!08}a^{20}+\frac{33\!\cdots\!17}{19\!\cdots\!28}a^{18}-\frac{35\!\cdots\!98}{23\!\cdots\!41}a^{16}+\frac{42\!\cdots\!49}{47\!\cdots\!82}a^{14}-\frac{79\!\cdots\!62}{23\!\cdots\!41}a^{12}+\frac{16\!\cdots\!42}{23\!\cdots\!41}a^{10}+\frac{16\!\cdots\!75}{23\!\cdots\!18}a^{8}-\frac{23\!\cdots\!35}{19\!\cdots\!28}a^{6}+\frac{18\!\cdots\!05}{47\!\cdots\!82}a^{4}+\frac{16\!\cdots\!87}{19\!\cdots\!28}a^{2}+\frac{62\!\cdots\!69}{19\!\cdots\!28}$, $\frac{15\!\cdots\!38}{23\!\cdots\!41}a^{38}-\frac{32\!\cdots\!91}{19\!\cdots\!28}a^{36}+\frac{27\!\cdots\!19}{95\!\cdots\!64}a^{34}-\frac{56\!\cdots\!07}{19\!\cdots\!28}a^{32}+\frac{21\!\cdots\!83}{95\!\cdots\!64}a^{30}-\frac{55\!\cdots\!09}{47\!\cdots\!82}a^{28}+\frac{43\!\cdots\!55}{95\!\cdots\!64}a^{26}-\frac{24\!\cdots\!15}{19\!\cdots\!28}a^{24}+\frac{26\!\cdots\!27}{95\!\cdots\!64}a^{22}-\frac{35\!\cdots\!35}{79\!\cdots\!08}a^{20}+\frac{26\!\cdots\!67}{47\!\cdots\!82}a^{18}-\frac{12\!\cdots\!20}{23\!\cdots\!41}a^{16}+\frac{17\!\cdots\!39}{47\!\cdots\!82}a^{14}-\frac{91\!\cdots\!09}{47\!\cdots\!82}a^{12}+\frac{17\!\cdots\!28}{23\!\cdots\!41}a^{10}-\frac{43\!\cdots\!45}{23\!\cdots\!18}a^{8}+\frac{72\!\cdots\!21}{19\!\cdots\!28}a^{6}-\frac{45\!\cdots\!37}{95\!\cdots\!64}a^{4}+\frac{10\!\cdots\!77}{19\!\cdots\!28}a^{2}-\frac{81\!\cdots\!89}{23\!\cdots\!41}$, $\frac{27\!\cdots\!27}{19\!\cdots\!28}a^{39}-\frac{18\!\cdots\!77}{47\!\cdots\!82}a^{37}+\frac{18\!\cdots\!11}{28\!\cdots\!84}a^{35}-\frac{64\!\cdots\!63}{95\!\cdots\!64}a^{33}+\frac{98\!\cdots\!85}{19\!\cdots\!28}a^{31}-\frac{26\!\cdots\!37}{95\!\cdots\!64}a^{29}+\frac{21\!\cdots\!07}{19\!\cdots\!28}a^{27}-\frac{30\!\cdots\!71}{95\!\cdots\!64}a^{25}+\frac{13\!\cdots\!13}{19\!\cdots\!28}a^{23}-\frac{23\!\cdots\!17}{19\!\cdots\!02}a^{21}+\frac{30\!\cdots\!49}{19\!\cdots\!28}a^{19}-\frac{75\!\cdots\!65}{47\!\cdots\!82}a^{17}+\frac{58\!\cdots\!25}{47\!\cdots\!82}a^{15}-\frac{33\!\cdots\!57}{47\!\cdots\!82}a^{13}+\frac{14\!\cdots\!09}{47\!\cdots\!82}a^{11}-\frac{17\!\cdots\!05}{19\!\cdots\!28}a^{9}+\frac{49\!\cdots\!72}{23\!\cdots\!41}a^{7}-\frac{57\!\cdots\!07}{19\!\cdots\!28}a^{5}+\frac{65\!\cdots\!33}{23\!\cdots\!41}a^{3}-\frac{15\!\cdots\!39}{19\!\cdots\!28}a+1$, $\frac{10\!\cdots\!15}{19\!\cdots\!28}a^{38}-\frac{25\!\cdots\!01}{19\!\cdots\!28}a^{36}+\frac{41\!\cdots\!49}{19\!\cdots\!28}a^{34}-\frac{20\!\cdots\!17}{95\!\cdots\!64}a^{32}+\frac{29\!\cdots\!63}{19\!\cdots\!28}a^{30}-\frac{70\!\cdots\!29}{95\!\cdots\!64}a^{28}+\frac{49\!\cdots\!55}{19\!\cdots\!28}a^{26}-\frac{11\!\cdots\!03}{19\!\cdots\!28}a^{24}+\frac{18\!\cdots\!17}{19\!\cdots\!28}a^{22}-\frac{73\!\cdots\!99}{98\!\cdots\!01}a^{20}-\frac{60\!\cdots\!19}{19\!\cdots\!28}a^{18}+\frac{97\!\cdots\!99}{47\!\cdots\!82}a^{16}-\frac{15\!\cdots\!57}{47\!\cdots\!82}a^{14}+\frac{74\!\cdots\!12}{23\!\cdots\!41}a^{12}-\frac{94\!\cdots\!47}{47\!\cdots\!82}a^{10}+\frac{16\!\cdots\!71}{19\!\cdots\!28}a^{8}-\frac{47\!\cdots\!25}{19\!\cdots\!28}a^{6}+\frac{86\!\cdots\!17}{19\!\cdots\!28}a^{4}-\frac{20\!\cdots\!91}{47\!\cdots\!82}a^{2}+\frac{24\!\cdots\!49}{19\!\cdots\!28}$, $\frac{12\!\cdots\!46}{23\!\cdots\!41}a^{38}-\frac{67\!\cdots\!43}{47\!\cdots\!82}a^{36}+\frac{22\!\cdots\!39}{95\!\cdots\!64}a^{34}-\frac{23\!\cdots\!23}{95\!\cdots\!64}a^{32}+\frac{35\!\cdots\!05}{19\!\cdots\!28}a^{30}-\frac{47\!\cdots\!31}{47\!\cdots\!82}a^{28}+\frac{18\!\cdots\!79}{47\!\cdots\!82}a^{26}-\frac{10\!\cdots\!87}{95\!\cdots\!64}a^{24}+\frac{24\!\cdots\!03}{95\!\cdots\!64}a^{22}-\frac{16\!\cdots\!11}{39\!\cdots\!04}a^{20}+\frac{73\!\cdots\!41}{13\!\cdots\!92}a^{18}-\frac{12\!\cdots\!93}{23\!\cdots\!41}a^{16}+\frac{94\!\cdots\!27}{23\!\cdots\!41}a^{14}-\frac{10\!\cdots\!09}{47\!\cdots\!82}a^{12}+\frac{20\!\cdots\!27}{23\!\cdots\!41}a^{10}-\frac{27\!\cdots\!75}{11\!\cdots\!59}a^{8}+\frac{93\!\cdots\!05}{23\!\cdots\!41}a^{6}-\frac{35\!\cdots\!01}{95\!\cdots\!64}a^{4}+\frac{10\!\cdots\!77}{95\!\cdots\!64}a^{2}+\frac{43\!\cdots\!57}{19\!\cdots\!28}$, $\frac{13\!\cdots\!54}{23\!\cdots\!41}a^{38}-\frac{14\!\cdots\!73}{95\!\cdots\!64}a^{36}+\frac{47\!\cdots\!01}{19\!\cdots\!28}a^{34}-\frac{49\!\cdots\!61}{19\!\cdots\!28}a^{32}+\frac{37\!\cdots\!05}{19\!\cdots\!28}a^{30}-\frac{98\!\cdots\!49}{95\!\cdots\!64}a^{28}+\frac{39\!\cdots\!29}{95\!\cdots\!64}a^{26}-\frac{56\!\cdots\!25}{47\!\cdots\!82}a^{24}+\frac{49\!\cdots\!01}{19\!\cdots\!28}a^{22}-\frac{33\!\cdots\!53}{79\!\cdots\!08}a^{20}+\frac{10\!\cdots\!53}{19\!\cdots\!28}a^{18}-\frac{25\!\cdots\!51}{47\!\cdots\!82}a^{16}+\frac{18\!\cdots\!07}{47\!\cdots\!82}a^{14}-\frac{10\!\cdots\!19}{47\!\cdots\!82}a^{12}+\frac{40\!\cdots\!03}{47\!\cdots\!82}a^{10}-\frac{53\!\cdots\!67}{23\!\cdots\!18}a^{8}+\frac{41\!\cdots\!85}{95\!\cdots\!64}a^{6}-\frac{10\!\cdots\!03}{19\!\cdots\!28}a^{4}+\frac{88\!\cdots\!91}{19\!\cdots\!28}a^{2}-\frac{25\!\cdots\!43}{19\!\cdots\!28}$, $\frac{21\!\cdots\!25}{23\!\cdots\!41}a^{38}-\frac{45\!\cdots\!27}{19\!\cdots\!28}a^{36}+\frac{95\!\cdots\!05}{23\!\cdots\!41}a^{34}-\frac{79\!\cdots\!29}{19\!\cdots\!28}a^{32}+\frac{59\!\cdots\!77}{19\!\cdots\!28}a^{30}-\frac{39\!\cdots\!44}{23\!\cdots\!41}a^{28}+\frac{63\!\cdots\!17}{95\!\cdots\!64}a^{26}-\frac{36\!\cdots\!77}{19\!\cdots\!28}a^{24}+\frac{10\!\cdots\!10}{23\!\cdots\!41}a^{22}-\frac{55\!\cdots\!97}{79\!\cdots\!08}a^{20}+\frac{17\!\cdots\!95}{19\!\cdots\!28}a^{18}-\frac{21\!\cdots\!82}{23\!\cdots\!41}a^{16}+\frac{31\!\cdots\!29}{47\!\cdots\!82}a^{14}-\frac{87\!\cdots\!03}{23\!\cdots\!41}a^{12}+\frac{36\!\cdots\!42}{23\!\cdots\!41}a^{10}-\frac{20\!\cdots\!79}{47\!\cdots\!82}a^{8}+\frac{87\!\cdots\!19}{95\!\cdots\!72}a^{6}-\frac{27\!\cdots\!63}{23\!\cdots\!41}a^{4}+\frac{18\!\cdots\!19}{19\!\cdots\!28}a^{2}-\frac{16\!\cdots\!57}{19\!\cdots\!28}$, $\frac{37\!\cdots\!45}{95\!\cdots\!64}a^{39}+\frac{44\!\cdots\!15}{95\!\cdots\!64}a^{38}-\frac{10\!\cdots\!47}{95\!\cdots\!64}a^{37}-\frac{11\!\cdots\!89}{95\!\cdots\!64}a^{36}+\frac{24\!\cdots\!45}{14\!\cdots\!92}a^{35}+\frac{39\!\cdots\!99}{19\!\cdots\!28}a^{34}-\frac{34\!\cdots\!85}{19\!\cdots\!28}a^{33}-\frac{51\!\cdots\!40}{23\!\cdots\!41}a^{32}+\frac{26\!\cdots\!49}{19\!\cdots\!28}a^{31}+\frac{17\!\cdots\!19}{10\!\cdots\!76}a^{30}-\frac{34\!\cdots\!25}{47\!\cdots\!82}a^{29}-\frac{80\!\cdots\!39}{95\!\cdots\!64}a^{28}+\frac{13\!\cdots\!75}{47\!\cdots\!82}a^{27}+\frac{31\!\cdots\!59}{95\!\cdots\!64}a^{26}-\frac{20\!\cdots\!27}{23\!\cdots\!41}a^{25}-\frac{88\!\cdots\!67}{95\!\cdots\!64}a^{24}+\frac{17\!\cdots\!75}{95\!\cdots\!64}a^{23}+\frac{38\!\cdots\!27}{19\!\cdots\!28}a^{22}-\frac{24\!\cdots\!65}{79\!\cdots\!08}a^{21}-\frac{63\!\cdots\!91}{19\!\cdots\!02}a^{20}+\frac{53\!\cdots\!01}{13\!\cdots\!92}a^{19}+\frac{38\!\cdots\!17}{95\!\cdots\!64}a^{18}-\frac{90\!\cdots\!85}{23\!\cdots\!41}a^{17}-\frac{17\!\cdots\!09}{47\!\cdots\!82}a^{16}+\frac{13\!\cdots\!65}{47\!\cdots\!82}a^{15}+\frac{63\!\cdots\!65}{23\!\cdots\!41}a^{14}-\frac{73\!\cdots\!91}{47\!\cdots\!82}a^{13}-\frac{33\!\cdots\!38}{23\!\cdots\!41}a^{12}+\frac{14\!\cdots\!10}{23\!\cdots\!41}a^{11}+\frac{26\!\cdots\!85}{47\!\cdots\!82}a^{10}-\frac{15\!\cdots\!85}{95\!\cdots\!64}a^{9}-\frac{72\!\cdots\!03}{47\!\cdots\!36}a^{8}+\frac{27\!\cdots\!07}{95\!\cdots\!64}a^{7}+\frac{35\!\cdots\!79}{95\!\cdots\!64}a^{6}-\frac{25\!\cdots\!65}{95\!\cdots\!64}a^{5}-\frac{10\!\cdots\!41}{19\!\cdots\!28}a^{4}+\frac{14\!\cdots\!75}{19\!\cdots\!28}a^{3}+\frac{33\!\cdots\!19}{47\!\cdots\!82}a^{2}+\frac{27\!\cdots\!05}{19\!\cdots\!28}a+\frac{12\!\cdots\!45}{95\!\cdots\!64}$, $\frac{98\!\cdots\!55}{47\!\cdots\!82}a^{39}+\frac{67\!\cdots\!42}{23\!\cdots\!41}a^{38}-\frac{53\!\cdots\!17}{95\!\cdots\!64}a^{37}-\frac{14\!\cdots\!47}{19\!\cdots\!28}a^{36}+\frac{67\!\cdots\!69}{71\!\cdots\!46}a^{35}+\frac{11\!\cdots\!57}{95\!\cdots\!64}a^{34}-\frac{19\!\cdots\!67}{19\!\cdots\!28}a^{33}-\frac{24\!\cdots\!03}{19\!\cdots\!28}a^{32}+\frac{14\!\cdots\!09}{19\!\cdots\!28}a^{31}+\frac{22\!\cdots\!65}{23\!\cdots\!41}a^{30}-\frac{97\!\cdots\!98}{23\!\cdots\!41}a^{29}-\frac{24\!\cdots\!23}{47\!\cdots\!82}a^{28}+\frac{15\!\cdots\!29}{95\!\cdots\!64}a^{27}+\frac{18\!\cdots\!35}{95\!\cdots\!64}a^{26}-\frac{23\!\cdots\!09}{47\!\cdots\!82}a^{25}-\frac{10\!\cdots\!95}{19\!\cdots\!28}a^{24}+\frac{53\!\cdots\!99}{47\!\cdots\!82}a^{23}+\frac{11\!\cdots\!61}{95\!\cdots\!64}a^{22}-\frac{15\!\cdots\!87}{79\!\cdots\!08}a^{21}-\frac{14\!\cdots\!47}{79\!\cdots\!08}a^{20}+\frac{49\!\cdots\!57}{19\!\cdots\!28}a^{19}+\frac{21\!\cdots\!87}{95\!\cdots\!64}a^{18}-\frac{63\!\cdots\!40}{23\!\cdots\!41}a^{17}-\frac{46\!\cdots\!52}{23\!\cdots\!41}a^{16}+\frac{10\!\cdots\!21}{47\!\cdots\!82}a^{15}+\frac{59\!\cdots\!51}{47\!\cdots\!82}a^{14}-\frac{60\!\cdots\!31}{47\!\cdots\!82}a^{13}-\frac{24\!\cdots\!25}{47\!\cdots\!82}a^{12}+\frac{13\!\cdots\!07}{23\!\cdots\!41}a^{11}+\frac{28\!\cdots\!48}{23\!\cdots\!41}a^{10}-\frac{43\!\cdots\!21}{23\!\cdots\!41}a^{9}+\frac{19\!\cdots\!47}{23\!\cdots\!18}a^{8}+\frac{38\!\cdots\!17}{95\!\cdots\!64}a^{7}-\frac{19\!\cdots\!75}{19\!\cdots\!28}a^{6}-\frac{27\!\cdots\!79}{47\!\cdots\!82}a^{5}+\frac{22\!\cdots\!17}{95\!\cdots\!64}a^{4}+\frac{91\!\cdots\!85}{19\!\cdots\!28}a^{3}-\frac{56\!\cdots\!07}{19\!\cdots\!28}a^{2}-\frac{17\!\cdots\!63}{19\!\cdots\!28}a+\frac{84\!\cdots\!69}{95\!\cdots\!64}$, $\frac{21\!\cdots\!87}{47\!\cdots\!82}a^{39}-\frac{43\!\cdots\!77}{47\!\cdots\!82}a^{38}-\frac{23\!\cdots\!65}{19\!\cdots\!28}a^{37}+\frac{23\!\cdots\!79}{95\!\cdots\!64}a^{36}+\frac{59\!\cdots\!83}{28\!\cdots\!84}a^{35}-\frac{39\!\cdots\!77}{95\!\cdots\!64}a^{34}-\frac{20\!\cdots\!33}{95\!\cdots\!64}a^{33}+\frac{81\!\cdots\!37}{19\!\cdots\!28}a^{32}+\frac{31\!\cdots\!89}{19\!\cdots\!28}a^{31}-\frac{30\!\cdots\!89}{95\!\cdots\!64}a^{30}-\frac{84\!\cdots\!29}{95\!\cdots\!64}a^{29}+\frac{81\!\cdots\!13}{47\!\cdots\!82}a^{28}+\frac{84\!\cdots\!95}{23\!\cdots\!41}a^{27}-\frac{65\!\cdots\!03}{95\!\cdots\!64}a^{26}-\frac{19\!\cdots\!31}{19\!\cdots\!28}a^{25}+\frac{18\!\cdots\!13}{95\!\cdots\!64}a^{24}+\frac{44\!\cdots\!85}{19\!\cdots\!28}a^{23}-\frac{41\!\cdots\!65}{95\!\cdots\!64}a^{22}-\frac{15\!\cdots\!05}{39\!\cdots\!04}a^{21}+\frac{57\!\cdots\!81}{79\!\cdots\!08}a^{20}+\frac{99\!\cdots\!11}{19\!\cdots\!28}a^{19}-\frac{88\!\cdots\!15}{95\!\cdots\!64}a^{18}-\frac{25\!\cdots\!87}{47\!\cdots\!82}a^{17}+\frac{21\!\cdots\!75}{23\!\cdots\!41}a^{16}+\frac{97\!\cdots\!50}{23\!\cdots\!41}a^{15}-\frac{32\!\cdots\!07}{47\!\cdots\!82}a^{14}-\frac{57\!\cdots\!62}{23\!\cdots\!41}a^{13}+\frac{89\!\cdots\!22}{23\!\cdots\!41}a^{12}+\frac{50\!\cdots\!31}{47\!\cdots\!82}a^{11}-\frac{36\!\cdots\!99}{23\!\cdots\!41}a^{10}-\frac{15\!\cdots\!79}{47\!\cdots\!82}a^{9}+\frac{50\!\cdots\!59}{11\!\cdots\!59}a^{8}+\frac{14\!\cdots\!31}{19\!\cdots\!28}a^{7}-\frac{81\!\cdots\!09}{95\!\cdots\!64}a^{6}-\frac{20\!\cdots\!43}{19\!\cdots\!28}a^{5}+\frac{10\!\cdots\!07}{95\!\cdots\!64}a^{4}+\frac{95\!\cdots\!75}{95\!\cdots\!64}a^{3}-\frac{17\!\cdots\!51}{19\!\cdots\!28}a^{2}-\frac{55\!\cdots\!33}{19\!\cdots\!28}a+\frac{43\!\cdots\!41}{95\!\cdots\!64}$, $\frac{10\!\cdots\!41}{71\!\cdots\!11}a^{39}+\frac{34\!\cdots\!93}{23\!\cdots\!41}a^{38}-\frac{90\!\cdots\!04}{23\!\cdots\!41}a^{37}-\frac{93\!\cdots\!71}{23\!\cdots\!41}a^{36}+\frac{45\!\cdots\!09}{71\!\cdots\!46}a^{35}+\frac{15\!\cdots\!75}{23\!\cdots\!41}a^{34}-\frac{31\!\cdots\!11}{47\!\cdots\!82}a^{33}-\frac{16\!\cdots\!30}{23\!\cdots\!41}a^{32}+\frac{23\!\cdots\!75}{47\!\cdots\!82}a^{31}+\frac{12\!\cdots\!56}{23\!\cdots\!41}a^{30}-\frac{61\!\cdots\!31}{23\!\cdots\!41}a^{29}-\frac{66\!\cdots\!06}{23\!\cdots\!41}a^{28}+\frac{24\!\cdots\!10}{23\!\cdots\!41}a^{27}+\frac{26\!\cdots\!93}{23\!\cdots\!41}a^{26}-\frac{67\!\cdots\!57}{23\!\cdots\!41}a^{25}-\frac{77\!\cdots\!01}{23\!\cdots\!41}a^{24}+\frac{28\!\cdots\!51}{47\!\cdots\!82}a^{23}+\frac{17\!\cdots\!55}{23\!\cdots\!41}a^{22}-\frac{19\!\cdots\!59}{19\!\cdots\!02}a^{21}-\frac{12\!\cdots\!44}{98\!\cdots\!01}a^{20}+\frac{56\!\cdots\!07}{47\!\cdots\!82}a^{19}+\frac{27\!\cdots\!85}{16\!\cdots\!49}a^{18}-\frac{25\!\cdots\!64}{23\!\cdots\!41}a^{17}-\frac{37\!\cdots\!48}{23\!\cdots\!41}a^{16}+\frac{16\!\cdots\!45}{23\!\cdots\!41}a^{15}+\frac{28\!\cdots\!88}{23\!\cdots\!41}a^{14}-\frac{71\!\cdots\!62}{23\!\cdots\!41}a^{13}-\frac{15\!\cdots\!72}{23\!\cdots\!41}a^{12}+\frac{17\!\cdots\!06}{23\!\cdots\!41}a^{11}+\frac{63\!\cdots\!52}{23\!\cdots\!41}a^{10}+\frac{85\!\cdots\!29}{23\!\cdots\!41}a^{9}-\frac{83\!\cdots\!81}{11\!\cdots\!59}a^{8}-\frac{16\!\cdots\!26}{23\!\cdots\!41}a^{7}+\frac{27\!\cdots\!08}{23\!\cdots\!41}a^{6}+\frac{10\!\cdots\!51}{47\!\cdots\!82}a^{5}-\frac{27\!\cdots\!57}{23\!\cdots\!41}a^{4}-\frac{14\!\cdots\!89}{47\!\cdots\!82}a^{3}+\frac{80\!\cdots\!04}{23\!\cdots\!41}a^{2}+\frac{79\!\cdots\!71}{47\!\cdots\!82}a+\frac{39\!\cdots\!59}{23\!\cdots\!41}$, $\frac{18\!\cdots\!53}{95\!\cdots\!64}a^{39}+\frac{31\!\cdots\!89}{23\!\cdots\!41}a^{38}-\frac{12\!\cdots\!73}{23\!\cdots\!41}a^{37}-\frac{21\!\cdots\!09}{47\!\cdots\!82}a^{36}+\frac{83\!\cdots\!31}{95\!\cdots\!64}a^{35}+\frac{12\!\cdots\!93}{14\!\cdots\!92}a^{34}-\frac{43\!\cdots\!89}{47\!\cdots\!82}a^{33}-\frac{10\!\cdots\!55}{95\!\cdots\!64}a^{32}+\frac{65\!\cdots\!15}{95\!\cdots\!64}a^{31}+\frac{17\!\cdots\!33}{19\!\cdots\!28}a^{30}-\frac{17\!\cdots\!95}{47\!\cdots\!82}a^{29}-\frac{28\!\cdots\!43}{47\!\cdots\!82}a^{28}+\frac{13\!\cdots\!61}{95\!\cdots\!64}a^{27}+\frac{13\!\cdots\!47}{47\!\cdots\!82}a^{26}-\frac{20\!\cdots\!85}{47\!\cdots\!82}a^{25}-\frac{10\!\cdots\!63}{95\!\cdots\!64}a^{24}+\frac{88\!\cdots\!63}{95\!\cdots\!64}a^{23}+\frac{27\!\cdots\!35}{95\!\cdots\!64}a^{22}-\frac{15\!\cdots\!51}{98\!\cdots\!01}a^{21}-\frac{23\!\cdots\!71}{39\!\cdots\!04}a^{20}+\frac{19\!\cdots\!91}{95\!\cdots\!64}a^{19}+\frac{18\!\cdots\!53}{19\!\cdots\!28}a^{18}-\frac{47\!\cdots\!55}{23\!\cdots\!41}a^{17}-\frac{28\!\cdots\!75}{23\!\cdots\!41}a^{16}+\frac{36\!\cdots\!54}{23\!\cdots\!41}a^{15}+\frac{27\!\cdots\!71}{23\!\cdots\!41}a^{14}-\frac{20\!\cdots\!63}{23\!\cdots\!41}a^{13}-\frac{39\!\cdots\!79}{47\!\cdots\!82}a^{12}+\frac{87\!\cdots\!91}{23\!\cdots\!41}a^{11}+\frac{10\!\cdots\!81}{23\!\cdots\!41}a^{10}-\frac{52\!\cdots\!85}{47\!\cdots\!36}a^{9}-\frac{42\!\cdots\!67}{23\!\cdots\!41}a^{8}+\frac{57\!\cdots\!72}{23\!\cdots\!41}a^{7}+\frac{11\!\cdots\!13}{23\!\cdots\!41}a^{6}-\frac{31\!\cdots\!81}{95\!\cdots\!64}a^{5}-\frac{74\!\cdots\!29}{95\!\cdots\!64}a^{4}+\frac{67\!\cdots\!64}{23\!\cdots\!41}a^{3}+\frac{72\!\cdots\!37}{95\!\cdots\!64}a^{2}+\frac{10\!\cdots\!27}{95\!\cdots\!64}a-\frac{23\!\cdots\!67}{19\!\cdots\!28}$, $\frac{28\!\cdots\!17}{95\!\cdots\!64}a^{39}+\frac{47\!\cdots\!27}{19\!\cdots\!28}a^{38}-\frac{15\!\cdots\!83}{19\!\cdots\!28}a^{37}-\frac{12\!\cdots\!73}{19\!\cdots\!28}a^{36}+\frac{64\!\cdots\!07}{47\!\cdots\!82}a^{35}+\frac{20\!\cdots\!43}{19\!\cdots\!28}a^{34}-\frac{26\!\cdots\!27}{19\!\cdots\!28}a^{33}-\frac{25\!\cdots\!97}{23\!\cdots\!41}a^{32}+\frac{50\!\cdots\!59}{47\!\cdots\!82}a^{31}+\frac{18\!\cdots\!13}{23\!\cdots\!41}a^{30}-\frac{13\!\cdots\!18}{23\!\cdots\!41}a^{29}-\frac{37\!\cdots\!83}{95\!\cdots\!64}a^{28}+\frac{53\!\cdots\!59}{23\!\cdots\!41}a^{27}+\frac{28\!\cdots\!75}{19\!\cdots\!28}a^{26}-\frac{12\!\cdots\!75}{19\!\cdots\!28}a^{25}-\frac{73\!\cdots\!01}{19\!\cdots\!28}a^{24}+\frac{69\!\cdots\!83}{47\!\cdots\!82}a^{23}+\frac{14\!\cdots\!27}{19\!\cdots\!28}a^{22}-\frac{19\!\cdots\!75}{79\!\cdots\!08}a^{21}-\frac{39\!\cdots\!39}{39\!\cdots\!04}a^{20}+\frac{30\!\cdots\!57}{95\!\cdots\!64}a^{19}+\frac{89\!\cdots\!21}{95\!\cdots\!64}a^{18}-\frac{75\!\cdots\!23}{23\!\cdots\!41}a^{17}-\frac{21\!\cdots\!15}{47\!\cdots\!82}a^{16}+\frac{11\!\cdots\!57}{47\!\cdots\!82}a^{15}-\frac{35\!\cdots\!91}{47\!\cdots\!82}a^{14}-\frac{64\!\cdots\!59}{47\!\cdots\!82}a^{13}+\frac{18\!\cdots\!13}{47\!\cdots\!82}a^{12}+\frac{13\!\cdots\!51}{23\!\cdots\!41}a^{11}-\frac{14\!\cdots\!49}{47\!\cdots\!82}a^{10}-\frac{15\!\cdots\!73}{95\!\cdots\!64}a^{9}+\frac{30\!\cdots\!83}{19\!\cdots\!28}a^{8}+\frac{66\!\cdots\!61}{19\!\cdots\!28}a^{7}-\frac{79\!\cdots\!21}{19\!\cdots\!28}a^{6}-\frac{21\!\cdots\!91}{47\!\cdots\!82}a^{5}+\frac{13\!\cdots\!83}{19\!\cdots\!28}a^{4}+\frac{65\!\cdots\!45}{19\!\cdots\!28}a^{3}-\frac{47\!\cdots\!25}{95\!\cdots\!64}a^{2}-\frac{31\!\cdots\!77}{95\!\cdots\!64}a+\frac{95\!\cdots\!47}{95\!\cdots\!64}$, $\frac{20\!\cdots\!99}{95\!\cdots\!64}a^{39}+\frac{77\!\cdots\!47}{19\!\cdots\!28}a^{38}-\frac{14\!\cdots\!13}{23\!\cdots\!41}a^{37}-\frac{54\!\cdots\!69}{47\!\cdots\!82}a^{36}+\frac{23\!\cdots\!56}{23\!\cdots\!41}a^{35}+\frac{18\!\cdots\!51}{95\!\cdots\!64}a^{34}-\frac{14\!\cdots\!13}{14\!\cdots\!92}a^{33}-\frac{39\!\cdots\!57}{19\!\cdots\!28}a^{32}+\frac{21\!\cdots\!93}{26\!\cdots\!69}a^{31}+\frac{30\!\cdots\!17}{19\!\cdots\!28}a^{30}-\frac{10\!\cdots\!47}{23\!\cdots\!41}a^{29}-\frac{42\!\cdots\!77}{47\!\cdots\!82}a^{28}+\frac{41\!\cdots\!89}{23\!\cdots\!12}a^{27}+\frac{71\!\cdots\!69}{19\!\cdots\!28}a^{26}-\frac{12\!\cdots\!43}{23\!\cdots\!41}a^{25}-\frac{11\!\cdots\!99}{95\!\cdots\!64}a^{24}+\frac{27\!\cdots\!23}{23\!\cdots\!41}a^{23}+\frac{26\!\cdots\!91}{95\!\cdots\!64}a^{22}-\frac{76\!\cdots\!45}{39\!\cdots\!04}a^{21}-\frac{39\!\cdots\!03}{79\!\cdots\!08}a^{20}+\frac{61\!\cdots\!87}{23\!\cdots\!41}a^{19}+\frac{13\!\cdots\!49}{19\!\cdots\!28}a^{18}-\frac{62\!\cdots\!95}{23\!\cdots\!41}a^{17}-\frac{18\!\cdots\!34}{23\!\cdots\!41}a^{16}+\frac{48\!\cdots\!80}{23\!\cdots\!41}a^{15}+\frac{15\!\cdots\!25}{23\!\cdots\!41}a^{14}-\frac{27\!\cdots\!28}{23\!\cdots\!41}a^{13}-\frac{19\!\cdots\!95}{47\!\cdots\!82}a^{12}+\frac{11\!\cdots\!08}{23\!\cdots\!41}a^{11}+\frac{44\!\cdots\!06}{23\!\cdots\!41}a^{10}-\frac{13\!\cdots\!21}{95\!\cdots\!64}a^{9}-\frac{11\!\cdots\!89}{19\!\cdots\!28}a^{8}+\frac{65\!\cdots\!03}{23\!\cdots\!41}a^{7}+\frac{30\!\cdots\!11}{23\!\cdots\!41}a^{6}-\frac{78\!\cdots\!46}{23\!\cdots\!41}a^{5}-\frac{16\!\cdots\!21}{95\!\cdots\!64}a^{4}+\frac{18\!\cdots\!79}{95\!\cdots\!64}a^{3}+\frac{21\!\cdots\!49}{19\!\cdots\!28}a^{2}+\frac{11\!\cdots\!51}{23\!\cdots\!41}a-\frac{24\!\cdots\!75}{19\!\cdots\!28}$, $\frac{24\!\cdots\!01}{95\!\cdots\!64}a^{39}-\frac{11\!\cdots\!71}{23\!\cdots\!41}a^{38}-\frac{32\!\cdots\!41}{47\!\cdots\!82}a^{37}+\frac{59\!\cdots\!55}{47\!\cdots\!82}a^{36}+\frac{21\!\cdots\!99}{19\!\cdots\!28}a^{35}-\frac{19\!\cdots\!87}{95\!\cdots\!64}a^{34}-\frac{22\!\cdots\!87}{19\!\cdots\!28}a^{33}+\frac{20\!\cdots\!19}{95\!\cdots\!64}a^{32}+\frac{17\!\cdots\!83}{19\!\cdots\!28}a^{31}-\frac{31\!\cdots\!49}{19\!\cdots\!28}a^{30}-\frac{45\!\cdots\!91}{95\!\cdots\!64}a^{29}+\frac{41\!\cdots\!19}{47\!\cdots\!82}a^{28}+\frac{45\!\cdots\!40}{23\!\cdots\!41}a^{27}-\frac{16\!\cdots\!81}{47\!\cdots\!82}a^{26}-\frac{52\!\cdots\!33}{95\!\cdots\!64}a^{25}+\frac{95\!\cdots\!67}{95\!\cdots\!64}a^{24}+\frac{22\!\cdots\!87}{19\!\cdots\!28}a^{23}-\frac{21\!\cdots\!67}{95\!\cdots\!64}a^{22}-\frac{15\!\cdots\!19}{79\!\cdots\!08}a^{21}+\frac{14\!\cdots\!67}{39\!\cdots\!04}a^{20}+\frac{48\!\cdots\!19}{19\!\cdots\!28}a^{19}-\frac{63\!\cdots\!45}{13\!\cdots\!92}a^{18}-\frac{11\!\cdots\!07}{47\!\cdots\!82}a^{17}+\frac{10\!\cdots\!61}{23\!\cdots\!41}a^{16}+\frac{89\!\cdots\!91}{47\!\cdots\!82}a^{15}-\frac{81\!\cdots\!31}{23\!\cdots\!41}a^{14}-\frac{48\!\cdots\!15}{47\!\cdots\!82}a^{13}+\frac{88\!\cdots\!59}{47\!\cdots\!82}a^{12}+\frac{19\!\cdots\!79}{47\!\cdots\!82}a^{11}-\frac{17\!\cdots\!67}{23\!\cdots\!41}a^{10}-\frac{54\!\cdots\!39}{47\!\cdots\!36}a^{9}+\frac{23\!\cdots\!84}{11\!\cdots\!59}a^{8}+\frac{53\!\cdots\!89}{23\!\cdots\!41}a^{7}-\frac{81\!\cdots\!81}{23\!\cdots\!41}a^{6}-\frac{51\!\cdots\!77}{19\!\cdots\!28}a^{5}+\frac{30\!\cdots\!05}{95\!\cdots\!64}a^{4}+\frac{43\!\cdots\!61}{19\!\cdots\!28}a^{3}-\frac{88\!\cdots\!13}{95\!\cdots\!64}a^{2}-\frac{21\!\cdots\!41}{19\!\cdots\!28}a+\frac{24\!\cdots\!31}{19\!\cdots\!28}$, $\frac{44\!\cdots\!73}{47\!\cdots\!82}a^{39}-\frac{11\!\cdots\!72}{23\!\cdots\!41}a^{38}-\frac{47\!\cdots\!69}{19\!\cdots\!28}a^{37}+\frac{61\!\cdots\!63}{47\!\cdots\!82}a^{36}+\frac{97\!\cdots\!20}{23\!\cdots\!41}a^{35}-\frac{20\!\cdots\!69}{95\!\cdots\!64}a^{34}-\frac{10\!\cdots\!15}{23\!\cdots\!41}a^{33}+\frac{21\!\cdots\!89}{95\!\cdots\!64}a^{32}+\frac{84\!\cdots\!48}{26\!\cdots\!69}a^{31}-\frac{31\!\cdots\!87}{19\!\cdots\!28}a^{30}-\frac{39\!\cdots\!09}{23\!\cdots\!41}a^{29}+\frac{41\!\cdots\!23}{47\!\cdots\!82}a^{28}+\frac{31\!\cdots\!09}{47\!\cdots\!82}a^{27}-\frac{16\!\cdots\!31}{47\!\cdots\!82}a^{26}-\frac{35\!\cdots\!45}{19\!\cdots\!28}a^{25}+\frac{93\!\cdots\!13}{95\!\cdots\!64}a^{24}+\frac{94\!\cdots\!72}{23\!\cdots\!41}a^{23}-\frac{29\!\cdots\!91}{14\!\cdots\!92}a^{22}-\frac{63\!\cdots\!85}{98\!\cdots\!01}a^{21}+\frac{13\!\cdots\!29}{39\!\cdots\!04}a^{20}+\frac{75\!\cdots\!61}{95\!\cdots\!64}a^{19}-\frac{80\!\cdots\!03}{19\!\cdots\!28}a^{18}-\frac{17\!\cdots\!71}{23\!\cdots\!41}a^{17}+\frac{94\!\cdots\!06}{23\!\cdots\!41}a^{16}+\frac{12\!\cdots\!01}{23\!\cdots\!41}a^{15}-\frac{67\!\cdots\!49}{23\!\cdots\!41}a^{14}-\frac{13\!\cdots\!85}{47\!\cdots\!82}a^{13}+\frac{69\!\cdots\!57}{47\!\cdots\!82}a^{12}+\frac{26\!\cdots\!59}{23\!\cdots\!41}a^{11}-\frac{13\!\cdots\!74}{23\!\cdots\!41}a^{10}-\frac{73\!\cdots\!75}{23\!\cdots\!18}a^{9}+\frac{33\!\cdots\!13}{23\!\cdots\!41}a^{8}+\frac{14\!\cdots\!07}{19\!\cdots\!28}a^{7}-\frac{70\!\cdots\!33}{23\!\cdots\!41}a^{6}-\frac{24\!\cdots\!77}{23\!\cdots\!41}a^{5}+\frac{34\!\cdots\!43}{95\!\cdots\!64}a^{4}+\frac{32\!\cdots\!65}{23\!\cdots\!41}a^{3}-\frac{47\!\cdots\!91}{95\!\cdots\!64}a^{2}+\frac{23\!\cdots\!11}{95\!\cdots\!64}a+\frac{50\!\cdots\!73}{19\!\cdots\!28}$ Copy content Toggle raw display (assuming GRH)
sage: UK.fundamental_units()
 
gp: K.fu
 
magma: [K|fUK(g): g in Generators(UK)];
 
oscar: [K(fUK(a)) for a in gens(UK)]
 
Regulator:  \( 17492090815064632 \) (assuming GRH)
sage: K.regulator()
 
gp: K.reg
 
magma: Regulator(K);
 
oscar: regulator(K)
 

Class number formula

\[ \begin{aligned}\lim_{s\to 1} (s-1)\zeta_K(s) =\mathstrut & \frac{2^{r_1}\cdot (2\pi)^{r_2}\cdot R\cdot h}{w\cdot\sqrt{|D|}}\cr \approx\mathstrut &\frac{2^{0}\cdot(2\pi)^{20}\cdot 17492090815064632 \cdot 341}{12\cdot\sqrt{771953130491261281023374345353486886213236398489600000000000000000000}}\cr\approx \mathstrut & 0.164519263702415 \end{aligned}\] (assuming GRH)

# self-contained SageMath code snippet to compute the analytic class number formula
 
x = polygen(QQ); K.<a> = NumberField(x^40 - 27*x^38 + 452*x^36 - 4707*x^34 + 35613*x^32 - 189939*x^30 + 758623*x^28 - 2202717*x^26 + 4873258*x^24 - 8161689*x^22 + 10602647*x^20 - 10506063*x^18 + 8018080*x^16 - 4542648*x^14 + 1926084*x^12 - 569703*x^10 + 122757*x^8 - 16992*x^6 + 1555*x^4 - 45*x^2 + 1)
 
DK = K.disc(); r1,r2 = K.signature(); RK = K.regulator(); RR = RK.parent()
 
hK = K.class_number(); wK = K.unit_group().torsion_generator().order();
 
2^r1 * (2*RR(pi))^r2 * RK * hK / (wK * RR(sqrt(abs(DK))))
 
# self-contained Pari/GP code snippet to compute the analytic class number formula
 
K = bnfinit(x^40 - 27*x^38 + 452*x^36 - 4707*x^34 + 35613*x^32 - 189939*x^30 + 758623*x^28 - 2202717*x^26 + 4873258*x^24 - 8161689*x^22 + 10602647*x^20 - 10506063*x^18 + 8018080*x^16 - 4542648*x^14 + 1926084*x^12 - 569703*x^10 + 122757*x^8 - 16992*x^6 + 1555*x^4 - 45*x^2 + 1, 1);
 
[polcoeff (lfunrootres (lfuncreate (K))[1][1][2], -1), 2^K.r1 * (2*Pi)^K.r2 * K.reg * K.no / (K.tu[1] * sqrt (abs (K.disc)))]
 
/* self-contained Magma code snippet to compute the analytic class number formula */
 
Qx<x> := PolynomialRing(QQ); K<a> := NumberField(x^40 - 27*x^38 + 452*x^36 - 4707*x^34 + 35613*x^32 - 189939*x^30 + 758623*x^28 - 2202717*x^26 + 4873258*x^24 - 8161689*x^22 + 10602647*x^20 - 10506063*x^18 + 8018080*x^16 - 4542648*x^14 + 1926084*x^12 - 569703*x^10 + 122757*x^8 - 16992*x^6 + 1555*x^4 - 45*x^2 + 1);
 
OK := Integers(K); DK := Discriminant(OK);
 
UK, fUK := UnitGroup(OK); clK, fclK := ClassGroup(OK);
 
r1,r2 := Signature(K); RK := Regulator(K); RR := Parent(RK);
 
hK := #clK; wK := #TorsionSubgroup(UK);
 
2^r1 * (2*Pi(RR))^r2 * RK * hK / (wK * Sqrt(RR!Abs(DK)));
 
# self-contained Oscar code snippet to compute the analytic class number formula
 
Qx, x = PolynomialRing(QQ); K, a = NumberField(x^40 - 27*x^38 + 452*x^36 - 4707*x^34 + 35613*x^32 - 189939*x^30 + 758623*x^28 - 2202717*x^26 + 4873258*x^24 - 8161689*x^22 + 10602647*x^20 - 10506063*x^18 + 8018080*x^16 - 4542648*x^14 + 1926084*x^12 - 569703*x^10 + 122757*x^8 - 16992*x^6 + 1555*x^4 - 45*x^2 + 1);
 
OK = ring_of_integers(K); DK = discriminant(OK);
 
UK, fUK = unit_group(OK); clK, fclK = class_group(OK);
 
r1,r2 = signature(K); RK = regulator(K); RR = parent(RK);
 
hK = order(clK); wK = torsion_units_order(K);
 
2^r1 * (2*pi)^r2 * RK * hK / (wK * sqrt(RR(abs(DK))))
 

Galois group

$C_2^2\times C_{10}$ (as 40T7):

sage: K.galois_group(type='pari')
 
gp: polgalois(K.pol)
 
magma: G = GaloisGroup(K);
 
oscar: G, Gtx = galois_group(K); G, transitive_group_identification(G)
 
An abelian group of order 40
The 40 conjugacy class representatives for $C_2^2\times C_{10}$
Character table for $C_2^2\times C_{10}$ is not computed

Intermediate fields

\(\Q(\sqrt{-1}) \), \(\Q(\sqrt{5}) \), \(\Q(\sqrt{-5}) \), \(\Q(\sqrt{-3}) \), \(\Q(\sqrt{3}) \), \(\Q(\sqrt{-15}) \), \(\Q(\sqrt{15}) \), \(\Q(i, \sqrt{5})\), \(\Q(\zeta_{12})\), \(\Q(i, \sqrt{15})\), \(\Q(\sqrt{-3}, \sqrt{5})\), \(\Q(\sqrt{3}, \sqrt{5})\), \(\Q(\sqrt{-3}, \sqrt{-5})\), \(\Q(\sqrt{3}, \sqrt{-5})\), \(\Q(\zeta_{11})^+\), 8.0.12960000.1, 10.0.219503494144.1, 10.10.669871503125.1, 10.0.685948419200000.1, 10.0.52089208083.1, 10.10.53339349076992.1, 10.0.162778775259375.1, 10.10.166685465865600000.1, 20.0.470525233802978928640000000000.1, 20.0.2845086159957207322343768064.1, 20.0.27784044530832102757263360000000000.3, 20.0.26496929674942114598525390625.1, 20.20.27784044530832102757263360000000000.1, 20.0.27784044530832102757263360000000000.2, 20.0.27784044530832102757263360000000000.1

Fields in the database are given up to isomorphism. Isomorphic intermediate fields are shown with their multiplicities.

sage: K.subfields()[1:-1]
 
gp: L = nfsubfields(K); L[2..length(b)]
 
magma: L := Subfields(K); L[2..#L];
 
oscar: subfields(K)[2:end-1]
 

Frobenius cycle types

$p$ $2$ $3$ $5$ $7$ $11$ $13$ $17$ $19$ $23$ $29$ $31$ $37$ $41$ $43$ $47$ $53$ $59$
Cycle type R R R ${\href{/padicField/7.10.0.1}{10} }^{4}$ R ${\href{/padicField/13.10.0.1}{10} }^{4}$ ${\href{/padicField/17.10.0.1}{10} }^{4}$ ${\href{/padicField/19.10.0.1}{10} }^{4}$ ${\href{/padicField/23.2.0.1}{2} }^{20}$ ${\href{/padicField/29.10.0.1}{10} }^{4}$ ${\href{/padicField/31.10.0.1}{10} }^{4}$ ${\href{/padicField/37.10.0.1}{10} }^{4}$ ${\href{/padicField/41.10.0.1}{10} }^{4}$ ${\href{/padicField/43.2.0.1}{2} }^{20}$ ${\href{/padicField/47.10.0.1}{10} }^{4}$ ${\href{/padicField/53.10.0.1}{10} }^{4}$ ${\href{/padicField/59.10.0.1}{10} }^{4}$

In the table, R denotes a ramified prime. Cycle lengths which are repeated in a cycle type are indicated by exponents.

# to obtain a list of $[e_i,f_i]$ for the factorization of the ideal $p\mathcal{O}_K$ for $p=7$ in Sage:
 
p = 7; [(e, pr.norm().valuation(p)) for pr,e in K.factor(p)]
 
\\ to obtain a list of $[e_i,f_i]$ for the factorization of the ideal $p\mathcal{O}_K$ for $p=7$ in Pari:
 
p = 7; pfac = idealprimedec(K, p); vector(length(pfac), j, [pfac[j][3], pfac[j][4]])
 
// to obtain a list of $[e_i,f_i]$ for the factorization of the ideal $p\mathcal{O}_K$ for $p=7 in Magma:
 
p := 7; [<pr[2], Valuation(Norm(pr[1]), p)> : pr in Factorization(p*Integers(K))];
 
# to obtain a list of $[e_i,f_i]$ for the factorization of the ideal $p\mathcal{O}_K$ for $p=7$ in Oscar:
 
p = 7; pfac = factor(ideal(ring_of_integers(K), p)); [(e, valuation(norm(pr),p)) for (pr,e) in pfac]
 

Local algebras for ramified primes

$p$LabelPolynomial $e$ $f$ $c$ Galois group Slope content
\(2\) Copy content Toggle raw display Deg $20$$2$$10$$20$
Deg $20$$2$$10$$20$
\(3\) Copy content Toggle raw display 3.20.10.1$x^{20} + 30 x^{18} + 409 x^{16} + 4 x^{15} + 3244 x^{14} - 60 x^{13} + 16162 x^{12} - 1250 x^{11} + 53008 x^{10} - 7102 x^{9} + 121150 x^{8} - 12140 x^{7} + 219264 x^{6} + 5736 x^{5} + 257465 x^{4} + 35250 x^{3} + 250183 x^{2} + 51502 x + 77812$$2$$10$$10$20T3$[\ ]_{2}^{10}$
3.20.10.1$x^{20} + 30 x^{18} + 409 x^{16} + 4 x^{15} + 3244 x^{14} - 60 x^{13} + 16162 x^{12} - 1250 x^{11} + 53008 x^{10} - 7102 x^{9} + 121150 x^{8} - 12140 x^{7} + 219264 x^{6} + 5736 x^{5} + 257465 x^{4} + 35250 x^{3} + 250183 x^{2} + 51502 x + 77812$$2$$10$$10$20T3$[\ ]_{2}^{10}$
\(5\) Copy content Toggle raw display Deg $20$$2$$10$$10$
Deg $20$$2$$10$$10$
\(11\) Copy content Toggle raw display 11.10.8.5$x^{10} + 35 x^{9} + 500 x^{8} + 3710 x^{7} + 14985 x^{6} + 31389 x^{5} + 30355 x^{4} + 19790 x^{3} + 37110 x^{2} + 111495 x + 148840$$5$$2$$8$$C_{10}$$[\ ]_{5}^{2}$
11.10.8.5$x^{10} + 35 x^{9} + 500 x^{8} + 3710 x^{7} + 14985 x^{6} + 31389 x^{5} + 30355 x^{4} + 19790 x^{3} + 37110 x^{2} + 111495 x + 148840$$5$$2$$8$$C_{10}$$[\ ]_{5}^{2}$
11.10.8.5$x^{10} + 35 x^{9} + 500 x^{8} + 3710 x^{7} + 14985 x^{6} + 31389 x^{5} + 30355 x^{4} + 19790 x^{3} + 37110 x^{2} + 111495 x + 148840$$5$$2$$8$$C_{10}$$[\ ]_{5}^{2}$
11.10.8.5$x^{10} + 35 x^{9} + 500 x^{8} + 3710 x^{7} + 14985 x^{6} + 31389 x^{5} + 30355 x^{4} + 19790 x^{3} + 37110 x^{2} + 111495 x + 148840$$5$$2$$8$$C_{10}$$[\ ]_{5}^{2}$