Magma V2.19-8 Tue Aug 20 2013 16:17:16 on localhost [Seed = 627358195] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1506 geometric_solution 5.31209953 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.174209197659 0.130574802362 0 0 2 2 0132 2310 2310 0132 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 -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 2.834171925924 2.661275442167 3 1 1 4 0132 3201 0132 0132 0 0 0 0 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 1 0 -1 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.166767471980 0.467435639582 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.035023258813 1.021302871074 6 5 2 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 1 -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.035023258813 1.021302871074 5 4 3 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.943395541765 1.011111873314 6 6 4 3 1302 2031 3201 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494026612934 0.472756072699 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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_2_6' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_4']), '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 13179146008459/1170196905259*c_0101_3^15 - 112213070766892/1170196905259*c_0101_3^14 - 105578688027291/1170196905259*c_0101_3^13 - 252662179429161/1170196905259*c_0101_3^12 + 321798328055563/1170196905259*c_0101_3^11 - 1402942803440896/1170196905259*c_0101_3^10 + 534835704234617/1170196905259*c_0101_3^9 - 4240789172855665/1170196905259*c_0101_3^8 - 1660402569349851/1170196905259*c_0101_3^7 + 3317847140844195/1170196905259*c_0101_3^6 - 2860143721755446/1170196905259*c_0101_3^5 + 4023265226806132/1170196905259*c_0101_3^4 + 4748337509017054/1170196905259*c_0101_3^3 - 831137578716183/1170196905259*c_0101_3^2 - 414899189650149/1170196905259*c_0101_3 - 285385522761722/1170196905259, c_0011_0 - 1, c_0011_2 + 1125132104995/1170196905259*c_0101_3^15 + 196463889001/1170196905259*c_0101_3^14 + 3196855001439/1170196905259*c_0101_3^13 - 7156528824529/1170196905259*c_0101_3^12 + 19370640937736/1170196905259*c_0101_3^11 - 19270200404771/1170196905259*c_0101_3^10 + 49520948477362/1170196905259*c_0101_3^9 + 1900436771637/1170196905259*c_0101_3^8 - 47039267078253/1170196905259*c_0101_3^7 + 52926851573780/1170196905259*c_0101_3^6 - 55104609474576/1170196905259*c_0101_3^5 - 31500301413367/1170196905259*c_0101_3^4 + 26862458802729/1170196905259*c_0101_3^3 - 847053141433/1170196905259*c_0101_3^2 + 2277376563335/1170196905259*c_0101_3 - 1876601562145/1170196905259, c_0011_4 - 1154868234962/1170196905259*c_0011_6*c_0101_3^15 - 421026853407/1170196905259*c_0011_6*c_0101_3^14 - 3551966879350/1170196905259*c_0011_6*c_0101_3^13 + 6659768829797/1170196905259*c_0011_6*c_0101_3^12 - 19148884790088/1170196905259*c_0011_6*c_0101_3^11 + 17415444039749/1170196905259*c_0011_6*c_0101_3^10 - 50957637796441/1170196905259*c_0011_6*c_0101_3^9 - 8085158146594/1170196905259*c_0011_6*c_0101_3^8 + 37984293062398/1170196905259*c_0011_6*c_0101_3^7 - 46556089908956/1170196905259*c_0011_6*c_0101_3^6 + 55699020003349/1170196905259*c_0011_6*c_0101_3^5 + 32780593358131/1170196905259*c_0011_6*c_0101_3^4 - 12655635328257/1170196905259*c_0011_6*c_0101_3^3 + 1734398922372/1170196905259*c_0011_6*c_0101_3^2 - 7488482883272/1170196905259*c_0011_6*c_0101_3 + 961957931063/1170196905259*c_0011_6, c_0011_6^2 + 10587509595486/62020435978727*c_0101_3^15 + 2773159929525/62020435978727*c_0101_3^14 + 30384461677099/62020435978727*c_0101_3^13 - 64082894990100/62020435978727*c_0101_3^12 + 177738780084709/62020435978727*c_0101_3^11 - 164212446042676/62020435978727*c_0101_3^10 + 449678125721020/62020435978727*c_0101_3^9 + 60923262574326/62020435978727*c_0101_3^8 - 432221196852177/62020435978727*c_0101_3^7 + 486824580864853/62020435978727*c_0101_3^6 - 464908181583738/62020435978727*c_0101_3^5 - 369377208150292/62020435978727*c_0101_3^4 + 224345290699349/62020435978727*c_0101_3^3 - 22509438496060/62020435978727*c_0101_3^2 + 18475190447498/62020435978727*c_0101_3 - 9467163599978/62020435978727, c_0101_0 - 1987075577936/1170196905259*c_0101_3^15 - 137910740460/1170196905259*c_0101_3^14 - 5541122550303/1170196905259*c_0101_3^13 + 13264097300886/1170196905259*c_0101_3^12 - 35280175843690/1170196905259*c_0101_3^11 + 37319519676375/1170196905259*c_0101_3^10 - 89790977123064/1170196905259*c_0101_3^9 + 4721880636942/1170196905259*c_0101_3^8 + 86805798821976/1170196905259*c_0101_3^7 - 101410301963232/1170196905259*c_0101_3^6 + 106519976942438/1170196905259*c_0101_3^5 + 49746758174930/1170196905259*c_0101_3^4 - 58504518648628/1170196905259*c_0101_3^3 + 4152277678331/1170196905259*c_0101_3^2 - 4613401091652/1170196905259*c_0101_3 + 2756216976967/1170196905259, c_0101_1 - 821203556019/1170196905259*c_0101_3^15 - 161228254716/1170196905259*c_0101_3^14 - 2355100444324/1170196905259*c_0101_3^13 + 5144742756203/1170196905259*c_0101_3^12 - 14110066602916/1170196905259*c_0101_3^11 + 13784593335312/1170196905259*c_0101_3^10 - 36096408835172/1170196905259*c_0101_3^9 - 2189147592250/1170196905259*c_0101_3^8 + 33455531458552/1170196905259*c_0101_3^7 - 38833059657142/1170196905259*c_0101_3^6 + 39134288234000/1170196905259*c_0101_3^5 + 22943054005095/1170196905259*c_0101_3^4 - 19121732662893/1170196905259*c_0101_3^3 + 649143402915/1170196905259*c_0101_3^2 - 1888709616517/1170196905259*c_0101_3 + 1904038286814/1170196905259, c_0101_3^16 + c_0101_3^15 + 3*c_0101_3^14 - 4*c_0101_3^13 + 12*c_0101_3^12 - 3*c_0101_3^11 + 30*c_0101_3^10 + 38*c_0101_3^9 - 40*c_0101_3^8 + 13*c_0101_3^7 - 11*c_0101_3^6 - 69*c_0101_3^5 + c_0101_3^4 + 19*c_0101_3^3 + 2*c_0101_3^2 + c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB