/* Data is in the following format Note, if the class group has not been computed, it, the class number, the fundamental units, regulator and whether grh was assumed are all 0. [polynomial, degree, t-number of Galois group, signature [r,s], discriminant, list of ramifying primes, integral basis as polynomials in a, 1 if it is a cm field otherwise 0, class number, class group structure, 1 if grh was assumed and 0 if not, fundamental units, regulator, list of subfields each as a pair [polynomial, number of subfields isomorphic to one defined by this polynomial] ] */ [x^20 - 2*x^19 + 6*x^18 - 17*x^17 + 31*x^16 - 32*x^15 + 78*x^14 - 127*x^13 + 100*x^12 - 226*x^11 + 342*x^10 - 220*x^9 + 223*x^8 - 462*x^7 + 457*x^6 - 74*x^5 - 142*x^4 + 78*x^3 + 10*x^2 - 10*x - 1, 20, 674, [6, 7], -38011043274806994636408671, [13, 347], [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, 1/13*a^17 - 1/13*a^16 - 3/13*a^15 + 4/13*a^14 + 4/13*a^13 - 4/13*a^12 + 2/13*a^11 - 3/13*a^10 + 4/13*a^9 + 3/13*a^8 + 5/13*a^7 - 6/13*a^6 + 4/13*a^5 - 5/13*a^4 - 1/13*a^3 + 3/13*a^2 - 3/13*a - 4/13, 1/13*a^18 - 4/13*a^16 + 1/13*a^15 - 5/13*a^14 - 2/13*a^12 - 1/13*a^11 + 1/13*a^10 - 6/13*a^9 - 5/13*a^8 - 1/13*a^7 - 2/13*a^6 - 1/13*a^5 - 6/13*a^4 + 2/13*a^3 + 6/13*a - 4/13, 1/13199147287526156567*a^19 + 306370148966594138/13199147287526156567*a^18 + 351268875014427704/13199147287526156567*a^17 - 19189481456625894/1015319022117396659*a^16 - 3632387497599538218/13199147287526156567*a^15 + 391825636403561869/13199147287526156567*a^14 - 4141726128720255935/13199147287526156567*a^13 - 6463438835446725361/13199147287526156567*a^12 + 3846658988941319191/13199147287526156567*a^11 + 568523702865984597/13199147287526156567*a^10 - 123818500497219628/1015319022117396659*a^9 - 5432526556817818340/13199147287526156567*a^8 + 4495131108789230170/13199147287526156567*a^7 + 5192742675857367025/13199147287526156567*a^6 - 3465610765827504830/13199147287526156567*a^5 - 1532754421726712957/13199147287526156567*a^4 - 6500134380971845815/13199147287526156567*a^3 - 3616904066768947572/13199147287526156567*a^2 - 269291581149017462/13199147287526156567*a + 33564396774616148/13199147287526156567], 0, 1, [], 1, [ (541695396321081785)/(1015319022117396659)*a^(19) - (1079665145585140651)/(1015319022117396659)*a^(18) + (3354035335655937678)/(1015319022117396659)*a^(17) - (9374271561311300473)/(1015319022117396659)*a^(16) + (17360539692299650335)/(1015319022117396659)*a^(15) - (18951521105621121501)/(1015319022117396659)*a^(14) + (45176688800741996846)/(1015319022117396659)*a^(13) - (71462242320216852375)/(1015319022117396659)*a^(12) + (62113518605483319756)/(1015319022117396659)*a^(11) - (134218798950034718577)/(1015319022117396659)*a^(10) + (193542292176267269039)/(1015319022117396659)*a^(9) - (142726854688663093274)/(1015319022117396659)*a^(8) + (152742213624700239714)/(1015319022117396659)*a^(7) - (268650454834098569485)/(1015319022117396659)*a^(6) + (271818367391373891285)/(1015319022117396659)*a^(5) - (87253778347174503197)/(1015319022117396659)*a^(4) - (36720777155577576619)/(1015319022117396659)*a^(3) + (35098574339636161345)/(1015319022117396659)*a^(2) - (2289944239883689047)/(1015319022117396659)*a - (101730112843081647)/(78101463239799743) , (110158656883155121)/(1015319022117396659)*a^(19) - (198513460352200256)/(1015319022117396659)*a^(18) + (513883110152573908)/(1015319022117396659)*a^(17) - (1682663841423992988)/(1015319022117396659)*a^(16) + (2530911964255449778)/(1015319022117396659)*a^(15) - (1783221980390952990)/(1015319022117396659)*a^(14) + (6260874063303383594)/(1015319022117396659)*a^(13) - (11287906201354202713)/(1015319022117396659)*a^(12) + (98136056826842895)/(78101463239799743)*a^(11) - (18701474367543643251)/(1015319022117396659)*a^(10) + (28890916500862495835)/(1015319022117396659)*a^(9) + (3714711773205869377)/(1015319022117396659)*a^(8) + (10575814837832334236)/(1015319022117396659)*a^(7) - (39385185416375832836)/(1015319022117396659)*a^(6) + (17939445999953886778)/(1015319022117396659)*a^(5) + (26092784274631269031)/(1015319022117396659)*a^(4) - (26794347323625717083)/(1015319022117396659)*a^(3) + (5387437589302209403)/(1015319022117396659)*a^(2) + (2392036544047657021)/(1015319022117396659)*a - (1937621482515375326)/(1015319022117396659) , (782553252792069560)/(1015319022117396659)*a^(19) - (1419135827621769272)/(1015319022117396659)*a^(18) + (4597249608480941429)/(1015319022117396659)*a^(17) - (12791648080441607894)/(1015319022117396659)*a^(16) + (22872065955286644111)/(1015319022117396659)*a^(15) - (23668857839845536473)/(1015319022117396659)*a^(14) + (61909170890888100116)/(1015319022117396659)*a^(13) - (93302466358226335895)/(1015319022117396659)*a^(12) + (5692572747606807738)/(78101463239799743)*a^(11) - (185260538930448090129)/(1015319022117396659)*a^(10) + (250017533875116554297)/(1015319022117396659)*a^(9) - (163598415607743033186)/(1015319022117396659)*a^(8) + (205098469908709391445)/(1015319022117396659)*a^(7) - (360018851084370974988)/(1015319022117396659)*a^(6) + (328755710560509635745)/(1015319022117396659)*a^(5) - (81213953181137328709)/(1015319022117396659)*a^(4) - (48169029236586089187)/(1015319022117396659)*a^(3) + (39653867358184236617)/(1015319022117396659)*a^(2) - (2949699703761672614)/(1015319022117396659)*a - (1971409371478308199)/(1015319022117396659) , (341154332780457227)/(1015319022117396659)*a^(19) - (46318224945747584)/(78101463239799743)*a^(18) + (1968331162768407165)/(1015319022117396659)*a^(17) - (5491742293392180192)/(1015319022117396659)*a^(16) + (9644280907966848744)/(1015319022117396659)*a^(15) - (9842369565439643538)/(1015319022117396659)*a^(14) + (26379096240685362846)/(1015319022117396659)*a^(13) - (39238087647376547863)/(1015319022117396659)*a^(12) + (29560522943761028474)/(1015319022117396659)*a^(11) - (79835575687943408179)/(1015319022117396659)*a^(10) + (103115910091487999076)/(1015319022117396659)*a^(9) - (64864342064796143201)/(1015319022117396659)*a^(8) + (87452881593091168743)/(1015319022117396659)*a^(7) - (147252795839886279986)/(1015319022117396659)*a^(6) + (134510750181878401853)/(1015319022117396659)*a^(5) - (28940419970046531795)/(1015319022117396659)*a^(4) - (25826089638100910855)/(1015319022117396659)*a^(3) + (20816841789019235390)/(1015319022117396659)*a^(2) - (1296212300710252788)/(1015319022117396659)*a - (1572991324627514291)/(1015319022117396659) , (177095501197154737)/(1015319022117396659)*a^(19) - (363092847909771342)/(1015319022117396659)*a^(18) + (1056082796493945752)/(1015319022117396659)*a^(17) - (3023432233971342631)/(1015319022117396659)*a^(16) + (5556886301220014640)/(1015319022117396659)*a^(15) - (5605303186265215657)/(1015319022117396659)*a^(14) + (13685795214255151349)/(1015319022117396659)*a^(13) - (23129410281435450687)/(1015319022117396659)*a^(12) + (17828049485982173193)/(1015319022117396659)*a^(11) - (38758897407902479021)/(1015319022117396659)*a^(10) + (63981595226458193803)/(1015319022117396659)*a^(9) - (39143338551420977223)/(1015319022117396659)*a^(8) + (35308007646286405931)/(1015319022117396659)*a^(7) - (90171062666690751194)/(1015319022117396659)*a^(6) + (84829609898745630063)/(1015319022117396659)*a^(5) - (7381283747470331762)/(1015319022117396659)*a^(4) - (22642047075482108656)/(1015319022117396659)*a^(3) + (3317501181513347992)/(1015319022117396659)*a^(2) + (6332135268343163438)/(1015319022117396659)*a + (1173462690995052231)/(1015319022117396659) , (7227717916353952421)/(13199147287526156567)*a^(19) - (12615850963590905306)/(13199147287526156567)*a^(18) + (41026831791693589968)/(13199147287526156567)*a^(17) - (8815135973472901366)/(1015319022117396659)*a^(16) + (199794392961009619141)/(13199147287526156567)*a^(15) - (197140049380702691495)/(13199147287526156567)*a^(14) + (542148215334278920092)/(13199147287526156567)*a^(13) - (809425306537168014247)/(13199147287526156567)*a^(12) + (580520807911886286904)/(13199147287526156567)*a^(11) - (1621881719848106483659)/(13199147287526156567)*a^(10) + (163520672794705204137)/(1015319022117396659)*a^(9) - (1248671395827033904127)/(13199147287526156567)*a^(8) + (1654323914425797475485)/(13199147287526156567)*a^(7) - (3053776460342492408649)/(13199147287526156567)*a^(6) + (2708492766996979630405)/(13199147287526156567)*a^(5) - (309864146318569710692)/(13199147287526156567)*a^(4) - (686697068824346924545)/(13199147287526156567)*a^(3) + (420183841148334635040)/(13199147287526156567)*a^(2) + (39836622898205767248)/(13199147287526156567)*a - (31807523566572843259)/(13199147287526156567) , (647408338631901706)/(13199147287526156567)*a^(19) - (2412100801797114577)/(13199147287526156567)*a^(18) + (4898454083681263994)/(13199147287526156567)*a^(17) - (1245053621272736776)/(1015319022117396659)*a^(16) + (32495177543582758547)/(13199147287526156567)*a^(15) - (39161607470964530080)/(13199147287526156567)*a^(14) + (58395990333279325034)/(13199147287526156567)*a^(13) - (146573564717282110840)/(13199147287526156567)*a^(12) + (120088782368544364513)/(13199147287526156567)*a^(11) - (161181536752294491607)/(13199147287526156567)*a^(10) + (30464936925271551071)/(1015319022117396659)*a^(9) - (282435194140290261237)/(13199147287526156567)*a^(8) + (122680245823348881527)/(13199147287526156567)*a^(7) - (400664761088521472650)/(13199147287526156567)*a^(6) + (576015533929056418763)/(13199147287526156567)*a^(5) - (95176921512761955619)/(13199147287526156567)*a^(4) - (308682337437379172747)/(13199147287526156567)*a^(3) + (214427940215115215783)/(13199147287526156567)*a^(2) - (16046350797039716327)/(13199147287526156567)*a - (24443245621959271928)/(13199147287526156567) , (1595031311963606203)/(13199147287526156567)*a^(19) - (3114908037217002137)/(13199147287526156567)*a^(18) + (7320745983882269232)/(13199147287526156567)*a^(17) - (1928327381404113474)/(1015319022117396659)*a^(16) + (37842212937101030474)/(13199147287526156567)*a^(15) - (25680275099947616984)/(13199147287526156567)*a^(14) + (86269295276610158496)/(13199147287526156567)*a^(13) - (175148119854157858119)/(13199147287526156567)*a^(12) + (11960540277294115603)/(13199147287526156567)*a^(11) - (250952731230313983502)/(13199147287526156567)*a^(10) + (34980680895410881272)/(1015319022117396659)*a^(9) + (71574468072059086522)/(13199147287526156567)*a^(8) + (77486857112017951934)/(13199147287526156567)*a^(7) - (615105578592414908021)/(13199147287526156567)*a^(6) + (299719695182560445435)/(13199147287526156567)*a^(5) + (501881447259774242985)/(13199147287526156567)*a^(4) - (446606937988229186481)/(13199147287526156567)*a^(3) + (25807810696662714318)/(13199147287526156567)*a^(2) + (71967138318133399606)/(13199147287526156567)*a - (8646345491636685597)/(13199147287526156567) , (4895556062197916717)/(13199147287526156567)*a^(19) - (9228891736346775271)/(13199147287526156567)*a^(18) + (29830858043674656641)/(13199147287526156567)*a^(17) - (6317203007524107873)/(1015319022117396659)*a^(16) + (150860221608436712327)/(13199147287526156567)*a^(15) - (161843391065946489632)/(13199147287526156567)*a^(14) + (402739965427010237148)/(13199147287526156567)*a^(13) - (612668548860227261863)/(13199147287526156567)*a^(12) + (533191658477086672898)/(13199147287526156567)*a^(11) - (1196118927380063108965)/(13199147287526156567)*a^(10) + (9798956293106022717)/(78101463239799743)*a^(9) - (1217361939518159042552)/(13199147287526156567)*a^(8) + (1360016115496484139620)/(13199147287526156567)*a^(7) - (2349920430786514592350)/(13199147287526156567)*a^(6) + (2313628038260867020369)/(13199147287526156567)*a^(5) - (724719269025081915323)/(13199147287526156567)*a^(4) - (279741700153446814008)/(13199147287526156567)*a^(3) + (278949672579752133711)/(13199147287526156567)*a^(2) - (17950917850404371726)/(13199147287526156567)*a - (8389407494670502590)/(13199147287526156567) , (7079917864285174582)/(13199147287526156567)*a^(19) - (13472767257551281167)/(13199147287526156567)*a^(18) + (45183017838239043511)/(13199147287526156567)*a^(17) - (9365664256369534702)/(1015319022117396659)*a^(16) + (229482454305060194735)/(13199147287526156567)*a^(15) - (261547716870954542136)/(13199147287526156567)*a^(14) + (625058968772702138718)/(13199147287526156567)*a^(13) - (925291279842019295007)/(13199147287526156567)*a^(12) + (908034825602215791615)/(13199147287526156567)*a^(11) - (1882656386361450198767)/(13199147287526156567)*a^(10) + (193002076433894174786)/(1015319022117396659)*a^(9) - (2151114433522807628839)/(13199147287526156567)*a^(8) + (2372599117559088817488)/(13199147287526156567)*a^(7) - (3563102886541212331041)/(13199147287526156567)*a^(6) + (3728499849810170020657)/(13199147287526156567)*a^(5) - (1760246519967740029473)/(13199147287526156567)*a^(4) - (39283098094666685663)/(13199147287526156567)*a^(3) + (500107132579760900832)/(13199147287526156567)*a^(2) - (141903535933580855403)/(13199147287526156567)*a - (11623475940073794223)/(13199147287526156567) , (2873368716341398451)/(13199147287526156567)*a^(19) - (5128166958625227720)/(13199147287526156567)*a^(18) + (17220387341918321312)/(13199147287526156567)*a^(17) - (3688850029471089472)/(1015319022117396659)*a^(16) + (85544278005616649436)/(13199147287526156567)*a^(15) - (95174362054639582714)/(13199147287526156567)*a^(14) + (243686352691625440505)/(13199147287526156567)*a^(13) - (356876614893106794685)/(13199147287526156567)*a^(12) + (301211124565339667330)/(13199147287526156567)*a^(11) - (767358621477446006552)/(13199147287526156567)*a^(10) + (72914336410124350618)/(1015319022117396659)*a^(9) - (697796004269498268218)/(13199147287526156567)*a^(8) + (996545724353178700487)/(13199147287526156567)*a^(7) - (1400821268725508604264)/(13199147287526156567)*a^(6) + (1297810872286137631921)/(13199147287526156567)*a^(5) - (601978146325905077966)/(13199147287526156567)*a^(4) + (105429043076882635146)/(13199147287526156567)*a^(3) + (117611305671198117509)/(13199147287526156567)*a^(2) - (58043180795418767596)/(13199147287526156567)*a + (6157414561827380676)/(13199147287526156567) , (4619537258055723542)/(13199147287526156567)*a^(19) - (8873682723750612851)/(13199147287526156567)*a^(18) + (28057778550269454235)/(13199147287526156567)*a^(17) - (5951799633524889731)/(1015319022117396659)*a^(16) + (142640171993488162075)/(13199147287526156567)*a^(15) - (149290371936066773244)/(13199147287526156567)*a^(14) + (370176322678566770575)/(13199147287526156567)*a^(13) - (574256417454045773482)/(13199147287526156567)*a^(12) + (489622488638979350250)/(13199147287526156567)*a^(11) - (1072912893845992961283)/(13199147287526156567)*a^(10) + (119778695642948673878)/(1015319022117396659)*a^(9) - (1097845759137638105862)/(13199147287526156567)*a^(8) + (1122004963262116172232)/(13199147287526156567)*a^(7) - (2166367427517416188568)/(13199147287526156567)*a^(6) + (2136420454541883755760)/(13199147287526156567)*a^(5) - (503625494862448583895)/(13199147287526156567)*a^(4) - (484992261530583008446)/(13199147287526156567)*a^(3) + (326591148488555971316)/(13199147287526156567)*a^(2) + (11075088898592303297)/(13199147287526156567)*a - (19927674778067046932)/(13199147287526156567) ], 110941.143313, [[x^10 - x^9 + 4*x^7 - 2*x^6 - 2*x^5 - x^4 + x^3 - 2*x + 1, 1]]]