Magma V2.19-8 Tue Aug 20 2013 16:16:18 on localhost [Seed = 3103335513] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0568 geometric_solution 4.58951286 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 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 1 1 -2 0 0 1 -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.548626998854 0.497590025338 3 2 2 0 0132 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 1 -1 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.718877221449 0.728238193031 1 3 0 1 1230 3201 0132 1302 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 -1 2 -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.718877221449 0.728238193031 1 4 2 4 0132 0132 2310 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 -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.878509368074 0.943787360646 5 3 5 3 0132 0132 1023 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 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.682852993539 0.358669111369 4 6 4 6 0132 0132 1023 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 -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.718325427143 0.099772197573 6 5 6 5 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 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.647534417435 0.038966371171 ==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_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 3623191081666327/141664465402313*c_0110_6^14 + 1222650901526840/20237780771759*c_0110_6^13 + 54900856107167972/141664465402313*c_0110_6^12 - 15798044962901636/20237780771759*c_0110_6^11 - 16050971028801346/20237780771759*c_0110_6^10 + 393573348085069695/141664465402313*c_0110_6^9 - 524689196982506191/141664465402313*c_0110_6^8 - 1894610423937674388/141664465402313*c_0110_6^7 - 989667096097244807/141664465402313*c_0110_6^6 + 231251977595879939/141664465402313*c_0110_6^5 + 336780323794261693/141664465402313*c_0110_6^4 + 289120353685910172/141664465402313*c_0110_6^3 + 222119020815161346/141664465402313*c_0110_6^2 + 10733002413074661/20237780771759*c_0110_6 + 8056760960187690/141664465402313, c_0011_0 - 1, c_0011_1 + 82049995977555/20237780771759*c_0110_6^14 - 210142423631266/20237780771759*c_0110_6^13 - 1196404670944572/20237780771759*c_0110_6^12 + 2726954347913396/20237780771759*c_0110_6^11 + 1936585154332812/20237780771759*c_0110_6^10 - 9101197151163856/20237780771759*c_0110_6^9 + 13705982720003439/20237780771759*c_0110_6^8 + 39649634554173836/20237780771759*c_0110_6^7 + 15603794586378919/20237780771759*c_0110_6^6 - 6508019607709615/20237780771759*c_0110_6^5 - 6046739085201677/20237780771759*c_0110_6^4 - 5727316034107570/20237780771759*c_0110_6^3 - 4108284754327519/20237780771759*c_0110_6^2 - 1133012164506479/20237780771759*c_0110_6 - 122130993646031/20237780771759, c_0101_0 - 93447649353099/20237780771759*c_0110_6^14 + 244692682282048/20237780771759*c_0110_6^13 + 1345707884095784/20237780771759*c_0110_6^12 - 3174640204234303/20237780771759*c_0110_6^11 - 1984912072534939/20237780771759*c_0110_6^10 + 10371944845781271/20237780771759*c_0110_6^9 - 16233390007242166/20237780771759*c_0110_6^8 - 43909273554123164/20237780771759*c_0110_6^7 - 15831499557208670/20237780771759*c_0110_6^6 + 7151173552206516/20237780771759*c_0110_6^5 + 6275779934182554/20237780771759*c_0110_6^4 + 6420371307569529/20237780771759*c_0110_6^3 + 4427676982937041/20237780771759*c_0110_6^2 + 1188558089889138/20237780771759*c_0110_6 + 149888064242258/20237780771759, c_0101_1 - 30711468955163/20237780771759*c_0110_6^14 + 85637352411487/20237780771759*c_0110_6^13 + 426273323331244/20237780771759*c_0110_6^12 - 1110273468219975/20237780771759*c_0110_6^11 - 449163717635427/20237780771759*c_0110_6^10 + 3416616713875643/20237780771759*c_0110_6^9 - 5867326005157062/20237780771759*c_0110_6^8 - 13308115118555216/20237780771759*c_0110_6^7 - 3366883222849499/20237780771759*c_0110_6^6 + 2723310175839584/20237780771759*c_0110_6^5 + 1758208512886377/20237780771759*c_0110_6^4 + 1754537510243377/20237780771759*c_0110_6^3 + 1209853422225119/20237780771759*c_0110_6^2 + 245546245617339/20237780771759*c_0110_6 + 7534620265957/20237780771759, c_0101_4 + 35264897536235/20237780771759*c_0110_6^14 - 89956355787540/20237780771759*c_0110_6^13 - 515579842240205/20237780771759*c_0110_6^12 + 1167648549651156/20237780771759*c_0110_6^11 + 852101732310530/20237780771759*c_0110_6^10 - 3917098586131358/20237780771759*c_0110_6^9 + 5825592917573904/20237780771759*c_0110_6^8 + 17178659733244647/20237780771759*c_0110_6^7 + 6808085877433977/20237780771759*c_0110_6^6 - 3034553357504822/20237780771759*c_0110_6^5 - 2622825507497346/20237780771759*c_0110_6^4 - 2401496152598083/20237780771759*c_0110_6^3 - 1802145428263526/20237780771759*c_0110_6^2 - 464078964291955/20237780771759*c_0110_6 - 40501616326871/20237780771759, c_0101_5 + 59864680278410/20237780771759*c_0110_6^14 - 160348356679612/20237780771759*c_0110_6^13 - 849745658029856/20237780771759*c_0110_6^12 + 2075468982420503/20237780771759*c_0110_6^11 + 1114993439229103/20237780771759*c_0110_6^10 - 6593179785479447/20237780771759*c_0110_6^9 + 10761244713996914/20237780771759*c_0110_6^8 + 27201566003442095/20237780771759*c_0110_6^7 + 9207869866913978/20237780771759*c_0110_6^6 - 4391348047342117/20237780771759*c_0110_6^5 - 3915161526939874/20237780771759*c_0110_6^4 - 3991938632467211/20237780771759*c_0110_6^3 - 2673033070097592/20237780771759*c_0110_6^2 - 703549729886079/20237780771759*c_0110_6 - 87151883844322/20237780771759, c_0110_6^15 - 2*c_0110_6^14 - 16*c_0110_6^13 + 25*c_0110_6^12 + 42*c_0110_6^11 - 97*c_0110_6^10 + 105*c_0110_6^9 + 575*c_0110_6^8 + 465*c_0110_6^7 + 35*c_0110_6^6 - 116*c_0110_6^5 - 112*c_0110_6^4 - 90*c_0110_6^3 - 43*c_0110_6^2 - 10*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB