Magma V2.19-8 Tue Aug 20 2013 16:18:24 on localhost [Seed = 3785391312] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2597 geometric_solution 5.88611699 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 -1 0 1 0 0 0 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.551812168320 0.616006614126 0 2 5 3 0132 1230 0132 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379452056335 0.402223085744 4 0 1 5 0321 0132 3012 1302 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 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.772289604852 1.061464571286 5 1 5 0 0321 1302 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.866644868022 0.671864154272 2 6 0 6 0321 0132 0132 2310 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 -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 0.145623622248 1.658596963000 3 3 2 1 0321 1230 2031 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284227165389 1.431981216338 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 -1 0 1 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 -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.416728101653 0.136799974346 ==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' : negation(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' : 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' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0011_4'], 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0011_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_3, c_0011_4, c_0011_5, c_0101_3, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 35871052020743558999/77207047859536872288*c_1001_0^14 - 1165564694715925571/1608480163740351506*c_1001_0^13 - 28784376231234784907/19301761964884218072*c_1001_0^12 - 39541800305831401557/25735682619845624096*c_1001_0^11 - 115799956623583131521/25735682619845624096*c_1001_0^10 + 167300901376836425279/77207047859536872288*c_1001_0^9 + 22773240964478401037/19301761964884218072*c_1001_0^8 - 284746241237488276219/77207047859536872288*c_1001_0^7 + 94867926707996542195/12867841309922812048*c_1001_0^6 - 85628726036376790847/7018822532685170208*c_1001_0^5 - 70860911745373835903/1608480163740351506*c_1001_0^4 + 51912049230494272115/665577998789110968*c_1001_0^3 - 3325283730567260083159/38603523929768436144*c_1001_0^2 + 1854215898863872625423/38603523929768436144*c_1001_0 - 1348725860018923486997/77207047859536872288, c_0011_0 - 1, c_0011_3 + 46315283112814/2521128783292087*c_1001_0^14 - 89659251581157/2521128783292087*c_1001_0^13 - 182960156745951/2521128783292087*c_1001_0^12 - 32463644736935/2521128783292087*c_1001_0^11 - 150893093633354/2521128783292087*c_1001_0^10 + 709758705246263/2521128783292087*c_1001_0^9 + 710890987213167/2521128783292087*c_1001_0^8 - 342163240503715/2521128783292087*c_1001_0^7 + 634845461996096/2521128783292087*c_1001_0^6 - 1256885029371203/2521128783292087*c_1001_0^5 - 4986441504651469/2521128783292087*c_1001_0^4 + 9763900545057525/2521128783292087*c_1001_0^3 - 4908788982574125/2521128783292087*c_1001_0^2 + 408343324071043/2521128783292087*c_1001_0 + 2989737425102065/2521128783292087, c_0011_4 + 340397500996465/7563386349876261*c_1001_0^14 - 85266966196129/2521128783292087*c_1001_0^13 - 1578267636073321/7563386349876261*c_1001_0^12 - 685646648049206/2521128783292087*c_1001_0^11 - 1307925014303609/2521128783292087*c_1001_0^10 - 310982717777864/7563386349876261*c_1001_0^9 + 3470051435323717/7563386349876261*c_1001_0^8 - 421494227190587/7563386349876261*c_1001_0^7 + 1276544631824217/2521128783292087*c_1001_0^6 - 3558868470653504/7563386349876261*c_1001_0^5 - 12546697471631271/2521128783292087*c_1001_0^4 + 30917092167233573/7563386349876261*c_1001_0^3 - 10105573741160263/7563386349876261*c_1001_0^2 - 10487764009748233/7563386349876261*c_1001_0 + 7831015249457744/7563386349876261, c_0011_5 - 210365595591436/7563386349876261*c_1001_0^14 + 82965990490824/2521128783292087*c_1001_0^13 + 980929323591916/7563386349876261*c_1001_0^12 + 280756344328792/2521128783292087*c_1001_0^11 + 505535742831718/2521128783292087*c_1001_0^10 - 1404852695846311/7563386349876261*c_1001_0^9 - 3694074357858550/7563386349876261*c_1001_0^8 + 45362183925161/7563386349876261*c_1001_0^7 - 807019415370852/2521128783292087*c_1001_0^6 + 3373095406717733/7563386349876261*c_1001_0^5 + 8155369767660170/2521128783292087*c_1001_0^4 - 30363201852032282/7563386349876261*c_1001_0^3 + 7213193576885830/7563386349876261*c_1001_0^2 + 5270089666579972/7563386349876261*c_1001_0 - 11860444880272562/7563386349876261, c_0101_3 - 210365595591436/7563386349876261*c_1001_0^14 + 82965990490824/2521128783292087*c_1001_0^13 + 980929323591916/7563386349876261*c_1001_0^12 + 280756344328792/2521128783292087*c_1001_0^11 + 505535742831718/2521128783292087*c_1001_0^10 - 1404852695846311/7563386349876261*c_1001_0^9 - 3694074357858550/7563386349876261*c_1001_0^8 + 45362183925161/7563386349876261*c_1001_0^7 - 807019415370852/2521128783292087*c_1001_0^6 + 3373095406717733/7563386349876261*c_1001_0^5 + 8155369767660170/2521128783292087*c_1001_0^4 - 30363201852032282/7563386349876261*c_1001_0^3 + 7213193576885830/7563386349876261*c_1001_0^2 + 5270089666579972/7563386349876261*c_1001_0 - 11860444880272562/7563386349876261, c_0110_6 + 114606641511262/7563386349876261*c_1001_0^14 + 7557058256694/2521128783292087*c_1001_0^13 - 630845366432569/7563386349876261*c_1001_0^12 - 368098332068522/2521128783292087*c_1001_0^11 - 622542121624696/2521128783292087*c_1001_0^10 - 1527290592018851/7563386349876261*c_1001_0^9 + 299168211385606/7563386349876261*c_1001_0^8 - 1082134234314029/7563386349876261*c_1001_0^7 - 418730995278372/2521128783292087*c_1001_0^6 - 2206457500191434/7563386349876261*c_1001_0^5 - 4997428674239881/2521128783292087*c_1001_0^4 + 349654411195445/7563386349876261*c_1001_0^3 + 8181374548653485/7563386349876261*c_1001_0^2 - 13725178608245020/7563386349876261*c_1001_0 - 1056569675294848/7563386349876261, c_1001_0^15 - c_1001_0^14 - 4*c_1001_0^13 - 5*c_1001_0^12 - 12*c_1001_0^11 - 2*c_1001_0^10 + 3*c_1001_0^9 - 9*c_1001_0^8 + 11*c_1001_0^7 - 17*c_1001_0^6 - 109*c_1001_0^5 + 116*c_1001_0^4 - 102*c_1001_0^3 - 12*c_1001_0^2 + 27*c_1001_0 - 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB