Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 3035965581] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s068 geometric_solution 3.61020688 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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.652125958101 0.050795818131 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 -1 1 1 0 -1 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.823675667888 0.067928030291 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 1 -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.653358710692 0.242286557614 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 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 0 0 0 -1 0 0 1 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.983924618759 1.949319882998 3 5 5 5 0132 3201 2310 1230 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 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.008672216866 0.983186346718 4 4 4 3 3012 3201 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 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.008672216866 0.983186346718 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 136145445839728/12878789482159*c_0101_4^15 - 382467724087451/12878789482159*c_0101_4^14 - 1559625197166002/12878789482159*c_0101_4^13 + 9125053864752048/12878789482159*c_0101_4^12 - 11959527407051967/12878789482159*c_0101_4^11 - 11311007263582497/12878789482159*c_0101_4^10 + 36746012147051416/12878789482159*c_0101_4^9 - 11193058003903698/12878789482159*c_0101_4^8 - 2715986876633318/12878789482159*c_0101_4^7 - 80623762583586612/12878789482159*c_0101_4^6 + 59903763593915591/12878789482159*c_0101_4^5 + 43534141583419865/12878789482159*c_0101_4^4 - 33516808384647970/12878789482159*c_0101_4^3 - 4770502883200477/12878789482159*c_0101_4^2 + 4227637022724121/12878789482159*c_0101_4 - 72511317088044/12878789482159, c_0011_0 - 1, c_0011_1 + 9533748199888/12878789482159*c_0101_4^15 + 15795330657037/12878789482159*c_0101_4^14 - 137724918258304/12878789482159*c_0101_4^13 + 93312840060072/12878789482159*c_0101_4^12 + 844313243505741/12878789482159*c_0101_4^11 - 968540706037174/12878789482159*c_0101_4^10 - 1192151429960172/12878789482159*c_0101_4^9 + 2506325415358156/12878789482159*c_0101_4^8 + 3209815481275386/12878789482159*c_0101_4^7 + 1206731983191416/12878789482159*c_0101_4^6 - 6544834088242021/12878789482159*c_0101_4^5 - 651475851900421/12878789482159*c_0101_4^4 + 2392720409217739/12878789482159*c_0101_4^3 + 225399992606138/12878789482159*c_0101_4^2 - 165750765241888/12878789482159*c_0101_4 - 50294445252755/12878789482159, c_0011_5 + 2205318063134/12878789482159*c_0101_4^15 + 9673829524488/12878789482159*c_0101_4^14 - 35320400417871/12878789482159*c_0101_4^13 - 54926190235693/12878789482159*c_0101_4^12 + 425519778513976/12878789482159*c_0101_4^11 - 239536648276596/12878789482159*c_0101_4^10 - 775204375890050/12878789482159*c_0101_4^9 + 1001548460837908/12878789482159*c_0101_4^8 + 1186238829575587/12878789482159*c_0101_4^7 + 1343941436295575/12878789482159*c_0101_4^6 - 2856666520039749/12878789482159*c_0101_4^5 - 612031600793569/12878789482159*c_0101_4^4 + 1023801560189505/12878789482159*c_0101_4^3 + 90389182287174/12878789482159*c_0101_4^2 - 59891393378605/12878789482159*c_0101_4 - 16157785029582/12878789482159, c_0101_0 - 11429799916340/12878789482159*c_0101_4^15 + 16553451521986/12878789482159*c_0101_4^14 + 139966747993537/12878789482159*c_0101_4^13 - 563777682296684/12878789482159*c_0101_4^12 + 405678212310845/12878789482159*c_0101_4^11 + 934591648107324/12878789482159*c_0101_4^10 - 1620445153936640/12878789482159*c_0101_4^9 - 169727237227518/12878789482159*c_0101_4^8 - 1272118462583400/12878789482159*c_0101_4^7 + 4338757531083779/12878789482159*c_0101_4^6 - 1244133019605703/12878789482159*c_0101_4^5 - 1616812472044569/12878789482159*c_0101_4^4 + 690618179297980/12878789482159*c_0101_4^3 + 92599047355004/12878789482159*c_0101_4^2 - 64611855683520/12878789482159*c_0101_4 - 11299996168253/12878789482159, c_0101_1 + 12220051736790/12878789482159*c_0101_4^15 + 18347444760200/12878789482159*c_0101_4^14 - 176904479210931/12878789482159*c_0101_4^13 + 143800623136241/12878789482159*c_0101_4^12 + 1028454714297302/12878789482159*c_0101_4^11 - 1282755874539048/12878789482159*c_0101_4^10 - 1393565849738515/12878789482159*c_0101_4^9 + 3196713469666136/12878789482159*c_0101_4^8 + 3930852278451588/12878789482159*c_0101_4^7 + 1065299165289186/12878789482159*c_0101_4^6 - 8282925687722691/12878789482159*c_0101_4^5 - 521628602106138/12878789482159*c_0101_4^4 + 3154630315039790/12878789482159*c_0101_4^3 + 230750671305891/12878789482159*c_0101_4^2 - 241452286622375/12878789482159*c_0101_4 - 56260779122427/12878789482159, c_0101_4^16 - c_0101_4^15 - 13*c_0101_4^14 + 44*c_0101_4^13 - 12*c_0101_4^12 - 103*c_0101_4^11 + 108*c_0101_4^10 + 90*c_0101_4^9 + 104*c_0101_4^8 - 338*c_0101_4^7 - 70*c_0101_4^6 + 242*c_0101_4^5 + 13*c_0101_4^4 - 58*c_0101_4^3 - 5*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.220 seconds, Total memory usage: 32.09MB