Magma V2.19-8 Tue Aug 20 2013 16:14:41 on localhost [Seed = 1949689963] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s664 geometric_solution 5.15677733 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 2 3 0132 0132 1023 0132 0 0 0 0 0 1 -1 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 -1 0 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 1.044092546107 0.577186486562 0 4 5 3 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.444171244984 0.723272473593 2 0 0 2 3201 0132 1023 2310 0 0 0 0 0 -1 1 0 0 0 1 -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 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.265842336905 0.264763692350 5 1 0 4 2310 1302 0132 0132 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 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.444171244984 0.723272473593 4 1 3 4 3201 0132 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 -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.122004283022 0.753829997165 5 5 3 1 1230 3012 3201 0132 0 0 0 0 0 -1 1 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 1 0 -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.136951220869 0.749769745367 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], '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_0011_5']), 'c_1001_4' : d['c_0011_3'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 447015779254929/882661104992*c_0101_4^22 + 3078140012585067/1765322209984*c_0101_4^21 + 16704981963529263/3530644419968*c_0101_4^20 - 12324011109687595/882661104992*c_0101_4^19 - 3739145962558311/441330552496*c_0101_4^18 + 162355778601436357/3530644419968*c_0101_4^17 - 49527194140531241/3530644419968*c_0101_4^16 - 280731752671738431/3530644419968*c_0101_4^15 + 241854275957062379/3530644419968*c_0101_4^14 + 270293066064384797/3530644419968*c_0101_4^13 - 422262560920650755/3530644419968*c_0101_4^12 - 90553656813135625/3530644419968*c_0101_4^11 + 106665522819367443/882661104992*c_0101_4^10 - 101181234638794165/3530644419968*c_0101_4^9 - 266350801383266157/3530644419968*c_0101_4^8 + 151402595081807045/3530644419968*c_0101_4^7 + 98014226472009087/3530644419968*c_0101_4^6 - 93692759102764611/3530644419968*c_0101_4^5 - 6814567937718805/1765322209984*c_0101_4^4 + 30268912205665235/3530644419968*c_0101_4^3 - 1640449479205913/1765322209984*c_0101_4^2 - 2021966059287265/1765322209984*c_0101_4 + 1051112491602371/3530644419968, c_0011_0 - 1, c_0011_3 - 4*c_0101_4^22 + 10*c_0101_4^21 + 49*c_0101_4^20 - 71*c_0101_4^19 - 156*c_0101_4^18 + 269*c_0101_4^17 + 190*c_0101_4^16 - 626*c_0101_4^15 - 26*c_0101_4^14 + 902*c_0101_4^13 - 308*c_0101_4^12 - 826*c_0101_4^11 + 585*c_0101_4^10 + 479*c_0101_4^9 - 580*c_0101_4^8 - 154*c_0101_4^7 + 358*c_0101_4^6 + 2*c_0101_4^5 - 139*c_0101_4^4 + 21*c_0101_4^3 + 31*c_0101_4^2 - 7*c_0101_4 - 3, c_0011_5 + 4266547535432/27583159531*c_0101_4^22 - 10490735371368/27583159531*c_0101_4^21 - 50586795280312/27583159531*c_0101_4^20 + 68330993290463/27583159531*c_0101_4^19 + 144522855133159/27583159531*c_0101_4^18 - 245697825993456/27583159531*c_0101_4^17 - 143575570003471/27583159531*c_0101_4^16 + 536277509918832/27583159531*c_0101_4^15 - 13081544247262/27583159531*c_0101_4^14 - 694390335548930/27583159531*c_0101_4^13 + 276506445298130/27583159531*c_0101_4^12 + 552310894485949/27583159531*c_0101_4^11 - 443719560494472/27583159531*c_0101_4^10 - 268425722998766/27583159531*c_0101_4^9 + 373163392198754/27583159531*c_0101_4^8 + 63646832719899/27583159531*c_0101_4^7 - 189335214111230/27583159531*c_0101_4^6 + 8621242706832/27583159531*c_0101_4^5 + 55488968579344/27583159531*c_0101_4^4 - 9755973809394/27583159531*c_0101_4^3 - 7563001968533/27583159531*c_0101_4^2 + 1780059761978/27583159531*c_0101_4 + 221439186463/27583159531, c_0101_0 + 5179963835664/27583159531*c_0101_4^22 - 12350118948644/27583159531*c_0101_4^21 - 62804981749502/27583159531*c_0101_4^20 + 79354902855455/27583159531*c_0101_4^19 + 187068070971445/27583159531*c_0101_4^18 - 291007530220895/27583159531*c_0101_4^17 - 212758136235138/27583159531*c_0101_4^16 + 659571048547156/27583159531*c_0101_4^15 + 52262171015347/27583159531*c_0101_4^14 - 894480212014154/27583159531*c_0101_4^13 + 262935249736336/27583159531*c_0101_4^12 + 763711024391501/27583159531*c_0101_4^11 - 501201203984356/27583159531*c_0101_4^10 - 423888894959251/27583159531*c_0101_4^9 + 460004159215266/27583159531*c_0101_4^8 + 144054627689091/27583159531*c_0101_4^7 - 253110333255580/27583159531*c_0101_4^6 - 19098123314137/27583159531*c_0101_4^5 + 83054375401148/27583159531*c_0101_4^4 - 4270980438480/27583159531*c_0101_4^3 - 14229469143689/27583159531*c_0101_4^2 + 1347452335928/27583159531*c_0101_4 + 878873748313/27583159531, c_0101_2 - 5228088517844/27583159531*c_0101_4^22 + 9994377933558/27583159531*c_0101_4^21 + 69936282465535/27583159531*c_0101_4^20 - 51518230727150/27583159531*c_0101_4^19 - 235035932187038/27583159531*c_0101_4^18 + 212352715595762/27583159531*c_0101_4^17 + 379248998698662/27583159531*c_0101_4^16 - 595602767015693/27583159531*c_0101_4^15 - 400654867203176/27583159531*c_0101_4^14 + 956467988556037/27583159531*c_0101_4^13 + 180910393491514/27583159531*c_0101_4^12 - 1006257458027394/27583159531*c_0101_4^11 + 161246574446416/27583159531*c_0101_4^10 + 763577494550573/27583159531*c_0101_4^9 - 317591752610591/27583159531*c_0101_4^8 - 420237327580161/27583159531*c_0101_4^7 + 240463524380241/27583159531*c_0101_4^6 + 157801836591302/27583159531*c_0101_4^5 - 103785512770942/27583159531*c_0101_4^4 - 35907254863795/27583159531*c_0101_4^3 + 25397849662045/27583159531*c_0101_4^2 + 3721187822822/27583159531*c_0101_4 - 2735680371418/27583159531, c_0101_4^23 - 5/2*c_0101_4^22 - 49/4*c_0101_4^21 + 71/4*c_0101_4^20 + 39*c_0101_4^19 - 269/4*c_0101_4^18 - 95/2*c_0101_4^17 + 313/2*c_0101_4^16 + 13/2*c_0101_4^15 - 451/2*c_0101_4^14 + 77*c_0101_4^13 + 413/2*c_0101_4^12 - 585/4*c_0101_4^11 - 479/4*c_0101_4^10 + 145*c_0101_4^9 + 77/2*c_0101_4^8 - 179/2*c_0101_4^7 - 1/2*c_0101_4^6 + 139/4*c_0101_4^5 - 21/4*c_0101_4^4 - 31/4*c_0101_4^3 + 2*c_0101_4^2 + 3/4*c_0101_4 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB