Properties

Label 45.45.126...625.1
Degree $45$
Signature $[45, 0]$
Discriminant $1.268\times 10^{130}$
Root discriminant \(778.37\)
Ramified primes $3,5,19$
Class number not computed
Class group not computed
Galois group $C_{45}$ (as 45T1)

Related objects

Downloads

Learn more

Show commands: Magma / Oscar / PariGP / SageMath

Normalized defining polynomial

sage: x = polygen(QQ); K.<a> = NumberField(x^45 - 375*x^43 - 145*x^42 + 62685*x^41 + 49134*x^40 - 6198800*x^39 - 7301640*x^38 + 405212745*x^37 + 633225580*x^36 - 18515552766*x^35 - 35880354285*x^34 + 609401918395*x^33 + 1407069380505*x^32 - 14662989897075*x^31 - 39430737714133*x^30 + 258904609331790*x^29 + 803647539003645*x^28 - 3332732396750215*x^27 - 12011385759895155*x^26 + 30650093495497956*x^25 + 131819211406605930*x^24 - 192196786938802635*x^23 - 1057224481807912770*x^22 + 722222599349933155*x^21 + 6129151913159003580*x^20 - 711672366769923975*x^19 - 25209329328115882410*x^18 - 7970415692531247030*x^17 + 71378553982345787340*x^16 + 47808566459444990013*x^15 - 132272188924099938150*x^14 - 132999693696797582370*x^13 + 145276749446118582630*x^12 + 210689048973120959475*x^11 - 69556523186917537542*x^10 - 189351482828504000840*x^9 - 19988900412305351625*x^8 + 85498017677547162030*x^7 + 36152509600010281240*x^6 - 10977768335382909711*x^5 - 10777109138913999420*x^4 - 2541306685350213655*x^3 - 198465349661296935*x^2 - 3128562863964930*x - 10835225954749)
 
gp: K = bnfinit(y^45 - 375*y^43 - 145*y^42 + 62685*y^41 + 49134*y^40 - 6198800*y^39 - 7301640*y^38 + 405212745*y^37 + 633225580*y^36 - 18515552766*y^35 - 35880354285*y^34 + 609401918395*y^33 + 1407069380505*y^32 - 14662989897075*y^31 - 39430737714133*y^30 + 258904609331790*y^29 + 803647539003645*y^28 - 3332732396750215*y^27 - 12011385759895155*y^26 + 30650093495497956*y^25 + 131819211406605930*y^24 - 192196786938802635*y^23 - 1057224481807912770*y^22 + 722222599349933155*y^21 + 6129151913159003580*y^20 - 711672366769923975*y^19 - 25209329328115882410*y^18 - 7970415692531247030*y^17 + 71378553982345787340*y^16 + 47808566459444990013*y^15 - 132272188924099938150*y^14 - 132999693696797582370*y^13 + 145276749446118582630*y^12 + 210689048973120959475*y^11 - 69556523186917537542*y^10 - 189351482828504000840*y^9 - 19988900412305351625*y^8 + 85498017677547162030*y^7 + 36152509600010281240*y^6 - 10977768335382909711*y^5 - 10777109138913999420*y^4 - 2541306685350213655*y^3 - 198465349661296935*y^2 - 3128562863964930*y - 10835225954749, 1)
 
magma: R<x> := PolynomialRing(Rationals()); K<a> := NumberField(x^45 - 375*x^43 - 145*x^42 + 62685*x^41 + 49134*x^40 - 6198800*x^39 - 7301640*x^38 + 405212745*x^37 + 633225580*x^36 - 18515552766*x^35 - 35880354285*x^34 + 609401918395*x^33 + 1407069380505*x^32 - 14662989897075*x^31 - 39430737714133*x^30 + 258904609331790*x^29 + 803647539003645*x^28 - 3332732396750215*x^27 - 12011385759895155*x^26 + 30650093495497956*x^25 + 131819211406605930*x^24 - 192196786938802635*x^23 - 1057224481807912770*x^22 + 722222599349933155*x^21 + 6129151913159003580*x^20 - 711672366769923975*x^19 - 25209329328115882410*x^18 - 7970415692531247030*x^17 + 71378553982345787340*x^16 + 47808566459444990013*x^15 - 132272188924099938150*x^14 - 132999693696797582370*x^13 + 145276749446118582630*x^12 + 210689048973120959475*x^11 - 69556523186917537542*x^10 - 189351482828504000840*x^9 - 19988900412305351625*x^8 + 85498017677547162030*x^7 + 36152509600010281240*x^6 - 10977768335382909711*x^5 - 10777109138913999420*x^4 - 2541306685350213655*x^3 - 198465349661296935*x^2 - 3128562863964930*x - 10835225954749);
 
oscar: Qx, x = PolynomialRing(QQ); K, a = NumberField(x^45 - 375*x^43 - 145*x^42 + 62685*x^41 + 49134*x^40 - 6198800*x^39 - 7301640*x^38 + 405212745*x^37 + 633225580*x^36 - 18515552766*x^35 - 35880354285*x^34 + 609401918395*x^33 + 1407069380505*x^32 - 14662989897075*x^31 - 39430737714133*x^30 + 258904609331790*x^29 + 803647539003645*x^28 - 3332732396750215*x^27 - 12011385759895155*x^26 + 30650093495497956*x^25 + 131819211406605930*x^24 - 192196786938802635*x^23 - 1057224481807912770*x^22 + 722222599349933155*x^21 + 6129151913159003580*x^20 - 711672366769923975*x^19 - 25209329328115882410*x^18 - 7970415692531247030*x^17 + 71378553982345787340*x^16 + 47808566459444990013*x^15 - 132272188924099938150*x^14 - 132999693696797582370*x^13 + 145276749446118582630*x^12 + 210689048973120959475*x^11 - 69556523186917537542*x^10 - 189351482828504000840*x^9 - 19988900412305351625*x^8 + 85498017677547162030*x^7 + 36152509600010281240*x^6 - 10977768335382909711*x^5 - 10777109138913999420*x^4 - 2541306685350213655*x^3 - 198465349661296935*x^2 - 3128562863964930*x - 10835225954749)
 

\( x^{45} - 375 x^{43} - 145 x^{42} + 62685 x^{41} + 49134 x^{40} - 6198800 x^{39} - 7301640 x^{38} + \cdots - 10835225954749 \) Copy content Toggle raw display

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

Invariants

Degree:  $45$
sage: K.degree()
 
gp: poldegree(K.pol)
 
magma: Degree(K);
 
oscar: degree(K)
 
Signature:  $[45, 0]$
sage: K.signature()
 
gp: K.sign
 
magma: Signature(K);
 
oscar: signature(K)
 
Discriminant:   \(126\!\cdots\!625\) \(\medspace = 3^{60}\cdot 5^{72}\cdot 19^{40}\) 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:  \(778.37\)
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:  $3^{4/3}5^{8/5}19^{8/9}\approx 778.365444871264$
Ramified primes:   \(3\), \(5\), \(19\) 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) }$:  $45$
sage: K.automorphisms()
 
magma: Automorphisms(K);
 
oscar: automorphisms(K)
 
This field is Galois and abelian over $\Q$.
Conductor:  \(4275=3^{2}\cdot 5^{2}\cdot 19\)
Dirichlet character group:    $\lbrace$$\chi_{4275}(4096,·)$, $\chi_{4275}(1,·)$, $\chi_{4275}(1411,·)$, $\chi_{4275}(3076,·)$, $\chi_{4275}(2821,·)$, $\chi_{4275}(2566,·)$, $\chi_{4275}(2056,·)$, $\chi_{4275}(256,·)$, $\chi_{4275}(2191,·)$, $\chi_{4275}(16,·)$, $\chi_{4275}(2581,·)$, $\chi_{4275}(406,·)$, $\chi_{4275}(2971,·)$, $\chi_{4275}(346,·)$, $\chi_{4275}(676,·)$, $\chi_{4275}(3121,·)$, $\chi_{4275}(3241,·)$, $\chi_{4275}(556,·)$, $\chi_{4275}(2221,·)$, $\chi_{4275}(1966,·)$, $\chi_{4275}(1711,·)$, $\chi_{4275}(1201,·)$, $\chi_{4275}(3766,·)$, $\chi_{4275}(3976,·)$, $\chi_{4275}(1336,·)$, $\chi_{4275}(3901,·)$, $\chi_{4275}(1726,·)$, $\chi_{4275}(2116,·)$, $\chi_{4275}(2386,·)$, $\chi_{4275}(1366,·)$, $\chi_{4275}(1111,·)$, $\chi_{4275}(856,·)$, $\chi_{4275}(2266,·)$, $\chi_{4275}(3931,·)$, $\chi_{4275}(3676,·)$, $\chi_{4275}(3421,·)$, $\chi_{4275}(2911,·)$, $\chi_{4275}(481,·)$, $\chi_{4275}(3046,·)$, $\chi_{4275}(871,·)$, $\chi_{4275}(3436,·)$, $\chi_{4275}(1261,·)$, $\chi_{4275}(3826,·)$, $\chi_{4275}(1531,·)$, $\chi_{4275}(511,·)$$\rbrace$
This is not a CM field.

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

$1$, $a$, $a^{2}$, $a^{3}$, $a^{4}$, $a^{5}$, $a^{6}$, $\frac{1}{7}a^{7}-\frac{1}{7}a$, $\frac{1}{7}a^{8}-\frac{1}{7}a^{2}$, $\frac{1}{7}a^{9}-\frac{1}{7}a^{3}$, $\frac{1}{7}a^{10}-\frac{1}{7}a^{4}$, $\frac{1}{7}a^{11}-\frac{1}{7}a^{5}$, $\frac{1}{7}a^{12}-\frac{1}{7}a^{6}$, $\frac{1}{7}a^{13}-\frac{1}{7}a$, $\frac{1}{49}a^{14}-\frac{2}{49}a^{8}+\frac{1}{49}a^{2}$, $\frac{1}{49}a^{15}-\frac{2}{49}a^{9}+\frac{1}{49}a^{3}$, $\frac{1}{49}a^{16}-\frac{2}{49}a^{10}+\frac{1}{49}a^{4}$, $\frac{1}{49}a^{17}-\frac{2}{49}a^{11}+\frac{1}{49}a^{5}$, $\frac{1}{49}a^{18}-\frac{2}{49}a^{12}+\frac{1}{49}a^{6}$, $\frac{1}{49}a^{19}-\frac{2}{49}a^{13}+\frac{1}{49}a^{7}$, $\frac{1}{49}a^{20}-\frac{3}{49}a^{8}+\frac{2}{49}a^{2}$, $\frac{1}{343}a^{21}-\frac{3}{343}a^{15}+\frac{3}{343}a^{9}-\frac{1}{343}a^{3}$, $\frac{1}{343}a^{22}-\frac{3}{343}a^{16}+\frac{3}{343}a^{10}-\frac{1}{343}a^{4}$, $\frac{1}{343}a^{23}-\frac{3}{343}a^{17}+\frac{3}{343}a^{11}-\frac{1}{343}a^{5}$, $\frac{1}{343}a^{24}-\frac{3}{343}a^{18}+\frac{3}{343}a^{12}-\frac{1}{343}a^{6}$, $\frac{1}{343}a^{25}-\frac{3}{343}a^{19}+\frac{3}{343}a^{13}-\frac{1}{343}a^{7}$, $\frac{1}{343}a^{26}-\frac{3}{343}a^{20}+\frac{3}{343}a^{14}-\frac{1}{343}a^{8}$, $\frac{1}{343}a^{27}+\frac{1}{343}a^{15}-\frac{6}{343}a^{9}+\frac{4}{343}a^{3}$, $\frac{1}{2401}a^{28}+\frac{3}{2401}a^{22}-\frac{15}{2401}a^{16}+\frac{17}{2401}a^{10}-\frac{6}{2401}a^{4}$, $\frac{1}{2401}a^{29}+\frac{3}{2401}a^{23}-\frac{15}{2401}a^{17}+\frac{17}{2401}a^{11}-\frac{6}{2401}a^{5}$, $\frac{1}{16807}a^{30}-\frac{1}{16807}a^{29}-\frac{3}{2401}a^{27}-\frac{2}{2401}a^{26}+\frac{3}{16807}a^{24}-\frac{17}{16807}a^{23}+\frac{2}{2401}a^{21}+\frac{20}{2401}a^{20}+\frac{3}{343}a^{19}-\frac{15}{16807}a^{18}+\frac{8}{16807}a^{17}+\frac{2}{343}a^{16}+\frac{19}{2401}a^{15}+\frac{15}{2401}a^{14}+\frac{1}{343}a^{13}-\frac{326}{16807}a^{12}-\frac{990}{16807}a^{11}-\frac{18}{343}a^{10}+\frac{115}{2401}a^{9}+\frac{16}{2401}a^{8}-\frac{4}{343}a^{7}+\frac{2738}{16807}a^{6}-\frac{6203}{16807}a^{5}+\frac{163}{343}a^{4}-\frac{68}{343}a^{3}+\frac{20}{49}a^{2}-\frac{3}{7}a$, $\frac{1}{16807}a^{31}-\frac{1}{16807}a^{29}+\frac{2}{2401}a^{27}-\frac{2}{2401}a^{26}+\frac{3}{16807}a^{25}-\frac{2}{2401}a^{24}-\frac{17}{16807}a^{23}-\frac{3}{2401}a^{22}+\frac{1}{2401}a^{21}-\frac{8}{2401}a^{20}+\frac{132}{16807}a^{19}-\frac{1}{2401}a^{18}+\frac{106}{16807}a^{17}-\frac{19}{2401}a^{16}+\frac{6}{2401}a^{15}+\frac{22}{2401}a^{14}-\frac{277}{16807}a^{13}+\frac{155}{2401}a^{12}+\frac{529}{16807}a^{11}+\frac{96}{2401}a^{10}-\frac{121}{2401}a^{9}+\frac{135}{2401}a^{8}+\frac{141}{16807}a^{7}-\frac{838}{2401}a^{6}-\frac{617}{16807}a^{5}+\frac{612}{2401}a^{4}+\frac{114}{343}a^{3}-\frac{3}{49}a^{2}-\frac{2}{7}a$, $\frac{1}{16807}a^{32}-\frac{1}{16807}a^{29}+\frac{2}{2401}a^{27}-\frac{11}{16807}a^{26}-\frac{2}{2401}a^{25}-\frac{2}{2401}a^{24}+\frac{11}{16807}a^{23}+\frac{2}{2401}a^{22}+\frac{1}{2401}a^{21}-\frac{71}{16807}a^{20}+\frac{20}{2401}a^{19}+\frac{13}{2401}a^{18}+\frac{71}{16807}a^{17}-\frac{20}{2401}a^{16}-\frac{22}{2401}a^{15}+\frac{171}{16807}a^{14}+\frac{162}{2401}a^{13}+\frac{29}{2401}a^{12}-\frac{857}{16807}a^{11}-\frac{162}{2401}a^{10}-\frac{16}{2401}a^{9}+\frac{596}{16807}a^{8}+\frac{163}{2401}a^{7}+\frac{303}{2401}a^{6}-\frac{1625}{16807}a^{5}-\frac{506}{2401}a^{4}-\frac{44}{343}a^{3}+\frac{5}{49}a^{2}+\frac{1}{7}a$, $\frac{1}{16807}a^{33}-\frac{1}{16807}a^{29}+\frac{17}{16807}a^{27}+\frac{3}{2401}a^{26}-\frac{2}{2401}a^{25}+\frac{2}{2401}a^{24}-\frac{3}{16807}a^{23}+\frac{2}{2401}a^{22}-\frac{8}{16807}a^{21}+\frac{19}{2401}a^{20}-\frac{15}{2401}a^{19}+\frac{8}{2401}a^{18}-\frac{132}{16807}a^{17}+\frac{1}{2401}a^{16}-\frac{137}{16807}a^{15}+\frac{2}{2401}a^{14}+\frac{134}{2401}a^{13}-\frac{169}{2401}a^{12}+\frac{277}{16807}a^{11}-\frac{155}{2401}a^{10}-\frac{461}{16807}a^{9}-\frac{122}{2401}a^{8}-\frac{117}{2401}a^{7}+\frac{159}{2401}a^{6}+\frac{4661}{16807}a^{5}+\frac{838}{2401}a^{4}+\frac{12}{343}a^{3}-\frac{12}{49}a^{2}-\frac{2}{7}a$, $\frac{1}{117649}a^{34}-\frac{1}{117649}a^{32}-\frac{1}{117649}a^{31}+\frac{22}{117649}a^{29}-\frac{18}{117649}a^{28}+\frac{17}{16807}a^{27}-\frac{3}{117649}a^{26}+\frac{74}{117649}a^{25}-\frac{10}{16807}a^{24}+\frac{17}{117649}a^{23}+\frac{90}{117649}a^{22}+\frac{12}{16807}a^{21}+\frac{505}{117649}a^{20}+\frac{127}{117649}a^{19}-\frac{138}{16807}a^{18}+\frac{356}{117649}a^{17}-\frac{515}{117649}a^{16}+\frac{128}{16807}a^{15}-\frac{997}{117649}a^{14}+\frac{2272}{117649}a^{13}+\frac{61}{16807}a^{12}+\frac{4294}{117649}a^{11}-\frac{6719}{117649}a^{10}-\frac{801}{16807}a^{9}-\frac{2248}{117649}a^{8}+\frac{4731}{117649}a^{7}-\frac{5744}{16807}a^{6}-\frac{4689}{117649}a^{5}+\frac{4453}{16807}a^{4}+\frac{582}{2401}a^{3}+\frac{8}{343}a^{2}-\frac{13}{49}a+\frac{1}{7}$, $\frac{1}{117649}a^{35}-\frac{1}{117649}a^{33}-\frac{1}{117649}a^{32}+\frac{1}{117649}a^{30}+\frac{3}{117649}a^{29}+\frac{3}{16807}a^{28}+\frac{95}{117649}a^{27}+\frac{25}{117649}a^{26}-\frac{10}{16807}a^{25}-\frac{46}{117649}a^{24}+\frac{104}{117649}a^{23}+\frac{19}{16807}a^{22}-\frac{132}{117649}a^{21}+\frac{617}{117649}a^{20}+\frac{107}{16807}a^{19}+\frac{671}{117649}a^{18}+\frac{346}{117649}a^{17}-\frac{103}{16807}a^{16}-\frac{703}{117649}a^{15}-\frac{962}{117649}a^{14}+\frac{943}{16807}a^{13}-\frac{5667}{117649}a^{12}-\frac{3765}{117649}a^{11}-\frac{647}{16807}a^{10}-\frac{6119}{117649}a^{9}-\frac{4481}{117649}a^{8}+\frac{332}{16807}a^{7}-\frac{45380}{117649}a^{6}-\frac{8102}{16807}a^{5}-\frac{92}{2401}a^{4}+\frac{167}{343}a^{3}-\frac{22}{49}a^{2}$, $\frac{1}{117649}a^{36}-\frac{1}{117649}a^{33}-\frac{1}{117649}a^{32}+\frac{3}{117649}a^{30}-\frac{6}{117649}a^{29}-\frac{3}{16807}a^{28}+\frac{144}{117649}a^{27}-\frac{73}{117649}a^{26}+\frac{4}{16807}a^{25}+\frac{34}{117649}a^{24}+\frac{3}{117649}a^{23}+\frac{1}{16807}a^{22}+\frac{15}{117649}a^{21}-\frac{1147}{117649}a^{20}+\frac{114}{16807}a^{19}-\frac{620}{117649}a^{18}+\frac{370}{117649}a^{17}-\frac{111}{16807}a^{16}-\frac{409}{117649}a^{15}+\frac{802}{117649}a^{14}-\frac{485}{16807}a^{13}-\frac{3338}{117649}a^{12}-\frac{1068}{117649}a^{11}+\frac{68}{2401}a^{10}-\frac{7344}{117649}a^{9}+\frac{76}{117649}a^{8}-\frac{1005}{16807}a^{7}+\frac{423}{2401}a^{6}-\frac{8903}{117649}a^{5}-\frac{6537}{16807}a^{4}-\frac{531}{2401}a^{3}+\frac{29}{343}a^{2}+\frac{22}{49}a+\frac{1}{7}$, $\frac{1}{494949343}a^{37}-\frac{1212}{494949343}a^{36}+\frac{627}{494949343}a^{35}-\frac{282}{70707049}a^{34}+\frac{367}{494949343}a^{33}-\frac{2839}{494949343}a^{32}-\frac{12213}{494949343}a^{31}+\frac{3145}{494949343}a^{30}-\frac{75756}{494949343}a^{29}-\frac{11313}{70707049}a^{28}-\frac{539271}{494949343}a^{27}-\frac{284520}{494949343}a^{26}+\frac{571980}{494949343}a^{25}+\frac{287737}{494949343}a^{24}+\frac{448080}{494949343}a^{23}+\frac{41357}{70707049}a^{22}+\frac{510710}{494949343}a^{21}-\frac{453386}{494949343}a^{20}-\frac{4757014}{494949343}a^{19}+\frac{3884460}{494949343}a^{18}-\frac{4544465}{494949343}a^{17}-\frac{551521}{70707049}a^{16}-\frac{1284372}{494949343}a^{15}-\frac{481479}{494949343}a^{14}-\frac{35298692}{494949343}a^{13}+\frac{67651}{10101007}a^{12}+\frac{86293}{494949343}a^{11}+\frac{101530}{10101007}a^{10}+\frac{33296630}{494949343}a^{9}-\frac{18350728}{494949343}a^{8}-\frac{1020937}{494949343}a^{7}-\frac{90868556}{494949343}a^{6}+\frac{14210993}{70707049}a^{5}-\frac{4001775}{10101007}a^{4}-\frac{66935}{1443001}a^{3}+\frac{24135}{206143}a^{2}-\frac{1156}{29449}a+\frac{1730}{4207}$, $\frac{1}{494949343}a^{38}-\frac{74}{494949343}a^{36}+\frac{690}{494949343}a^{35}+\frac{1662}{494949343}a^{34}-\frac{3977}{494949343}a^{33}+\frac{9280}{494949343}a^{32}+\frac{5422}{494949343}a^{31}-\frac{1178}{70707049}a^{30}+\frac{44315}{494949343}a^{29}+\frac{10852}{494949343}a^{28}+\frac{286493}{494949343}a^{27}-\frac{428150}{494949343}a^{26}+\frac{96101}{494949343}a^{25}+\frac{332470}{494949343}a^{24}+\frac{709943}{494949343}a^{23}-\frac{628813}{494949343}a^{22}-\frac{545537}{494949343}a^{21}+\frac{747629}{494949343}a^{20}+\frac{4123269}{494949343}a^{19}-\frac{3109711}{494949343}a^{18}-\frac{527536}{494949343}a^{17}-\frac{1741766}{494949343}a^{16}-\frac{2451907}{494949343}a^{15}+\frac{506423}{70707049}a^{14}+\frac{29784354}{494949343}a^{13}+\frac{7370647}{494949343}a^{12}-\frac{21199888}{494949343}a^{11}+\frac{34611139}{494949343}a^{10}-\frac{31587473}{494949343}a^{9}-\frac{20783964}{494949343}a^{8}+\frac{28668959}{494949343}a^{7}-\frac{126827199}{494949343}a^{6}-\frac{9147161}{70707049}a^{5}-\frac{2203196}{10101007}a^{4}+\frac{533916}{1443001}a^{3}+\frac{51756}{206143}a^{2}-\frac{12672}{29449}a-\frac{276}{601}$, $\frac{1}{3464645401}a^{39}-\frac{2}{3464645401}a^{38}-\frac{2}{3464645401}a^{37}-\frac{6493}{3464645401}a^{36}+\frac{11770}{3464645401}a^{35}+\frac{2092}{494949343}a^{34}+\frac{85728}{3464645401}a^{33}+\frac{10391}{494949343}a^{32}-\frac{2335}{3464645401}a^{31}-\frac{66141}{3464645401}a^{30}+\frac{323934}{3464645401}a^{29}-\frac{66928}{494949343}a^{28}-\frac{2861739}{3464645401}a^{27}+\frac{3041723}{3464645401}a^{26}-\frac{4726994}{3464645401}a^{25}-\frac{2978034}{3464645401}a^{24}+\frac{5034166}{3464645401}a^{23}+\frac{447652}{494949343}a^{22}-\frac{3819}{70707049}a^{21}-\frac{8984988}{3464645401}a^{20}-\frac{2782900}{3464645401}a^{19}-\frac{22213385}{3464645401}a^{18}-\frac{8240314}{3464645401}a^{17}+\frac{2329967}{494949343}a^{16}-\frac{20407755}{3464645401}a^{15}+\frac{21381040}{3464645401}a^{14}-\frac{224788462}{3464645401}a^{13}-\frac{1636100}{3464645401}a^{12}-\frac{190660103}{3464645401}a^{11}+\frac{14613862}{494949343}a^{10}+\frac{172600249}{3464645401}a^{9}-\frac{139231639}{3464645401}a^{8}-\frac{84028656}{3464645401}a^{7}+\frac{20378566}{494949343}a^{6}-\frac{2077690}{10101007}a^{5}+\frac{165906}{1443001}a^{4}+\frac{8846}{206143}a^{3}-\frac{30}{29449}a^{2}-\frac{4020}{29449}a-\frac{1916}{4207}$, $\frac{1}{897343158859}a^{40}+\frac{24}{897343158859}a^{39}-\frac{789}{897343158859}a^{38}+\frac{18}{18313125691}a^{37}+\frac{97778}{24252517807}a^{36}+\frac{52893}{897343158859}a^{35}+\frac{250872}{897343158859}a^{34}-\frac{20762306}{897343158859}a^{33}+\frac{8349757}{897343158859}a^{32}+\frac{18766821}{897343158859}a^{31}-\frac{3163498}{897343158859}a^{30}-\frac{86653998}{897343158859}a^{29}-\frac{110242922}{897343158859}a^{28}+\frac{905257770}{897343158859}a^{27}-\frac{1174887585}{897343158859}a^{26}+\frac{561374214}{897343158859}a^{25}+\frac{11193544}{24252517807}a^{24}+\frac{488563032}{897343158859}a^{23}-\frac{74755622}{128191879837}a^{22}+\frac{1261648775}{897343158859}a^{21}+\frac{6740488008}{897343158859}a^{20}+\frac{2234021577}{897343158859}a^{19}+\frac{8253630740}{897343158859}a^{18}+\frac{3934233852}{897343158859}a^{17}+\frac{8507819008}{897343158859}a^{16}-\frac{6823683640}{897343158859}a^{15}+\frac{1170479311}{128191879837}a^{14}+\frac{6382540110}{897343158859}a^{13}-\frac{47250096918}{897343158859}a^{12}+\frac{45598348685}{897343158859}a^{11}-\frac{25083229021}{897343158859}a^{10}+\frac{7211067362}{128191879837}a^{9}-\frac{22169001417}{897343158859}a^{8}+\frac{51676814598}{897343158859}a^{7}-\frac{30363556143}{128191879837}a^{6}+\frac{4242962939}{18313125691}a^{5}-\frac{892650607}{2616160813}a^{4}+\frac{40872865}{373737259}a^{3}+\frac{20239021}{53391037}a^{2}+\frac{540234}{7627291}a-\frac{208682}{1089613}$, $\frac{1}{6281402112013}a^{41}+\frac{2}{6281402112013}a^{40}-\frac{540}{6281402112013}a^{39}+\frac{369}{6281402112013}a^{38}+\frac{3462}{6281402112013}a^{37}-\frac{7126661}{6281402112013}a^{36}+\frac{1611440}{6281402112013}a^{35}+\frac{26547517}{6281402112013}a^{34}+\frac{124487833}{6281402112013}a^{33}+\frac{543105}{24252517807}a^{32}+\frac{163229523}{6281402112013}a^{31}+\frac{76237866}{6281402112013}a^{30}+\frac{242697481}{6281402112013}a^{29}+\frac{550359302}{6281402112013}a^{28}+\frac{2284779405}{6281402112013}a^{27}-\frac{7793861398}{6281402112013}a^{26}+\frac{8977203285}{6281402112013}a^{25}-\frac{745174588}{6281402112013}a^{24}+\frac{7779824186}{6281402112013}a^{23}-\frac{3603369215}{6281402112013}a^{22}-\frac{1225610836}{897343158859}a^{21}+\frac{22684189957}{6281402112013}a^{20}+\frac{61516664616}{6281402112013}a^{19}-\frac{29732775578}{6281402112013}a^{18}+\frac{19975211}{3464645401}a^{17}+\frac{1020474144}{897343158859}a^{16}+\frac{53600537785}{6281402112013}a^{15}+\frac{34617514619}{6281402112013}a^{14}-\frac{143858754562}{6281402112013}a^{13}-\frac{35984697437}{6281402112013}a^{12}+\frac{221886549593}{6281402112013}a^{11}+\frac{402634367790}{6281402112013}a^{10}-\frac{155563854218}{6281402112013}a^{9}+\frac{326061343229}{6281402112013}a^{8}-\frac{127634000994}{6281402112013}a^{7}+\frac{289837900286}{897343158859}a^{6}-\frac{18399309094}{128191879837}a^{5}-\frac{3207840431}{18313125691}a^{4}-\frac{540012618}{2616160813}a^{3}+\frac{34623192}{373737259}a^{2}+\frac{3153414}{53391037}a-\frac{839967}{7627291}$, $\frac{1}{6281402112013}a^{42}+\frac{2}{6281402112013}a^{40}+\frac{1}{128191879837}a^{39}-\frac{5641}{6281402112013}a^{38}+\frac{1697}{6281402112013}a^{37}+\frac{6894556}{6281402112013}a^{36}-\frac{2576174}{897343158859}a^{35}+\frac{12787910}{6281402112013}a^{34}-\frac{21879965}{6281402112013}a^{33}-\frac{78053988}{6281402112013}a^{32}-\frac{2247388}{169767624649}a^{31}-\frac{118941674}{6281402112013}a^{30}-\frac{138230195}{897343158859}a^{29}-\frac{60361075}{897343158859}a^{28}+\frac{7812019307}{6281402112013}a^{27}+\frac{6783331831}{6281402112013}a^{26}-\frac{6165020210}{6281402112013}a^{25}+\frac{201988760}{169767624649}a^{24}-\frac{355465283}{897343158859}a^{23}-\frac{1288753008}{6281402112013}a^{22}-\frac{6422428038}{6281402112013}a^{21}+\frac{41636197383}{6281402112013}a^{20}-\frac{41128528760}{6281402112013}a^{19}-\frac{8123714245}{6281402112013}a^{18}+\frac{787120345}{128191879837}a^{17}-\frac{49068622809}{6281402112013}a^{16}+\frac{64051973574}{6281402112013}a^{15}-\frac{2637578498}{6281402112013}a^{14}+\frac{62821022393}{897343158859}a^{13}-\frac{151460850498}{6281402112013}a^{12}+\frac{21090761883}{897343158859}a^{11}+\frac{92698219218}{6281402112013}a^{10}+\frac{365896284010}{6281402112013}a^{9}+\frac{353020606126}{6281402112013}a^{8}+\frac{253078916306}{6281402112013}a^{7}-\frac{332241535760}{897343158859}a^{6}-\frac{50780969684}{128191879837}a^{5}-\frac{377817122}{18313125691}a^{4}-\frac{291161413}{2616160813}a^{3}+\frac{86411496}{373737259}a^{2}-\frac{21402160}{53391037}a-\frac{2813254}{7627291}$, $\frac{1}{31\!\cdots\!09}a^{43}+\frac{2246028}{31\!\cdots\!09}a^{42}+\frac{1544883}{31\!\cdots\!09}a^{41}+\frac{3375938}{31\!\cdots\!09}a^{40}-\frac{66942509}{85\!\cdots\!57}a^{39}-\frac{319831544}{64\!\cdots\!41}a^{38}-\frac{21921513249}{31\!\cdots\!09}a^{37}+\frac{45992265557306}{31\!\cdots\!09}a^{36}-\frac{66316461578166}{31\!\cdots\!09}a^{35}+\frac{23044999689795}{31\!\cdots\!09}a^{34}+\frac{457238278716781}{31\!\cdots\!09}a^{33}+\frac{505255007124472}{31\!\cdots\!09}a^{32}+\frac{41632241401890}{44\!\cdots\!87}a^{31}+\frac{634241678523367}{31\!\cdots\!09}a^{30}-\frac{22\!\cdots\!21}{31\!\cdots\!09}a^{29}-\frac{52994565579530}{44\!\cdots\!87}a^{28}+\frac{13\!\cdots\!61}{31\!\cdots\!09}a^{27}-\frac{69\!\cdots\!50}{31\!\cdots\!09}a^{26}-\frac{24\!\cdots\!48}{31\!\cdots\!09}a^{25}+\frac{18\!\cdots\!92}{31\!\cdots\!09}a^{24}-\frac{86518834162304}{10\!\cdots\!13}a^{23}+\frac{14\!\cdots\!16}{31\!\cdots\!09}a^{22}-\frac{26\!\cdots\!70}{31\!\cdots\!09}a^{21}+\frac{22\!\cdots\!35}{31\!\cdots\!09}a^{20}+\frac{21\!\cdots\!55}{31\!\cdots\!09}a^{19}-\frac{89\!\cdots\!89}{44\!\cdots\!87}a^{18}-\frac{16\!\cdots\!07}{31\!\cdots\!09}a^{17}-\frac{26\!\cdots\!42}{31\!\cdots\!09}a^{16}+\frac{24\!\cdots\!25}{64\!\cdots\!41}a^{15}-\frac{31\!\cdots\!07}{31\!\cdots\!09}a^{14}-\frac{10\!\cdots\!15}{31\!\cdots\!09}a^{13}-\frac{17\!\cdots\!63}{31\!\cdots\!09}a^{12}-\frac{10\!\cdots\!22}{44\!\cdots\!87}a^{11}-\frac{22\!\cdots\!81}{31\!\cdots\!09}a^{10}-\frac{69\!\cdots\!77}{31\!\cdots\!09}a^{9}+\frac{32\!\cdots\!13}{31\!\cdots\!09}a^{8}-\frac{34\!\cdots\!22}{44\!\cdots\!87}a^{7}-\frac{20\!\cdots\!14}{64\!\cdots\!41}a^{6}+\frac{31\!\cdots\!17}{91\!\cdots\!63}a^{5}-\frac{16\!\cdots\!61}{13\!\cdots\!09}a^{4}-\frac{554249054969287}{18\!\cdots\!87}a^{3}+\frac{78843938009891}{267520756254941}a^{2}+\frac{17526092675552}{38217250893563}a-\frac{1662962192027}{5459607270509}$, $\frac{1}{18\!\cdots\!87}a^{44}+\frac{41\!\cdots\!60}{26\!\cdots\!41}a^{43}+\frac{25\!\cdots\!52}{18\!\cdots\!87}a^{42}+\frac{14\!\cdots\!24}{18\!\cdots\!87}a^{41}-\frac{12\!\cdots\!98}{26\!\cdots\!41}a^{40}-\frac{14\!\cdots\!42}{18\!\cdots\!87}a^{39}-\frac{14\!\cdots\!37}{18\!\cdots\!87}a^{38}+\frac{17\!\cdots\!15}{18\!\cdots\!87}a^{37}+\frac{27\!\cdots\!66}{26\!\cdots\!41}a^{36}+\frac{24\!\cdots\!24}{18\!\cdots\!87}a^{35}-\frac{76\!\cdots\!62}{18\!\cdots\!87}a^{34}-\frac{46\!\cdots\!29}{18\!\cdots\!87}a^{33}+\frac{50\!\cdots\!81}{18\!\cdots\!87}a^{32}+\frac{11\!\cdots\!52}{18\!\cdots\!87}a^{31}+\frac{53\!\cdots\!47}{18\!\cdots\!87}a^{30}+\frac{15\!\cdots\!02}{18\!\cdots\!87}a^{29}+\frac{15\!\cdots\!22}{18\!\cdots\!87}a^{28}+\frac{30\!\cdots\!19}{26\!\cdots\!41}a^{27}+\frac{10\!\cdots\!95}{18\!\cdots\!87}a^{26}+\frac{62\!\cdots\!97}{18\!\cdots\!87}a^{25}-\frac{54\!\cdots\!98}{18\!\cdots\!87}a^{24}+\frac{21\!\cdots\!76}{18\!\cdots\!87}a^{23}-\frac{14\!\cdots\!55}{18\!\cdots\!87}a^{22}-\frac{19\!\cdots\!37}{18\!\cdots\!87}a^{21}-\frac{12\!\cdots\!60}{18\!\cdots\!87}a^{20}-\frac{40\!\cdots\!24}{18\!\cdots\!87}a^{19}-\frac{43\!\cdots\!83}{50\!\cdots\!51}a^{18}-\frac{31\!\cdots\!54}{18\!\cdots\!87}a^{17}-\frac{16\!\cdots\!69}{18\!\cdots\!87}a^{16}+\frac{26\!\cdots\!50}{18\!\cdots\!87}a^{15}+\frac{72\!\cdots\!66}{18\!\cdots\!87}a^{14}-\frac{79\!\cdots\!60}{18\!\cdots\!87}a^{13}-\frac{31\!\cdots\!61}{18\!\cdots\!87}a^{12}-\frac{39\!\cdots\!11}{18\!\cdots\!87}a^{11}+\frac{20\!\cdots\!74}{18\!\cdots\!87}a^{10}-\frac{46\!\cdots\!04}{18\!\cdots\!87}a^{9}-\frac{44\!\cdots\!63}{18\!\cdots\!87}a^{8}-\frac{49\!\cdots\!68}{26\!\cdots\!41}a^{7}-\frac{11\!\cdots\!17}{38\!\cdots\!63}a^{6}+\frac{17\!\cdots\!71}{54\!\cdots\!09}a^{5}+\frac{37\!\cdots\!78}{77\!\cdots\!87}a^{4}-\frac{33\!\cdots\!49}{11\!\cdots\!41}a^{3}+\frac{19\!\cdots\!55}{15\!\cdots\!63}a^{2}+\frac{55\!\cdots\!59}{22\!\cdots\!09}a+\frac{71\!\cdots\!22}{32\!\cdots\!87}$ Copy content Toggle raw display

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

Monogenic:  No
Index:  Not computed
Inessential primes:  $7$

Class group and class number

not computed

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:  $44$
sage: UK.rank()
 
gp: K.fu
 
magma: UnitRank(K);
 
oscar: rank(UK)
 
Torsion generator:   \( -1 \)  (order $2$) 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:  not computed
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:  not computed
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 $ not computed \end{aligned}\]

# self-contained SageMath code snippet to compute the analytic class number formula
 
x = polygen(QQ); K.<a> = NumberField(x^45 - 375*x^43 - 145*x^42 + 62685*x^41 + 49134*x^40 - 6198800*x^39 - 7301640*x^38 + 405212745*x^37 + 633225580*x^36 - 18515552766*x^35 - 35880354285*x^34 + 609401918395*x^33 + 1407069380505*x^32 - 14662989897075*x^31 - 39430737714133*x^30 + 258904609331790*x^29 + 803647539003645*x^28 - 3332732396750215*x^27 - 12011385759895155*x^26 + 30650093495497956*x^25 + 131819211406605930*x^24 - 192196786938802635*x^23 - 1057224481807912770*x^22 + 722222599349933155*x^21 + 6129151913159003580*x^20 - 711672366769923975*x^19 - 25209329328115882410*x^18 - 7970415692531247030*x^17 + 71378553982345787340*x^16 + 47808566459444990013*x^15 - 132272188924099938150*x^14 - 132999693696797582370*x^13 + 145276749446118582630*x^12 + 210689048973120959475*x^11 - 69556523186917537542*x^10 - 189351482828504000840*x^9 - 19988900412305351625*x^8 + 85498017677547162030*x^7 + 36152509600010281240*x^6 - 10977768335382909711*x^5 - 10777109138913999420*x^4 - 2541306685350213655*x^3 - 198465349661296935*x^2 - 3128562863964930*x - 10835225954749)
 
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^45 - 375*x^43 - 145*x^42 + 62685*x^41 + 49134*x^40 - 6198800*x^39 - 7301640*x^38 + 405212745*x^37 + 633225580*x^36 - 18515552766*x^35 - 35880354285*x^34 + 609401918395*x^33 + 1407069380505*x^32 - 14662989897075*x^31 - 39430737714133*x^30 + 258904609331790*x^29 + 803647539003645*x^28 - 3332732396750215*x^27 - 12011385759895155*x^26 + 30650093495497956*x^25 + 131819211406605930*x^24 - 192196786938802635*x^23 - 1057224481807912770*x^22 + 722222599349933155*x^21 + 6129151913159003580*x^20 - 711672366769923975*x^19 - 25209329328115882410*x^18 - 7970415692531247030*x^17 + 71378553982345787340*x^16 + 47808566459444990013*x^15 - 132272188924099938150*x^14 - 132999693696797582370*x^13 + 145276749446118582630*x^12 + 210689048973120959475*x^11 - 69556523186917537542*x^10 - 189351482828504000840*x^9 - 19988900412305351625*x^8 + 85498017677547162030*x^7 + 36152509600010281240*x^6 - 10977768335382909711*x^5 - 10777109138913999420*x^4 - 2541306685350213655*x^3 - 198465349661296935*x^2 - 3128562863964930*x - 10835225954749, 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^45 - 375*x^43 - 145*x^42 + 62685*x^41 + 49134*x^40 - 6198800*x^39 - 7301640*x^38 + 405212745*x^37 + 633225580*x^36 - 18515552766*x^35 - 35880354285*x^34 + 609401918395*x^33 + 1407069380505*x^32 - 14662989897075*x^31 - 39430737714133*x^30 + 258904609331790*x^29 + 803647539003645*x^28 - 3332732396750215*x^27 - 12011385759895155*x^26 + 30650093495497956*x^25 + 131819211406605930*x^24 - 192196786938802635*x^23 - 1057224481807912770*x^22 + 722222599349933155*x^21 + 6129151913159003580*x^20 - 711672366769923975*x^19 - 25209329328115882410*x^18 - 7970415692531247030*x^17 + 71378553982345787340*x^16 + 47808566459444990013*x^15 - 132272188924099938150*x^14 - 132999693696797582370*x^13 + 145276749446118582630*x^12 + 210689048973120959475*x^11 - 69556523186917537542*x^10 - 189351482828504000840*x^9 - 19988900412305351625*x^8 + 85498017677547162030*x^7 + 36152509600010281240*x^6 - 10977768335382909711*x^5 - 10777109138913999420*x^4 - 2541306685350213655*x^3 - 198465349661296935*x^2 - 3128562863964930*x - 10835225954749);
 
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^45 - 375*x^43 - 145*x^42 + 62685*x^41 + 49134*x^40 - 6198800*x^39 - 7301640*x^38 + 405212745*x^37 + 633225580*x^36 - 18515552766*x^35 - 35880354285*x^34 + 609401918395*x^33 + 1407069380505*x^32 - 14662989897075*x^31 - 39430737714133*x^30 + 258904609331790*x^29 + 803647539003645*x^28 - 3332732396750215*x^27 - 12011385759895155*x^26 + 30650093495497956*x^25 + 131819211406605930*x^24 - 192196786938802635*x^23 - 1057224481807912770*x^22 + 722222599349933155*x^21 + 6129151913159003580*x^20 - 711672366769923975*x^19 - 25209329328115882410*x^18 - 7970415692531247030*x^17 + 71378553982345787340*x^16 + 47808566459444990013*x^15 - 132272188924099938150*x^14 - 132999693696797582370*x^13 + 145276749446118582630*x^12 + 210689048973120959475*x^11 - 69556523186917537542*x^10 - 189351482828504000840*x^9 - 19988900412305351625*x^8 + 85498017677547162030*x^7 + 36152509600010281240*x^6 - 10977768335382909711*x^5 - 10777109138913999420*x^4 - 2541306685350213655*x^3 - 198465349661296935*x^2 - 3128562863964930*x - 10835225954749);
 
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_{45}$ (as 45T1):

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)
 
A cyclic group of order 45
The 45 conjugacy class representatives for $C_{45}$
Character table for $C_{45}$

Intermediate fields

3.3.361.1, 5.5.390625.1, 9.9.9025761726072081.2, 15.15.365440026390612125396728515625.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 $45$ R R ${\href{/padicField/7.1.0.1}{1} }^{45}$ $15^{3}$ $45$ $45$ R $45$ $45$ $15^{3}$ ${\href{/padicField/37.5.0.1}{5} }^{9}$ $45$ ${\href{/padicField/43.9.0.1}{9} }^{5}$ $45$ $45$ $45$

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
\(3\) Copy content Toggle raw display Deg $45$$3$$15$$60$
\(5\) Copy content Toggle raw display Deg $45$$5$$9$$72$
\(19\) Copy content Toggle raw display Deg $45$$9$$5$$40$