Magma V2.19-8 Tue Aug 20 2013 16:18:44 on localhost [Seed = 2850567389] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2902 geometric_solution 6.10872540 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 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 1 -1 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.868299620150 0.549294680578 0 1 0 1 0132 2310 1023 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 0 0 0 0 0 -1 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745146620754 0.230546491820 4 0 3 5 0132 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.362865924299 0.853615797940 6 2 0 4 0132 3201 0132 1023 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 -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.362865924299 0.853615797940 2 6 5 3 0132 2103 1230 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 1.035767359333 0.574476282542 6 6 2 4 2031 1302 0132 3012 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 0 0 0.153104244635 1.538948543115 3 4 5 5 0132 2103 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0.153104244635 1.538948543115 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 22646926301542/42374393320315*c_0101_4^16 + 131236066794173/42374393320315*c_0101_4^15 - 341110836611199/42374393320315*c_0101_4^14 + 34602096965824/2230231227385*c_0101_4^13 - 938023777304983/42374393320315*c_0101_4^12 + 806447659864426/42374393320315*c_0101_4^11 - 1203903244449746/42374393320315*c_0101_4^10 + 2821107984712529/42374393320315*c_0101_4^9 - 3699331690578474/42374393320315*c_0101_4^8 + 548901667733269/6053484760045*c_0101_4^7 - 608347977224936/8474878664063*c_0101_4^6 + 166774958940201/42374393320315*c_0101_4^5 + 1081668723545532/42374393320315*c_0101_4^4 - 110332417136969/6053484760045*c_0101_4^3 + 2508805319892/117380590915*c_0101_4^2 - 869075271639/117380590915*c_0101_4 + 74694885619542/42374393320315, c_0011_0 - 1, c_0011_3 + 3924165402/23476118183*c_0101_4^16 - 16149789875/23476118183*c_0101_4^15 + 28954962543/23476118183*c_0101_4^14 - 43593093067/23476118183*c_0101_4^13 + 34235412885/23476118183*c_0101_4^12 + 3362573857/23476118183*c_0101_4^11 + 109345682606/23476118183*c_0101_4^10 - 268516465804/23476118183*c_0101_4^9 + 133954575049/23476118183*c_0101_4^8 + 2476841359/3353731169*c_0101_4^7 - 9937708059/23476118183*c_0101_4^6 + 53303860942/23476118183*c_0101_4^5 - 32672993364/23476118183*c_0101_4^4 - 4507697262/3353731169*c_0101_4^3 - 224136722/23476118183*c_0101_4^2 + 36162788224/23476118183*c_0101_4 - 9719730525/23476118183, c_0011_5 + c_0101_4, c_0101_0 + 5300047114/23476118183*c_0101_4^16 - 20548719129/23476118183*c_0101_4^15 + 34220754580/23476118183*c_0101_4^14 - 46567474614/23476118183*c_0101_4^13 + 23320245712/23476118183*c_0101_4^12 + 18086944431/23476118183*c_0101_4^11 + 145008935200/23476118183*c_0101_4^10 - 351352635945/23476118183*c_0101_4^9 + 146975088327/23476118183*c_0101_4^8 + 26735017600/3353731169*c_0101_4^7 - 91566902626/23476118183*c_0101_4^6 - 181856696352/23476118183*c_0101_4^5 + 117930290945/23476118183*c_0101_4^4 + 638292261/3353731169*c_0101_4^3 - 10143795325/23476118183*c_0101_4^\ 2 + 34018437549/23476118183*c_0101_4 - 10453123258/23476118183, c_0101_1 + 1508954434/23476118183*c_0101_4^16 - 6362526075/23476118183*c_0101_4^15 + 11345222561/23476118183*c_0101_4^14 - 16778737341/23476118183*c_0101_4^13 + 13172987362/23476118183*c_0101_4^12 + 3393216752/23476118183*c_0101_4^11 + 39530518253/23476118183*c_0101_4^10 - 103457431772/23476118183*c_0101_4^9 + 46769130028/23476118183*c_0101_4^8 + 1663600236/3353731169*c_0101_4^7 - 3596537387/23476118183*c_0101_4^6 + 24227404965/23476118183*c_0101_4^5 - 39402211638/23476118183*c_0101_4^4 + 248277997/3353731169*c_0101_4^3 + 59638906407/23476118183*c_0101_4^2 - 11681813226/23476118183*c_0101_4 - 1962082701/23476118183, c_0101_2 - 35867686592/23476118183*c_0101_4^16 + 144976364122/23476118183*c_0101_4^15 - 261386224529/23476118183*c_0101_4^14 + 399566747334/23476118183*c_0101_4^13 - 309910670519/23476118183*c_0101_4^12 - 11121553456/23476118183*c_0101_4^11 - 993912331180/23476118183*c_0101_4^10 + 2349929088499/23476118183*c_0101_4^9 - 1236717960136/23476118183*c_0101_4^8 - 8591340425/3353731169*c_0101_4^7 + 125291510455/23476118183*c_0101_4^6 - 484369091391/23476118183*c_0101_4^5 + 307646841359/23476118183*c_0101_4^4 + 1049020556/3353731169*c_0101_4^3 + 31482915924/23476118183*c_0101_4^2 + 13685422748/23476118183*c_0101_4 - 4472557270/23476118183, c_0101_4^17 - 9/2*c_0101_4^16 + 9*c_0101_4^15 - 14*c_0101_4^14 + 13*c_0101_4^13 - 5/2*c_0101_4^12 + 27*c_0101_4^11 - 157/2*c_0101_4^10 + 121/2*c_0101_4^9 - 15/2*c_0101_4^8 - 11/2*c_0101_4^7 + 29/2*c_0101_4^6 - 29/2*c_0101_4^5 + 2*c_0101_4^4 - 1/2*c_0101_4^3 + 1/2*c_0101_4 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB