Magma V2.19-8 Tue Aug 20 2013 16:18:47 on localhost [Seed = 2118116110] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2949 geometric_solution 6.14113781 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.108219992422 1.817136172063 0 2 4 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555561052956 1.239860664002 5 6 1 0 0132 0132 2310 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.312035011662 0.355153490079 5 6 1 6 2103 2310 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705283797992 0.513372050629 4 4 6 1 1302 2031 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430885455582 0.572964355463 2 5 3 5 0132 1302 2103 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.074342451779 1.257906567439 3 2 4 3 3012 0132 3120 3201 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.174189322434 0.825566521888 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 15972420441743/6319473882319*c_1001_2^18 - 116992009826847/6319473882319*c_1001_2^17 + 261976948648908/6319473882319*c_1001_2^16 + 145057957989394/6319473882319*c_1001_2^15 - 1471132339443194/6319473882319*c_1001_2^14 + 1341065209798147/6319473882319*c_1001_2^13 + 2977981948145409/6319473882319*c_1001_2^12 - 5932990612401895/6319473882319*c_1001_2^11 - 98771842993229/486113375563*c_1001_2^10 + 11155203097434933/6319473882319*c_1001_2^9 - 7839561140845686/6319473882319*c_1001_2^8 - 2506045644891024/6319473882319*c_1001_2^7 + 2566753779929414/6319473882319*c_1001_2^6 + 3701251610208134/6319473882319*c_1001_2^5 - 4082051972399754/6319473882319*c_1001_2^4 + 1064477175865828/6319473882319*c_1001_2^3 - 103915713202939/6319473882319*c_1001_2^2 + 179743619627511/6319473882319*c_1001_2 - 72081960277459/6319473882319, c_0011_0 - 1, c_0011_2 - 793479694095/6319473882319*c_1001_2^18 + 5169288777297/6319473882319*c_1001_2^17 - 8347713522588/6319473882319*c_1001_2^16 - 17266199753632/6319473882319*c_1001_2^15 + 65563033864910/6319473882319*c_1001_2^14 - 6662903684475/6319473882319*c_1001_2^13 - 14932023065669/486113375563*c_1001_2^12 + 161167599751806/6319473882319*c_1001_2^11 + 291374260223401/6319473882319*c_1001_2^10 - 455472128438723/6319473882319*c_1001_2^9 - 71496540469186/6319473882319*c_1001_2^8 + 360470069266733/6319473882319*c_1001_2^7 + 51938383994984/6319473882319*c_1001_2^6 - 260584412673408/6319473882319*c_1001_2^5 + 5974055016578/6319473882319*c_1001_2^4 + 77968828579259/6319473882319*c_1001_2^3 + 10155090836819/6319473882319*c_1001_2^2 - 15251070439/486113375563*c_1001_2 - 9005704754099/6319473882319, c_0011_3 - 578647514487/6319473882319*c_1001_2^18 + 159793650750/486113375563*c_1001_2^17 + 1887003425795/6319473882319*c_1001_2^16 - 15253158646723/6319473882319*c_1001_2^15 + 2311221485143/6319473882319*c_1001_2^14 + 55822064264754/6319473882319*c_1001_2^13 - 28165452745614/6319473882319*c_1001_2^12 - 125734340581586/6319473882319*c_1001_2^11 + 86178221228495/6319473882319*c_1001_2^10 + 174327823003683/6319473882319*c_1001_2^9 - 114483605007753/6319473882319*c_1001_2^8 - 195308705189464/6319473882319*c_1001_2^7 + 107825073598227/6319473882319*c_1001_2^6 + 138709282711705/6319473882319*c_1001_2^5 - 39509251810529/6319473882319*c_1001_2^4 - 73084635181395/6319473882319*c_1001_2^3 + 11281007658079/6319473882319*c_1001_2^2 + 19529839505872/6319473882319*c_1001_2 + 2506640410320/6319473882319, c_0101_0 + 3525681205355/6319473882319*c_1001_2^18 - 17389741704040/6319473882319*c_1001_2^17 + 8758140285787/6319473882319*c_1001_2^16 + 94751846592514/6319473882319*c_1001_2^15 - 144208318615711/6319473882319*c_1001_2^14 - 219690155096181/6319473882319*c_1001_2^13 + 551425949767744/6319473882319*c_1001_2^12 + 199084967070798/6319473882319*c_1001_2^11 - 1109138133661375/6319473882319*c_1001_2^10 + 248810458029304/6319473882319*c_1001_2^9 + 949112076481943/6319473882319*c_1001_2^8 - 200924984552048/6319473882319*c_1001_2^7 - 700892442487696/6319473882319*c_1001_2^6 + 119357442751246/6319473882319*c_1001_2^5 + 260432413666461/6319473882319*c_1001_2^4 + 648765480416/486113375563*c_1001_2^3 - 42437476138312/6319473882319*c_1001_2^2 - 29946305960054/6319473882319*c_1001_2 + 2184715292829/6319473882319, c_0101_1 - 4938332320108/6319473882319*c_1001_2^18 + 26915692753411/6319473882319*c_1001_2^17 - 25165315670255/6319473882319*c_1001_2^16 - 125151620536867/6319473882319*c_1001_2^15 + 270543238685535/6319473882319*c_1001_2^14 + 196400133400626/6319473882319*c_1001_2^13 - 924439036408502/6319473882319*c_1001_2^12 + 138210616326643/6319473882319*c_1001_2^11 + 1669046650607800/6319473882319*c_1001_2^10 - 1175025359783697/6319473882319*c_1001_2^9 - 1090171441544416/6319473882319*c_1001_2^8 + 973467566727650/6319473882319*c_1001_2^7 + 789348771017727/6319473882319*c_1001_2^6 - 693090689556835/6319473882319*c_1001_2^5 - 232346390536478/6319473882319*c_1001_2^4 + 182487157928711/6319473882319*c_1001_2^3 + 44595227609525/6319473882319*c_1001_2^2 + 7698173930396/6319473882319*c_1001_2 - 11585010737724/6319473882319, c_0101_6 - 1528462891938/6319473882319*c_1001_2^18 + 7284544638418/6319473882319*c_1001_2^17 - 2168357464020/6319473882319*c_1001_2^16 - 3343522392919/486113375563*c_1001_2^15 + 56439646743651/6319473882319*c_1001_2^14 + 8841342476861/486113375563*c_1001_2^13 - 236829352637231/6319473882319*c_1001_2^12 - 146307506666213/6319473882319*c_1001_2^11 + 39807627569460/486113375563*c_1001_2^10 - 15091104388356/6319473882319*c_1001_2^9 - 528150605162042/6319473882319*c_1001_2^8 + 60113456631049/6319473882319*c_1001_2^7 + 390585843974914/6319473882319*c_1001_2^6 - 41563466992774/6319473882319*c_1001_2^5 - 168087541037928/6319473882319*c_1001_2^4 + 11321284746328/6319473882319*c_1001_2^3 + 25329122764794/6319473882319*c_1001_2^2 + 5417697783554/6319473882319*c_1001_2 + 3654399837819/6319473882319, c_1001_2^19 - 6*c_1001_2^18 + 8*c_1001_2^17 + 23*c_1001_2^16 - 69*c_1001_2^15 - 12*c_1001_2^14 + 213*c_1001_2^13 - 126*c_1001_2^12 - 337*c_1001_2^11 + 421*c_1001_2^10 + 118*c_1001_2^9 - 329*c_1001_2^8 - 74*c_1001_2^7 + 236*c_1001_2^6 - 11*c_1001_2^5 - 70*c_1001_2^4 + 4*c_1001_2^3 + 5*c_1001_2^2 + 5*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB