Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 2631729319] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0112 geometric_solution 3.63514820 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 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 0 0 0 0 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.780186713742 0.751245897749 0 0 3 3 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168002539286 0.028815001446 0 0 5 4 3201 0132 0132 0132 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 -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 1.270825854575 0.924240379608 3 1 1 3 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.413381352819 0.205465761965 6 5 2 5 0132 2031 0132 3012 0 0 0 0 0 0 -1 1 -1 0 0 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 -1 1 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.998813253143 0.507148383784 4 6 4 2 1302 2310 1230 0132 0 0 0 0 0 0 -1 1 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 1 0 -1 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.998813253143 0.507148383784 4 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204023394077 0.404157882320 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_4'])})} 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_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 47174167258121876/214512874574003*c_0101_6^17 + 389588554146561385/214512874574003*c_0101_6^16 - 2354705125943982696/214512874574003*c_0101_6^15 - 4824918689015546463/214512874574003*c_0101_6^14 + 23886141531268764636/214512874574003*c_0101_6^13 + 24238195164925400303/214512874574003*c_0101_6^12 - 97476673810670554210/214512874574003*c_0101_6^11 - 66054408944324537361/214512874574003*c_0101_6^10 + 191166982323088598121/214512874574003*c_0101_6^9 + 99389892275997668015/214512874574003*c_0101_6^8 - 193297200164096632111/214512874574003*c_0101_6^7 - 78993142525745090993/214512874574003*c_0101_6^6 + 100230433649103440400/214512874574003*c_0101_6^5 + 29014831737004953707/214512874574003*c_0101_6^4 - 24704198914799520999/214512874574003*c_0101_6^3 - 2934904689505375660/214512874574003*c_0101_6^2 + 2448346391711158826/214512874574003*c_0101_6 - 232492629587104015/214512874574003, c_0011_0 - 1, c_0011_3 - 121280591414202/214512874574003*c_0101_6^17 - 1082387427225566/214512874574003*c_0101_6^16 + 5460622224429867/214512874574003*c_0101_6^15 + 16994350807019872/214512874574003*c_0101_6^14 - 57270294276553314/214512874574003*c_0101_6^13 - 107892582493109661/214512874574003*c_0101_6^12 + 250767099079563841/214512874574003*c_0101_6^11 + 345777479881051966/214512874574003*c_0101_6^10 - 544641084363587244/214512874574003*c_0101_6^9 - 572517115374633484/214512874574003*c_0101_6^8 + 641560233356118043/214512874574003*c_0101_6^7 + 480034345253562770/214512874574003*c_0101_6^6 - 417826833692550469/214512874574003*c_0101_6^5 - 179849054254583428/214512874574003*c_0101_6^4 + 142271392718962078/214512874574003*c_0101_6^3 + 16009597331082652/214512874574003*c_0101_6^2 - 20417153325392384/214512874574003*c_0101_6 + 2718112376360970/214512874574003, c_0011_4 - 384963834685528/214512874574003*c_0101_6^17 - 3325221612083251/214512874574003*c_0101_6^16 + 18095947170135191/214512874574003*c_0101_6^15 + 47302653984926396/214512874574003*c_0101_6^14 - 184825588377730248/214512874574003*c_0101_6^13 - 276810389814017284/214512874574003*c_0101_6^12 + 769126100534678269/214512874574003*c_0101_6^11 + 848085546174250131/214512874574003*c_0101_6^10 - 1548983681002620878/214512874574003*c_0101_6^9 - 1379738457691102874/214512874574003*c_0101_6^8 + 1636050539892122055/214512874574003*c_0101_6^7 + 1161699121856087387/214512874574003*c_0101_6^6 - 920923682253443852/214512874574003*c_0101_6^5 - 453197000486011630/214512874574003*c_0101_6^4 + 265685132649882517/214512874574003*c_0101_6^3 + 52936941583565180/214512874574003*c_0101_6^2 - 33539726614184237/214512874574003*c_0101_6 + 3302381353643072/214512874574003, c_0101_0 + 135526709864516/214512874574003*c_0101_6^17 + 1022241025803833/214512874574003*c_0101_6^16 - 7511240860420958/214512874574003*c_0101_6^15 - 8621026582757011/214512874574003*c_0101_6^14 + 75398645797525964/214512874574003*c_0101_6^13 + 17810439000641017/214512874574003*c_0101_6^12 - 298501324835816578/214512874574003*c_0101_6^11 + 10583982484946668/214512874574003*c_0101_6^10 + 562682094204235336/214512874574003*c_0101_6^9 - 77839363427550166/214512874574003*c_0101_6^8 - 534595124811892725/214512874574003*c_0101_6^7 + 100773471342129007/214512874574003*c_0101_6^6 + 246561113564481780/214512874574003*c_0101_6^5 - 57244882994236403/214512874574003*c_0101_6^4 - 46434415139478612/214512874574003*c_0101_6^3 + 14297043446502563/214512874574003*c_0101_6^2 + 2054107493589107/214512874574003*c_0101_6 - 775471611887839/214512874574003, c_0101_1 - 916660665066066/214512874574003*c_0101_6^17 - 7621711037562083/214512874574003*c_0101_6^16 + 45380192775907774/214512874574003*c_0101_6^15 + 96707802802285052/214512874574003*c_0101_6^14 - 461574515953687812/214512874574003*c_0101_6^13 - 500582101377938547/214512874574003*c_0101_6^12 + 1894551651928450145/214512874574003*c_0101_6^11 + 1399771144325552856/214512874574003*c_0101_6^10 - 3747956770810328308/214512874574003*c_0101_6^9 - 2146932549158537512/214512874574003*c_0101_6^8 + 3842449147654231265/214512874574003*c_0101_6^7 + 1731177941209695349/214512874574003*c_0101_6^6 - 2040895717630834342/214512874574003*c_0101_6^5 - 642222398525445703/214512874574003*c_0101_6^4 + 526142538200868721/214512874574003*c_0101_6^3 + 64282203560686083/214512874574003*c_0101_6^2 - 56214141607243444/214512874574003*c_0101_6 + 5812344976262152/214512874574003, c_0101_4 - 14745584912127/214512874574003*c_0101_6^17 - 119554229339798/214512874574003*c_0101_6^16 + 10412900561284/2938532528411*c_0101_6^15 + 1432773454909962/214512874574003*c_0101_6^14 - 8060168911904672/214512874574003*c_0101_6^13 - 6294125749916084/214512874574003*c_0101_6^12 + 34601597786159659/214512874574003*c_0101_6^11 + 12151154513239801/214512874574003*c_0101_6^10 - 70268304884333382/214512874574003*c_0101_6^9 - 7114071694346422/214512874574003*c_0101_6^8 + 68916871135651141/214512874574003*c_0101_6^7 - 6083625133415712/214512874574003*c_0101_6^6 - 29599114573144516/214512874574003*c_0101_6^5 + 8151040289376400/214512874574003*c_0101_6^4 + 4013600555287994/214512874574003*c_0101_6^3 - 2123986376967603/214512874574003*c_0101_6^2 - 197398755688153/214512874574003*c_0101_6 - 33834907844746/214512874574003, c_0101_6^18 + 8*c_0101_6^17 - 52*c_0101_6^16 - 89*c_0101_6^15 + 530*c_0101_6^14 + 380*c_0101_6^13 - 2172*c_0101_6^12 - 862*c_0101_6^11 + 4312*c_0101_6^10 + 1071*c_0101_6^9 - 4463*c_0101_6^8 - 654*c_0101_6^7 + 2404*c_0101_6^6 + 107*c_0101_6^5 - 622*c_0101_6^4 + 54*c_0101_6^3 + 60*c_0101_6^2 - 15*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB