/* 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^31 + 2*x - 1, 31, 12, [1, 15], -3654114516616866500188330236451595281481940132601111, [71, 6073, 8474625661533192403662320259499088047260537017], [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, 1/11*a^30 + 4/11*a^29 + 5/11*a^28 - 2/11*a^27 + 3/11*a^26 + 1/11*a^25 + 4/11*a^24 + 5/11*a^23 - 2/11*a^22 + 3/11*a^21 + 1/11*a^20 + 4/11*a^19 + 5/11*a^18 - 2/11*a^17 + 3/11*a^16 + 1/11*a^15 + 4/11*a^14 + 5/11*a^13 - 2/11*a^12 + 3/11*a^11 + 1/11*a^10 + 4/11*a^9 + 5/11*a^8 - 2/11*a^7 + 3/11*a^6 + 1/11*a^5 + 4/11*a^4 + 5/11*a^3 - 2/11*a^2 + 3/11*a + 3/11], 0, 1, [], 1, [ a^(30) + 2 , a^(4) - a^(2) + 1 , a^(20) - a^(10) + 1 , a^(24) - a^(18) + a^(12) - a^(6) + 1 , (5)/(11)*a^(30) - (2)/(11)*a^(29) + (3)/(11)*a^(28) + (1)/(11)*a^(27) + (4)/(11)*a^(26) + (5)/(11)*a^(25) - (2)/(11)*a^(24) + (3)/(11)*a^(23) + (1)/(11)*a^(22) + (4)/(11)*a^(21) + (5)/(11)*a^(20) - (2)/(11)*a^(19) + (3)/(11)*a^(18) + (1)/(11)*a^(17) + (4)/(11)*a^(16) + (5)/(11)*a^(15) - (2)/(11)*a^(14) - (8)/(11)*a^(13) + (1)/(11)*a^(12) - (7)/(11)*a^(11) + (5)/(11)*a^(10) - (2)/(11)*a^(9) - (8)/(11)*a^(8) + (1)/(11)*a^(7) - (7)/(11)*a^(6) + (5)/(11)*a^(5) - (2)/(11)*a^(4) - (8)/(11)*a^(3) + (1)/(11)*a^(2) - (7)/(11)*a + (15)/(11) , (6)/(11)*a^(30) + (13)/(11)*a^(29) + (19)/(11)*a^(28) + (10)/(11)*a^(27) - (4)/(11)*a^(26) - (5)/(11)*a^(25) + (2)/(11)*a^(24) + (8)/(11)*a^(23) + (10)/(11)*a^(22) + (7)/(11)*a^(21) + (6)/(11)*a^(20) + (2)/(11)*a^(19) - (3)/(11)*a^(18) - (1)/(11)*a^(17) + (7)/(11)*a^(16) + (17)/(11)*a^(15) + (13)/(11)*a^(14) - (3)/(11)*a^(13) - (12)/(11)*a^(12) - (4)/(11)*a^(11) + (6)/(11)*a^(10) + (13)/(11)*a^(9) + (8)/(11)*a^(8) - (1)/(11)*a^(7) - (4)/(11)*a^(6) - (5)/(11)*a^(5) - (9)/(11)*a^(4) - (3)/(11)*a^(3) + (10)/(11)*a^(2) + (7)/(11)*a + (7)/(11) , (1)/(11)*a^(30) + (4)/(11)*a^(29) + (5)/(11)*a^(28) + (9)/(11)*a^(27) + (3)/(11)*a^(26) + (1)/(11)*a^(25) + (4)/(11)*a^(24) - (6)/(11)*a^(23) - (2)/(11)*a^(22) - (8)/(11)*a^(21) + (1)/(11)*a^(20) - (7)/(11)*a^(19) + (5)/(11)*a^(18) - (2)/(11)*a^(17) + (14)/(11)*a^(16) - (10)/(11)*a^(15) + (15)/(11)*a^(14) - (6)/(11)*a^(13) + (9)/(11)*a^(12) - (19)/(11)*a^(11) + (12)/(11)*a^(10) - (18)/(11)*a^(9) + (5)/(11)*a^(8) - (13)/(11)*a^(7) + (14)/(11)*a^(6) - (10)/(11)*a^(5) + (15)/(11)*a^(4) - (6)/(11)*a^(3) + (20)/(11)*a^(2) - (19)/(11)*a + (14)/(11) , (5)/(11)*a^(30) + (9)/(11)*a^(29) + (14)/(11)*a^(28) + (12)/(11)*a^(27) + (4)/(11)*a^(26) - (6)/(11)*a^(25) - (13)/(11)*a^(24) - (8)/(11)*a^(23) + (1)/(11)*a^(22) + (4)/(11)*a^(21) + (5)/(11)*a^(20) + (9)/(11)*a^(19) + (14)/(11)*a^(18) + (1)/(11)*a^(17) - (18)/(11)*a^(16) - (17)/(11)*a^(15) - (2)/(11)*a^(14) + (3)/(11)*a^(13) + (1)/(11)*a^(12) + (4)/(11)*a^(11) + (16)/(11)*a^(10) + (9)/(11)*a^(9) - (8)/(11)*a^(8) - (21)/(11)*a^(7) - (18)/(11)*a^(6) - (6)/(11)*a^(5) + (9)/(11)*a^(4) + (14)/(11)*a^(3) + (12)/(11)*a^(2) + (4)/(11)*a + (4)/(11) , (7)/(11)*a^(30) + (17)/(11)*a^(29) + (2)/(11)*a^(28) - (14)/(11)*a^(27) - (23)/(11)*a^(26) - (15)/(11)*a^(25) + (6)/(11)*a^(24) + (13)/(11)*a^(23) + (19)/(11)*a^(22) + (10)/(11)*a^(21) - (4)/(11)*a^(20) - (16)/(11)*a^(19) - (20)/(11)*a^(18) - (3)/(11)*a^(17) + (10)/(11)*a^(16) + (18)/(11)*a^(15) + (6)/(11)*a^(14) - (9)/(11)*a^(13) - (3)/(11)*a^(12) - (1)/(11)*a^(11) + (7)/(11)*a^(10) - (5)/(11)*a^(9) - (9)/(11)*a^(8) - (3)/(11)*a^(7) - (1)/(11)*a^(6) + (7)/(11)*a^(5) + (6)/(11)*a^(4) + (13)/(11)*a^(3) + (8)/(11)*a^(2) - (12)/(11)*a - (12)/(11) , (5)/(11)*a^(30) + (9)/(11)*a^(29) - (8)/(11)*a^(28) + (1)/(11)*a^(27) + (4)/(11)*a^(26) + (5)/(11)*a^(25) + (9)/(11)*a^(24) - (8)/(11)*a^(23) + (1)/(11)*a^(22) - (7)/(11)*a^(21) + (5)/(11)*a^(20) + (9)/(11)*a^(19) - (8)/(11)*a^(18) + (1)/(11)*a^(17) - (7)/(11)*a^(16) + (16)/(11)*a^(15) - (2)/(11)*a^(14) - (8)/(11)*a^(13) + (1)/(11)*a^(12) - (18)/(11)*a^(11) + (16)/(11)*a^(10) - (2)/(11)*a^(9) + (3)/(11)*a^(8) + (1)/(11)*a^(7) - (18)/(11)*a^(6) + (16)/(11)*a^(5) - (13)/(11)*a^(4) + (3)/(11)*a^(3) + (1)/(11)*a^(2) - (7)/(11)*a + (15)/(11) , (17)/(11)*a^(30) + (13)/(11)*a^(29) + (8)/(11)*a^(28) + (10)/(11)*a^(27) - (4)/(11)*a^(26) + (6)/(11)*a^(25) + (2)/(11)*a^(24) + (8)/(11)*a^(23) + (10)/(11)*a^(22) + (7)/(11)*a^(21) + (6)/(11)*a^(20) - (9)/(11)*a^(19) + (8)/(11)*a^(18) - (1)/(11)*a^(17) + (7)/(11)*a^(16) + (17)/(11)*a^(15) - (9)/(11)*a^(14) + (8)/(11)*a^(13) - (12)/(11)*a^(12) - (4)/(11)*a^(11) + (6)/(11)*a^(10) + (2)/(11)*a^(9) + (8)/(11)*a^(8) - (12)/(11)*a^(7) - (4)/(11)*a^(6) - (16)/(11)*a^(5) + (2)/(11)*a^(4) + (8)/(11)*a^(3) - (12)/(11)*a^(2) + (18)/(11)*a + (7)/(11) , (8)/(11)*a^(30) - (1)/(11)*a^(29) - (4)/(11)*a^(28) - (5)/(11)*a^(27) - (9)/(11)*a^(26) + (8)/(11)*a^(25) - (1)/(11)*a^(24) - (4)/(11)*a^(23) + (17)/(11)*a^(22) + (2)/(11)*a^(21) - (3)/(11)*a^(20) - (1)/(11)*a^(19) - (15)/(11)*a^(18) - (5)/(11)*a^(17) + (2)/(11)*a^(16) - (3)/(11)*a^(15) + (10)/(11)*a^(14) + (7)/(11)*a^(13) - (5)/(11)*a^(12) + (2)/(11)*a^(11) - (3)/(11)*a^(10) - (12)/(11)*a^(9) - (4)/(11)*a^(8) + (6)/(11)*a^(7) + (13)/(11)*a^(6) + (8)/(11)*a^(5) - (1)/(11)*a^(4) - (4)/(11)*a^(3) + (6)/(11)*a^(2) - (9)/(11)*a - (9)/(11) , (6)/(11)*a^(30) + (2)/(11)*a^(29) - (3)/(11)*a^(28) - (1)/(11)*a^(27) + (7)/(11)*a^(26) + (6)/(11)*a^(25) + (2)/(11)*a^(24) - (3)/(11)*a^(23) - (1)/(11)*a^(22) + (7)/(11)*a^(21) + (6)/(11)*a^(20) + (2)/(11)*a^(19) - (14)/(11)*a^(18) - (12)/(11)*a^(17) - (4)/(11)*a^(16) + (6)/(11)*a^(15) + (2)/(11)*a^(14) - (3)/(11)*a^(13) - (1)/(11)*a^(12) - (4)/(11)*a^(11) + (6)/(11)*a^(10) + (13)/(11)*a^(9) - (3)/(11)*a^(8) - (1)/(11)*a^(7) - (4)/(11)*a^(6) + (6)/(11)*a^(5) + (13)/(11)*a^(4) + (8)/(11)*a^(3) - (12)/(11)*a^(2) - (15)/(11)*a + (18)/(11) , (12)/(11)*a^(30) - (18)/(11)*a^(29) + (5)/(11)*a^(28) - (2)/(11)*a^(27) - (8)/(11)*a^(26) + (12)/(11)*a^(25) - (18)/(11)*a^(24) + (16)/(11)*a^(23) - (13)/(11)*a^(22) - (8)/(11)*a^(21) + (12)/(11)*a^(20) - (18)/(11)*a^(19) + (16)/(11)*a^(18) - (24)/(11)*a^(17) + (14)/(11)*a^(16) + (1)/(11)*a^(15) - (18)/(11)*a^(14) + (27)/(11)*a^(13) - (24)/(11)*a^(12) + (25)/(11)*a^(11) - (10)/(11)*a^(10) + (4)/(11)*a^(9) + (16)/(11)*a^(8) - (35)/(11)*a^(7) + (47)/(11)*a^(6) - (32)/(11)*a^(5) + (15)/(11)*a^(4) - (6)/(11)*a^(3) - (13)/(11)*a^(2) + (36)/(11)*a - (30)/(11) , (9)/(11)*a^(30) - (30)/(11)*a^(29) + (12)/(11)*a^(28) + (4)/(11)*a^(27) - (6)/(11)*a^(26) + (31)/(11)*a^(25) - (19)/(11)*a^(24) - (32)/(11)*a^(23) + (26)/(11)*a^(22) - (6)/(11)*a^(21) + (9)/(11)*a^(20) + (14)/(11)*a^(19) - (43)/(11)*a^(18) - (7)/(11)*a^(17) + (27)/(11)*a^(16) - (13)/(11)*a^(15) + (14)/(11)*a^(14) - (10)/(11)*a^(13) - (51)/(11)*a^(12) + (38)/(11)*a^(11) + (9)/(11)*a^(10) - (19)/(11)*a^(9) + (23)/(11)*a^(8) - (40)/(11)*a^(7) - (28)/(11)*a^(6) + (64)/(11)*a^(5) - (19)/(11)*a^(4) - (21)/(11)*a^(3) + (37)/(11)*a^(2) - (72)/(11)*a + (38)/(11) ], 38986878555233.18, []]