Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 1090575783] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1890 geometric_solution 5.50837246 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 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.517412355449 0.302088593896 2 0 3 0 0132 2310 0132 0132 0 0 0 0 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 1 -1 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 1.041219455274 0.539446953139 1 3 4 5 0132 0213 0132 0132 0 0 0 0 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 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.639755417414 0.440584246269 5 4 2 1 0132 1023 0213 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 1 0 -1 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.639755417414 0.440584246269 3 6 6 2 1023 0132 1023 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 -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.864633036915 0.464913393665 3 5 2 5 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.763280204516 0.963500667426 6 4 4 6 3012 0132 1023 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 -1 1 -1 0 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.545929025050 0.441823038073 ==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_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], '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_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : 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_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 25986871775147/138364160649*c_0101_6^15 - 3476245282336/46121386883*c_0101_6^14 - 40564239573098/46121386883*c_0101_6^13 - 83014848924745/138364160649*c_0101_6^12 - 349510340095591/138364160649*c_0101_6^11 + 181467046534583/46121386883*c_0101_6^10 + 138323261529593/12578560059*c_0101_6^9 + 60244006591654/46121386883*c_0101_6^8 - 904182420490685/138364160649*c_0101_6^7 - 536336433982696/138364160649*c_0101_6^6 - 949641567138115/138364160649*c_0101_6^5 - 349221215457940/138364160649*c_0101_6^4 + 906754144878200/138364160649*c_0101_6^3 + 296056683473443/138364160649*c_0101_6^2 - 149052922683871/138364160649*c_0101_6 - 688553861055/46121386883, c_0011_0 - 1, c_0011_1 + 8235437851/4192853353*c_0101_6^15 - 6501292779/4192853353*c_0101_6^14 - 37671606139/4192853353*c_0101_6^13 - 11296438586/4192853353*c_0101_6^12 - 99012655258/4192853353*c_0101_6^11 + 217181433869/4192853353*c_0101_6^10 + 422284386074/4192853353*c_0101_6^9 - 134605336536/4192853353*c_0101_6^8 - 327996999727/4192853353*c_0101_6^7 - 69807184305/4192853353*c_0101_6^6 - 242778003619/4192853353*c_0101_6^5 + 3770322691/4192853353*c_0101_6^4 + 343799944954/4192853353*c_0101_6^3 - 13299821183/4192853353*c_0101_6^2 - 80257319890/4192853353*c_0101_6 + 18619307102/4192853353, c_0011_3 + 13579636921/4192853353*c_0101_6^15 - 8589573906/4192853353*c_0101_6^14 - 62741499714/4192853353*c_0101_6^13 - 28762869180/4192853353*c_0101_6^12 - 171167196683/4192853353*c_0101_6^11 + 329262636939/4192853353*c_0101_6^10 + 737790820911/4192853353*c_0101_6^9 - 91832620047/4192853353*c_0101_6^8 - 512935993795/4192853353*c_0101_6^7 - 195758375899/4192853353*c_0101_6^6 - 444900669277/4192853353*c_0101_6^5 - 73480263128/4192853353*c_0101_6^4 + 528422837264/4192853353*c_0101_6^3 + 57462854379/4192853353*c_0101_6^2 - 110041448547/4192853353*c_0101_6 + 16955460986/4192853353, c_0101_0 - 26318792248/4192853353*c_0101_6^15 + 18454456281/4192853353*c_0101_6^14 + 119368662123/4192853353*c_0101_6^13 + 47989422905/4192853353*c_0101_6^12 + 331542586863/4192853353*c_0101_6^11 - 657579689215/4192853353*c_0101_6^10 - 1366690691961/4192853353*c_0101_6^9 + 256126474880/4192853353*c_0101_6^8 + 944928719580/4192853353*c_0101_6^7 + 287255145777/4192853353*c_0101_6^6 + 815568898017/4192853353*c_0101_6^5 + 70070234107/4192853353*c_0101_6^4 - 999103936320/4192853353*c_0101_6^3 - 32301327437/4192853353*c_0101_6^2 + 223217029192/4192853353*c_0101_6 - 38723694658/4192853353, c_0101_1 - 4100319441/4192853353*c_0101_6^15 + 4353929513/4192853353*c_0101_6^14 + 17705972279/4192853353*c_0101_6^13 + 432836882/4192853353*c_0101_6^12 + 48522585318/4192853353*c_0101_6^11 - 120949133720/4192853353*c_0101_6^10 - 177232943049/4192853353*c_0101_6^9 + 125523164137/4192853353*c_0101_6^8 + 134745337244/4192853353*c_0101_6^7 - 10050807550/4192853353*c_0101_6^6 + 97555112883/4192853353*c_0101_6^5 - 53183595107/4192853353*c_0101_6^4 - 160199748405/4192853353*c_0101_6^3 + 45170145479/4192853353*c_0101_6^2 + 42492955893/4192853353*c_0101_6 - 9670979736/4192853353, c_0101_4 - 6748926686/4192853353*c_0101_6^15 + 6221368271/4192853353*c_0101_6^14 + 29418917108/4192853353*c_0101_6^13 + 5393928795/4192853353*c_0101_6^12 + 82648157820/4192853353*c_0101_6^11 - 185921026727/4192853353*c_0101_6^10 - 309029280271/4192853353*c_0101_6^9 + 145213121901/4192853353*c_0101_6^8 + 222959231938/4192853353*c_0101_6^7 + 2636860696/4192853353*c_0101_6^6 + 177060318594/4192853353*c_0101_6^5 - 39053739566/4192853353*c_0101_6^4 - 260151536615/4192853353*c_0101_6^3 + 53378458339/4192853353*c_0101_6^2 + 67835764335/4192853353*c_0101_6 - 18394029419/4192853353, c_0101_6^16 - 5*c_0101_6^14 - 5*c_0101_6^13 - 14*c_0101_6^12 + 16*c_0101_6^11 + 69*c_0101_6^10 + 27*c_0101_6^9 - 41*c_0101_6^8 - 35*c_0101_6^7 - 39*c_0101_6^6 - 25*c_0101_6^5 + 35*c_0101_6^4 + 27*c_0101_6^3 - 7*c_0101_6^2 - 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB