Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 1528481691] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2127 geometric_solution 5.61755709 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 -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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707520572412 0.425861847429 0 5 6 5 0132 0132 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 -1 1 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 -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.768160873874 0.477104104863 4 0 2 2 1302 0132 2031 1302 0 0 0 0 0 -1 0 1 1 0 -1 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 -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.697935298436 0.229964213924 6 4 6 0 0321 2031 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664625601117 1.967134370770 3 2 0 5 1302 2031 0132 0132 0 0 0 0 0 -1 1 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 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.037505881974 0.624482437464 1 1 4 6 3201 0132 0132 3012 0 0 0 0 0 0 0 0 1 0 0 -1 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 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 0.823942764930 1.695600228869 3 3 5 1 0321 1230 1230 0132 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 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 0 0 0 0 0 0 0 0 0 0 0.766382563146 0.343312946219 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : negation(d['c_1001_6']), 'c_1100_4' : negation(d['c_1001_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_1001_6']), 'c_1100_3' : negation(d['c_1001_6']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : negation(d['c_0011_6']), 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_3, c_0011_4, c_0011_6, c_0101_3, c_0110_2, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 60358236409363/21512253699076*c_1001_6^16 - 45489482235216/5378063424769*c_1001_6^15 + 309761280774951/21512253699076*c_1001_6^14 + 591921887299823/21512253699076*c_1001_6^13 - 541436969337219/10756126849538*c_1001_6^12 + 841233347091219/10756126849538*c_1001_6^11 + 558334543976117/10756126849538*c_1001_6^10 - 2630637529606089/5378063424769*c_1001_6^9 + 2246569922436822/5378063424769*c_1001_6^8 + 2621652038600018/5378063424769*c_1001_6^7 - 6442533232851391/5378063424769*c_1001_6^6 + 19982154530787397/21512253699076*c_1001_6^5 + 5067804363824655/21512253699076*c_1001_6^4 - 7349705237560891/5378063424769*c_1001_6^3 + 14081577324633459/10756126849538*c_1001_6^2 - 1989615969392852/5378063424769*c_1001_6 - 1567504093358781/21512253699076, c_0011_0 - 1, c_0011_3 - c_1001_6, c_0011_4 - 22784505633/768294774967*c_1001_6^16 - 236769742511/1536589549934*c_1001_6^15 - 145306980318/768294774967*c_1001_6^14 - 33620843521/768294774967*c_1001_6^13 - 399788251141/1536589549934*c_1001_6^12 + 315975673309/768294774967*c_1001_6^11 + 2301537476387/1536589549934*c_1001_6^10 - 848795493876/768294774967*c_1001_6^9 - 777180879725/1536589549934*c_1001_6^8 + 2143777066761/768294774967*c_1001_6^7 - 3986100141767/1536589549934*c_1001_6^6 - 201410776699/768294774967*c_1001_6^5 + 2843339623233/768294774967*c_1001_6^4 - 5309745632813/1536589549934*c_1001_6^3 + 46603263424/768294774967*c_1001_6^2 + 1277088129787/1536589549934*c_1001_6 - 761719611304/768294774967, c_0011_6 - 307801501907/1536589549934*c_1001_6^16 - 1283811302847/1536589549934*c_1001_6^15 + 61635505785/768294774967*c_1001_6^14 + 3141242517651/1536589549934*c_1001_6^13 - 2238140161067/1536589549934*c_1001_6^12 + 6319494501053/1536589549934*c_1001_6^11 + 13479888878145/1536589549934*c_1001_6^10 - 40164526823369/1536589549934*c_1001_6^9 + 3588641736959/1536589549934*c_1001_6^8 + 58043194313745/1536589549934*c_1001_6^7 - 76365641022531/1536589549934*c_1001_6^6 + 15161389921065/768294774967*c_1001_6^5 + 55259600530887/1536589549934*c_1001_6^4 - 101636424094113/1536589549934*c_1001_6^3 + 54401972668255/1536589549934*c_1001_6^2 + 98035362361/1536589549934*c_1001_6 - 525403979236/768294774967, c_0101_3 - 166657013609/1536589549934*c_1001_6^16 - 353246493221/768294774967*c_1001_6^15 - 7141785702/768294774967*c_1001_6^14 + 1677936606507/1536589549934*c_1001_6^13 - 359081599968/768294774967*c_1001_6^12 + 3494668635885/1536589549934*c_1001_6^11 + 3539007100825/768294774967*c_1001_6^10 - 19430642794559/1536589549934*c_1001_6^9 - 904926561653/768294774967*c_1001_6^8 + 27504021200247/1536589549934*c_1001_6^7 - 14972651592309/768294774967*c_1001_6^6 + 3641017228518/768294774967*c_1001_6^5 + 27419379257271/1536589549934*c_1001_6^4 - 20015663719433/768294774967*c_1001_6^3 + 10106771815203/1536589549934*c_1001_6^2 + 4655345173229/768294774967*c_1001_6 - 274409353136/768294774967, c_0110_2 + 77196461757/1536589549934*c_1001_6^16 + 117396371484/768294774967*c_1001_6^15 - 225838417344/768294774967*c_1001_6^14 - 1189741374059/1536589549934*c_1001_6^13 + 311035314988/768294774967*c_1001_6^12 - 2137924915799/1536589549934*c_1001_6^11 - 886759575360/768294774967*c_1001_6^10 + 13632217126871/1536589549934*c_1001_6^9 - 2609325158509/768294774967*c_1001_6^8 - 15487241857245/1536589549934*c_1001_6^7 + 12574857904149/768294774967*c_1001_6^6 - 6694894661122/768294774967*c_1001_6^5 - 11647119103163/1536589549934*c_1001_6^4 + 15677836976969/768294774967*c_1001_6^3 - 20411347409047/1536589549934*c_1001_6^2 - 197716885783/768294774967*c_1001_6 + 172377433215/768294774967, c_1001_6^17 + 4*c_1001_6^16 - c_1001_6^15 - 10*c_1001_6^14 + 8*c_1001_6^13 - 22*c_1001_6^12 - 39*c_1001_6^11 + 132*c_1001_6^10 - 27*c_1001_6^9 - 176*c_1001_6^8 + 253*c_1001_6^7 - 117*c_1001_6^6 - 156*c_1001_6^5 + 320*c_1001_6^4 - 186*c_1001_6^3 + 5*c_1001_6^2 + 5*c_1001_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB