/* 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 - 3*x - 3, 31, 12, [1, 15], -3387218110869654681977390701144469962323789296982843961159719, [3, 7, 2713, 14387, 3413878991, 72413150415649, 243568924508677], [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 + 1 , a^(16) - 2*a - 1 , a^(29) + a^(28) - 2*a^(27) + a^(25) + a^(24) - 3*a^(23) + a^(22) + a^(21) + a^(20) - 4*a^(19) + 2*a^(18) + 2*a^(17) - a^(16) - 3*a^(15) + 2*a^(14) + 2*a^(13) - 2*a^(12) - 2*a^(11) + 3*a^(10) + a^(9) - 2*a^(8) - 2*a^(7) + 5*a^(6) - 5*a^(4) + 6*a^(2) - a - 7 , 6*a^(30) - 11*a^(29) + 8*a^(28) - a^(27) - a^(26) - a^(25) - 3*a^(24) + 11*a^(23) - 12*a^(22) + 4*a^(21) + 3*a^(19) - 2*a^(18) - 9*a^(17) + 15*a^(16) - 8*a^(15) - 4*a^(13) + 7*a^(12) + 4*a^(11) - 17*a^(10) + 12*a^(9) + 2*a^(7) - 12*a^(6) + 4*a^(5) + 15*a^(4) - 17*a^(3) + a^(2) + a - 4 , 20*a^(30) - 20*a^(29) + 18*a^(28) - 17*a^(27) + 15*a^(26) - 13*a^(25) + 13*a^(24) - 12*a^(23) + 12*a^(22) - 11*a^(21) + 8*a^(20) - 8*a^(19) + 5*a^(18) - 6*a^(17) + 5*a^(16) - 4*a^(15) + 5*a^(14) - 2*a^(13) + 2*a^(12) - a^(10) - a^(9) - a^(8) + 3*a^(5) - a^(4) + 7*a^(3) - 2*a^(2) + 2*a - 62 , a^(30) - a^(29) + a^(28) - a^(27) - a^(26) + a^(25) - a^(24) + 3*a^(23) - 4*a^(22) + 3*a^(21) - a^(20) + 2*a^(19) - 2*a^(17) - 3*a^(15) + 4*a^(14) - a^(12) - a^(10) + 4*a^(9) - 2*a^(8) + 2*a^(7) - 4*a^(6) - 2*a^(5) + 3*a^(4) + 2*a^(2) - 4*a + 1 , 2*a^(30) - 5*a^(29) - a^(28) + 8*a^(27) - 5*a^(26) - 4*a^(25) + 7*a^(24) - 7*a^(22) + 3*a^(21) + 6*a^(20) - 7*a^(19) - 3*a^(18) + 8*a^(17) - a^(16) - 10*a^(15) + 8*a^(14) + 5*a^(13) - 10*a^(12) - 2*a^(11) + 14*a^(10) - 7*a^(9) - 10*a^(8) + 14*a^(7) + 4*a^(6) - 20*a^(5) + 10*a^(4) + 14*a^(3) - 17*a^(2) - 5*a + 17 , 4*a^(30) + 4*a^(29) - 9*a^(28) + 9*a^(27) - 2*a^(26) - 7*a^(25) + 13*a^(24) - 6*a^(23) - 5*a^(22) + 10*a^(21) - 9*a^(20) + 4*a^(19) + 3*a^(18) - 16*a^(17) + 14*a^(16) + 4*a^(15) - 17*a^(14) + 12*a^(13) - a^(12) - 2*a^(11) + 13*a^(10) - 19*a^(9) + 5*a^(8) + 19*a^(7) - 22*a^(6) + 6*a^(5) + 6*a^(4) - 17*a^(3) + 19*a^(2) - 9*a - 28 , 6*a^(30) - 3*a^(29) + 2*a^(28) + 3*a^(27) - 3*a^(26) + 8*a^(25) - 11*a^(24) + 11*a^(23) - 16*a^(22) + 13*a^(21) - 16*a^(20) + 15*a^(19) - 10*a^(18) + 11*a^(17) - a^(16) + 6*a^(14) - 13*a^(13) + 11*a^(12) - 19*a^(11) + 15*a^(10) - 15*a^(9) + 17*a^(8) - 5*a^(7) + 10*a^(6) + 2*a^(5) - 2*a^(4) - 12*a^(2) + 2*a - 32 , 2*a^(28) - a^(26) - 2*a^(25) + a^(23) + a^(22) + a^(21) + a^(20) + a^(19) - 2*a^(18) - 3*a^(17) - a^(16) + a^(15) + 2*a^(14) + a^(13) - a^(11) - a^(10) - 2*a^(9) - 2*a^(8) + 3*a^(7) + 5*a^(6) + 4*a^(5) - a^(4) - 4*a^(3) - 4*a^(2) - 2*a - 1 , a^(30) - 16*a^(29) - 3*a^(28) + 13*a^(27) - 2*a^(26) - 16*a^(25) + 5*a^(24) + 19*a^(23) - 5*a^(22) - 14*a^(21) + 15*a^(20) + 23*a^(19) - 9*a^(18) - 10*a^(17) + 25*a^(16) + 21*a^(15) - 18*a^(14) - 7*a^(13) + 32*a^(12) + 12*a^(11) - 31*a^(10) - 7*a^(9) + 32*a^(8) - 6*a^(7) - 46*a^(6) - 4*a^(5) + 29*a^(4) - 29*a^(3) - 59*a^(2) + 6*a + 26 , 16*a^(30) - 17*a^(29) + 2*a^(28) + 19*a^(27) - 20*a^(26) + 11*a^(25) + 3*a^(24) - 24*a^(23) + 23*a^(22) - a^(21) - 13*a^(20) + 25*a^(19) - 23*a^(18) - 8*a^(17) + 27*a^(16) - 23*a^(15) + 16*a^(14) + 14*a^(13) - 39*a^(12) + 21*a^(11) + a^(10) - 20*a^(9) + 44*a^(8) - 21*a^(7) - 22*a^(6) + 30*a^(5) - 36*a^(4) + 18*a^(3) + 39*a^(2) - 46*a - 29 , 5*a^(30) - 4*a^(29) - 3*a^(28) + 3*a^(27) + 3*a^(26) - 2*a^(25) - 5*a^(24) + 4*a^(23) + 5*a^(22) - 7*a^(21) + 4*a^(19) + 2*a^(18) - 7*a^(17) + 7*a^(15) + a^(14) - 13*a^(13) + 6*a^(12) + 8*a^(11) - 4*a^(10) - 6*a^(9) - 2*a^(8) + 18*a^(7) - 14*a^(6) - 4*a^(5) + 9*a^(4) + 3*a^(3) - 6*a^(2) - 12*a + 5 , 3*a^(30) - 4*a^(29) + 5*a^(28) - 5*a^(27) + 4*a^(26) - a^(25) - 3*a^(24) + 5*a^(23) - 5*a^(22) + 3*a^(21) - a^(20) + a^(19) - 2*a^(18) + a^(17) + a^(16) - 4*a^(15) + 6*a^(14) - 5*a^(13) + 2*a^(12) - a^(11) + a^(10) + a^(9) - 3*a^(8) + 7*a^(7) - 11*a^(6) + 8*a^(5) - 5*a^(3) + 10*a^(2) - 9*a - 5 , a^(30) - a^(28) + a^(27) - a^(25) + a^(23) - a^(19) + 2*a^(17) - a^(16) - 3*a^(15) + 2*a^(14) + 3*a^(13) - 2*a^(12) - 3*a^(11) + 3*a^(10) - 3*a^(8) + a^(7) + 3*a^(6) - a^(5) - a^(4) + 2*a^(3) - 3*a^(2) - 2*a + 1 ], 1235026277671475000, []]