Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 3313785080] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2414 geometric_solution 5.76794459 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3201 0132 0132 2310 0 0 0 0 0 -1 -1 2 -1 0 1 0 -2 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 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 0 0 0 0.169869103540 0.882241347014 3 0 5 4 0132 0132 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 -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.288300223299 0.706062006456 5 4 3 0 1023 1023 2310 0132 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.288300223299 0.706062006456 1 2 3 3 0132 3201 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858851684529 1.949074472392 2 6 1 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730256962779 0.363287207668 5 2 5 1 2310 1023 3201 0132 0 0 0 0 0 0 -1 1 1 0 -1 0 1 0 0 -1 1 0 -1 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 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655837311026 1.549889812109 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603136879922 0.113879052373 ==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' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0110_4'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : d['c_0110_4'], '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_0101_0, c_0101_1, c_0101_3, c_0110_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 469146075424327/59353158611*c_0110_6^10 - 1628852697693560/59353158611*c_0110_6^9 + 14702428588571901/59353158611*c_0110_6^8 - 17364710210491513/59353158611*c_0110_6^7 - 13511339183661334/59353158611*c_0110_6^6 + 21490496093500579/59353158611*c_0110_6^5 + 4008291507581451/59353158611*c_0110_6^4 - 9754398015272027/59353158611*c_0110_6^3 + 1281258332903722/59353158611*c_0110_6^2 + 1131996630021668/59353158611*c_0110_6 - 422747202510262/59353158611, c_0011_0 - 1, c_0011_2 + 296859223808/59353158611*c_0110_6^10 + 1340454060074/59353158611*c_0110_6^9 - 7957724259683/59353158611*c_0110_6^8 + 2439058095893/59353158611*c_0110_6^7 + 12507684061727/59353158611*c_0110_6^6 - 860787069349/59353158611*c_0110_6^5 - 5782560570427/59353158611*c_0110_6^4 + 76595885495/59353158611*c_0110_6^3 + 575654176847/59353158611*c_0110_6^2 - 179375667293/59353158611*c_0110_6 - 58537142339/59353158611, c_0101_0 - 205346974056/59353158611*c_0110_6^10 - 985205700464/59353158611*c_0110_6^9 + 5280708750322/59353158611*c_0110_6^8 + 43092833312/59353158611*c_0110_6^7 - 10118468108890/59353158611*c_0110_6^6 - 1668527614208/59353158611*c_0110_6^5 + 5812838081302/59353158611*c_0110_6^4 + 1033138520503/59353158611*c_0110_6^3 - 1055017358255/59353158611*c_0110_6^2 + 47586955349/59353158611*c_0110_6 + 95048348996/59353158611, c_0101_1 - 355158317122/59353158611*c_0110_6^10 - 1584991212471/59353158611*c_0110_6^9 + 9604802811407/59353158611*c_0110_6^8 - 3423942328477/59353158611*c_0110_6^7 - 14822389394034/59353158611*c_0110_6^6 + 1908814999570/59353158611*c_0110_6^5 + 6894962763508/59353158611*c_0110_6^4 - 765582642461/59353158611*c_0110_6^3 - 602522963160/59353158611*c_0110_6^2 + 283272144341/59353158611*c_0110_6 + 61536341688/59353158611, c_0101_3 + 83337388239/59353158611*c_0110_6^10 + 438266541772/59353158611*c_0110_6^9 - 2007261515125/59353158611*c_0110_6^8 - 1203772087394/59353158611*c_0110_6^7 + 5490662884590/59353158611*c_0110_6^6 + 1581988038760/59353158611*c_0110_6^5 - 3743375711723/59353158611*c_0110_6^4 - 621946427032/59353158611*c_0110_6^3 + 865532227470/59353158611*c_0110_6^2 - 45687442576/59353158611*c_0110_6 - 49506408055/59353158611, c_0110_4 + 519836096430/59353158611*c_0110_6^10 + 2259931704623/59353158611*c_0110_6^9 - 14341754834966/59353158611*c_0110_6^8 + 6555889167886/59353158611*c_0110_6^7 + 21517594643897/59353158611*c_0110_6^6 - 5218737407284/59353158611*c_0110_6^5 - 10642931092363/59353158611*c_0110_6^4 + 2101567702363/59353158611*c_0110_6^3 + 1230235025117/59353158611*c_0110_6^2 - 471814200287/59353158611*c_0110_6 - 90584982166/59353158611, c_0110_6^11 + 26/7*c_0110_6^10 - 213/7*c_0110_6^9 + 208/7*c_0110_6^8 + 251/7*c_0110_6^7 - 265/7*c_0110_6^6 - 118/7*c_0110_6^5 + 125/7*c_0110_6^4 + c_0110_6^3 - 19/7*c_0110_6^2 + 3/7*c_0110_6 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB