/* 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 - 3, 31, 12, [1, 15], -3514391143547463851053558201195469962323789296982843961159719, [3, 1069, 745011551, 21432446223951881420287139805088549], [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, a^30], 0, 1, [], 1, [ a^(30) + a^(28) + a^(26) + a^(24) + a^(22) + a^(20) + a^(19) + a^(18) + a^(17) + a^(16) + a^(15) + a^(14) + a^(13) + a^(12) + a^(11) + a^(10) + 2*a^(9) + a^(8) + 2*a^(7) + a^(6) + 2*a^(5) + a^(4) + 2*a^(3) + a^(2) + 2*a - 1 , a^(30) + a^(29) + a^(28) + a^(27) + a^(26) + a^(25) + a^(24) + a^(23) + a^(22) + a^(21) + a^(20) + a^(19) + a^(18) + a^(17) + a^(16) + a^(15) + a^(14) + a^(13) + a^(12) + a^(11) + a^(10) + a^(9) + a^(8) + a^(7) + a^(6) + a^(5) + a^(4) + a^(3) + a^(2) + 2*a + 2 , a^(28) - a^(27) - a^(26) + a^(25) + 2*a^(24) - 2*a^(23) - 2*a^(22) + 2*a^(21) + 2*a^(20) - 2*a^(19) - a^(18) + a^(17) + a^(14) - a^(13) - 2*a^(12) + 2*a^(11) + 2*a^(10) - 2*a^(9) - 2*a^(8) + 2*a^(7) + a^(6) - a^(5) - a^(4) + a^(3) - 1 , a^(29) + a^(23) + a^(22) + a^(20) - a^(19) + a^(16) + 2*a^(14) - a^(13) + a^(12) - 2*a^(11) + 2*a^(8) + 3*a^(6) - a^(5) - a^(3) + 4 , 3*a^(30) - 4*a^(29) + 5*a^(28) - 2*a^(27) + 3*a^(26) - 4*a^(25) + a^(24) - 3*a^(23) + 3*a^(22) + a^(21) + a^(19) - 4*a^(18) + 2*a^(17) - a^(16) + 4*a^(15) - a^(14) - a^(13) - 3*a^(12) - 2*a^(11) + 4*a^(10) + a^(9) + 5*a^(8) - 4*a^(7) - a^(6) - 5*a^(5) + 4*a^(4) + 5*a^(2) - 3*a - 11 , 19*a^(30) + 16*a^(29) + 9*a^(28) - a^(27) - 9*a^(26) - 20*a^(25) - 27*a^(24) - 29*a^(23) - 28*a^(22) - 20*a^(21) - 9*a^(20) + 5*a^(19) + 21*a^(18) + 34*a^(17) + 40*a^(16) + 44*a^(15) + 39*a^(14) + 23*a^(13) + 7*a^(12) - 16*a^(11) - 38*a^(10) - 54*a^(9) - 66*a^(8) - 63*a^(7) - 50*a^(6) - 29*a^(5) + 2*a^(4) + 37*a^(3) + 66*a^(2) + 87*a + 59 , a^(30) - a^(29) - a^(28) + 3*a^(27) - a^(25) - a^(23) + a^(21) + 2*a^(20) - 2*a^(19) - 2*a^(18) + a^(17) - 2*a^(16) + 3*a^(15) + 4*a^(14) - 4*a^(13) - a^(12) - a^(11) - 2*a^(10) + 5*a^(9) + 4*a^(8) - 2*a^(7) - 4*a^(6) - 2*a^(5) - 2*a^(4) + 2*a^(3) + 8*a^(2) - 2*a - 7 , a^(30) + a^(29) - 2*a^(28) - 5*a^(27) - 4*a^(26) - 8*a^(25) - 7*a^(24) - 5*a^(23) - 4*a^(22) + 2*a^(21) + 6*a^(20) + 8*a^(19) + 10*a^(18) + 10*a^(17) + 7*a^(16) + 7*a^(15) + 2*a^(14) - 5*a^(13) - 7*a^(12) - 15*a^(11) - 15*a^(10) - 12*a^(9) - 12*a^(8) - 4*a^(7) + 4*a^(5) + 13*a^(4) + 19*a^(3) + 22*a^(2) + 24*a + 14 , 4*a^(30) - 6*a^(29) + 6*a^(28) - 5*a^(27) + a^(26) + 3*a^(25) - 8*a^(24) + 10*a^(23) - 7*a^(22) + 4*a^(21) + 2*a^(20) - 6*a^(19) + 5*a^(18) - 4*a^(17) + 4*a^(16) - 5*a^(15) + 4*a^(14) - 3*a^(13) - a^(12) + 8*a^(11) - 10*a^(10) + 11*a^(9) - 8*a^(8) + a^(7) + 7*a^(6) - 13*a^(5) + 8*a^(4) - 6*a^(3) + 3*a^(2) + 3*a - 5 , 3*a^(30) - 5*a^(29) + 6*a^(27) - 5*a^(26) - 6*a^(25) + 14*a^(24) - 13*a^(23) + 3*a^(22) + 5*a^(21) - 3*a^(20) - 7*a^(19) + 13*a^(18) - 7*a^(17) - 8*a^(16) + 16*a^(15) - 9*a^(14) - 3*a^(13) + 8*a^(12) - 17*a^(10) + 19*a^(9) - 7*a^(8) - 11*a^(7) + 15*a^(6) - 2*a^(5) - 13*a^(4) + 11*a^(3) + 7*a^(2) - 26*a + 17 , 6*a^(30) + 6*a^(29) + 8*a^(28) + 9*a^(27) + 6*a^(26) + 13*a^(25) + 4*a^(24) + 11*a^(23) + 4*a^(22) + 6*a^(21) + 2*a^(20) + a^(19) - 3*a^(18) - 5*a^(17) - 7*a^(16) - 14*a^(15) - 8*a^(14) - 21*a^(13) - 14*a^(12) - 20*a^(11) - 18*a^(10) - 19*a^(9) - 15*a^(8) - 16*a^(7) - 11*a^(6) - 4*a^(5) - 5*a^(4) + 10*a^(3) + 5*a^(2) + 21*a + 11 , 6*a^(30) + 3*a^(29) + 3*a^(28) + 4*a^(27) + 3*a^(25) + a^(24) - 4*a^(23) - 7*a^(21) - 5*a^(20) - 5*a^(19) - 11*a^(18) - 8*a^(17) - 9*a^(16) - 11*a^(15) - 5*a^(14) - 10*a^(13) - 8*a^(12) - 4*a^(11) - 5*a^(10) + a^(9) + 2*a^(8) + 3*a^(7) + 9*a^(6) + 12*a^(5) + 17*a^(4) + 17*a^(3) + 19*a^(2) + 19*a + 8 , 14*a^(30) + 2*a^(29) - 16*a^(28) + 11*a^(27) + 7*a^(26) - 13*a^(25) + 9*a^(24) + 4*a^(23) - 15*a^(22) + 11*a^(21) + 5*a^(20) - 17*a^(19) + 17*a^(18) + 11*a^(17) - 28*a^(16) + 9*a^(15) + 20*a^(14) - 25*a^(13) + 4*a^(12) + 26*a^(11) - 20*a^(10) - 3*a^(9) + 19*a^(8) - 19*a^(7) + 4*a^(6) + 23*a^(5) - 27*a^(4) + 4*a^(3) + 36*a^(2) - 32*a - 38 , 4*a^(30) - 5*a^(28) - 3*a^(27) - 6*a^(26) - a^(25) + 5*a^(24) + 14*a^(23) + 15*a^(22) + 13*a^(21) + 11*a^(20) + 3*a^(19) - 5*a^(18) - 12*a^(17) - 5*a^(16) - a^(15) + 7*a^(14) + 15*a^(13) + 27*a^(12) + 26*a^(11) + 15*a^(10) + 6*a^(9) - 4*a^(8) - 13*a^(7) - 20*a^(6) - 4*a^(5) + 14*a^(4) + 30*a^(3) + 37*a^(2) + 45*a + 29 , 11*a^(30) + 2*a^(29) - 14*a^(28) + 5*a^(27) + 12*a^(26) - 13*a^(25) - 7*a^(24) + 17*a^(23) - 2*a^(22) - 19*a^(21) + 11*a^(20) + 14*a^(19) - 21*a^(18) - 4*a^(17) + 22*a^(16) - 8*a^(15) - 20*a^(14) + 17*a^(13) + 10*a^(12) - 25*a^(11) + 2*a^(10) + 23*a^(9) - 18*a^(8) - 15*a^(7) + 26*a^(6) - 3*a^(5) - 28*a^(4) + 17*a^(3) + 18*a^(2) - 33*a - 26 ], 2083870736834916600, []]