Magma V2.19-8 Tue Aug 20 2013 16:17:07 on localhost [Seed = 930524132] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1362 geometric_solution 5.22597071 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.609025473187 0.098296811550 2 0 2 0 0132 2310 1023 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 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.790694400311 0.159988664095 1 3 1 4 0132 0132 1023 0132 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 -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.769546989222 0.614396429340 5 2 4 6 0132 0132 2310 0132 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 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.143803578871 1.611982917231 6 3 2 5 1023 3201 0132 3201 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 1 0 -1 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.143803578871 1.611982917231 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 0 0 -1 0 0 1 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.154384581346 0.968486148043 6 4 3 6 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.054904289147 0.615456005222 ==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' : 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' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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_4'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 17310694650861049833672315/3240916509700251244898248*c_0101_3*c_010\ 1_5^10 - 207856018336901559307669625/3240916509700251244898248*c_01\ 01_3*c_0101_5^9 + 168787925514355925235046189/810229127425062811224\ 562*c_0101_3*c_0101_5^8 - 2912142123287957686582045059/324091650970\ 0251244898248*c_0101_3*c_0101_5^7 + 6259802584758410018675138113/3240916509700251244898248*c_0101_3*c_0\ 101_5^6 - 24845022659065673868139139/6126496237618622391112*c_0101_\ 3*c_0101_5^5 + 835652760699115336032763195/190642147629426543817544\ *c_0101_3*c_0101_5^4 - 865537343735949584421570999/1906421476294265\ 43817544*c_0101_3*c_0101_5^3 + 418849021726390241498841393/17057455\ 3142118486573592*c_0101_3*c_0101_5^2 + 369994675791650681626841087/190642147629426543817544*c_0101_3*c_010\ 1_5 + 925177612478502244144697609/3240916509700251244898248*c_0101_\ 3, c_0011_0 - 1, c_0011_1 - 102193432700566/8203927600269187*c_0101_5^10 + 1253381256583396/8203927600269187*c_0101_5^9 - 4291292799519331/8203927600269187*c_0101_5^8 + 18108939900715674/8203927600269187*c_0101_5^7 - 41201844486953638/8203927600269187*c_0101_5^6 + 86405104941326870/8203927600269187*c_0101_5^5 - 103504325905374759/8203927600269187*c_0101_5^4 + 110263432718495385/8203927600269187*c_0101_5^3 - 75786640140027289/8203927600269187*c_0101_5^2 - 16827605266180604/8203927600269187*c_0101_5 - 6621092672154436/8203927600269187, c_0011_4 + 130420809444133/16407855200538374*c_0101_3*c_0101_5^10 - 1667281896288953/16407855200538374*c_0101_3*c_0101_5^9 + 3160048574079847/8203927600269187*c_0101_3*c_0101_5^8 - 26129440944680313/16407855200538374*c_0101_3*c_0101_5^7 + 65239429228029351/16407855200538374*c_0101_3*c_0101_5^6 - 139833306197190475/16407855200538374*c_0101_3*c_0101_5^5 + 196002546013278801/16407855200538374*c_0101_3*c_0101_5^4 - 219001035369832121/16407855200538374*c_0101_3*c_0101_5^3 + 190626680453602247/16407855200538374*c_0101_3*c_0101_5^2 - 37525426301384079/16407855200538374*c_0101_3*c_0101_5 + 3851112301454209/16407855200538374*c_0101_3, c_0101_0 - 81717904123345/8203927600269187*c_0101_3*c_0101_5^10 + 1027753285616630/8203927600269187*c_0101_3*c_0101_5^9 - 3804241121573240/8203927600269187*c_0101_3*c_0101_5^8 + 16249122056487372/8203927600269187*c_0101_3*c_0101_5^7 - 39526978996441337/8203927600269187*c_0101_3*c_0101_5^6 + 88515595869687707/8203927600269187*c_0101_3*c_0101_5^5 - 122041750788513893/8203927600269187*c_0101_3*c_0101_5^4 + 151236894181089138/8203927600269187*c_0101_3*c_0101_5^3 - 121702504176894929/8203927600269187*c_0101_3*c_0101_5^2 + 46055661938366638/8203927600269187*c_0101_3*c_0101_5 - 12220345342472434/8203927600269187*c_0101_3, c_0101_1 + 63553860091434/8203927600269187*c_0101_5^10 - 770233599257795/8203927600269187*c_0101_5^9 + 2575886395070880/8203927600269187*c_0101_5^8 - 11099353457052356/8203927600269187*c_0101_5^7 + 24486210490018881/8203927600269187*c_0101_5^6 - 52165358184196529/8203927600269187*c_0101_5^5 + 60094112234054528/8203927600269187*c_0101_5^4 - 63259876827488404/8203927600269187*c_0101_5^3 + 41956485940891490/8203927600269187*c_0101_5^2 + 12727705157812921/8203927600269187*c_0101_5 + 9775712337184903/8203927600269187, c_0101_3^2 - 27060064176604/8203927600269187*c_0101_5^10 + 305748924197257/8203927600269187*c_0101_5^9 - 838249774320020/8203927600269187*c_0101_5^8 + 4003434983947614/8203927600269187*c_0101_5^7 - 7511774896489918/8203927600269187*c_0101_5^6 + 16639908109893659/8203927600269187*c_0101_5^5 - 16449861499375797/8203927600269187*c_0101_5^4 + 20397799616320517/8203927600269187*c_0101_5^3 - 19172936028642535/8203927600269187*c_0101_5^2 - 5437732386512352/8203927600269187*c_0101_5 - 1737288355909622/8203927600269187, c_0101_5^11 - 12*c_0101_5^10 + 39*c_0101_5^9 - 169*c_0101_5^8 + 364*c_0101_5^7 - 772*c_0101_5^6 + 850*c_0101_5^5 - 918*c_0101_5^4 + 542*c_0101_5^3 + 272*c_0101_5^2 + 118*c_0101_5 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB