Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 1410713780] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1973 geometric_solution 5.54889226 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 -1 0 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 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 0.325847479951 0.774537266889 0 3 2 4 0132 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 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 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.462149980151 0.614629149671 1 4 0 3 2031 2310 0132 2310 0 0 0 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 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.462149980151 0.614629149671 2 1 5 5 3201 0132 0132 2310 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 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.105546012857 1.618278069791 6 6 1 2 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.038731043766 0.922271644855 3 5 5 3 3201 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 1 0 -1 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.631689670802 0.333479199455 4 6 6 4 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.720371415858 0.751258550211 ==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_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : 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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1893546213204848395/2151915269183561*c_0101_5^20 + 17836469280783782136/2151915269183561*c_0101_5^19 + 5279502991725820932/307416467026223*c_0101_5^18 - 99412422560328888851/2151915269183561*c_0101_5^17 - 414843046277898304247/2151915269183561*c_0101_5^16 - 156577166641316075595/2151915269183561*c_0101_5^15 + 1054908537678774966107/2151915269183561*c_0101_5^14 + 1733872998892012314450/2151915269183561*c_0101_5^13 - 53627145636106629856/2151915269183561*c_0101_5^12 - 2660138826676045500278/2151915269183561*c_0101_5^11 - 2414860106752017597371/2151915269183561*c_0101_5^10 + 382548796353154223531/2151915269183561*c_0101_5^9 + 315966538318019681340/307416467026223*c_0101_5^8 + 215670712926425642127/307416467026223*c_0101_5^7 - 54306585409502628368/2151915269183561*c_0101_5^6 - 98032895041304669987/307416467026223*c_0101_5^5 - 421979720305585757915/2151915269183561*c_0101_5^4 - 9694066772823410973/307416467026223*c_0101_5^3 + 44891660809837078404/2151915269183561*c_0101_5^2 + 25033610482557651572/2151915269183561*c_0101_5 + 3611178181754878817/2151915269183561, c_0011_0 - 1, c_0011_2 - 7453270846834490/307416467026223*c_0101_5^20 - 70251311063974223/307416467026223*c_0101_5^19 - 145891998665468131/307416467026223*c_0101_5^18 + 390148812523279810/307416467026223*c_0101_5^17 + 1633064979524753326/307416467026223*c_0101_5^16 + 622273897319132854/307416467026223*c_0101_5^15 - 4136976409310393384/307416467026223*c_0101_5^14 - 6806796966383519481/307416467026223*c_0101_5^13 + 187563324044789995/307416467026223*c_0101_5^12 + 10381386886729243033/307416467026223*c_0101_5^11 + 9404012769094251195/307416467026223*c_0101_5^10 - 1487802601215910048/307416467026223*c_0101_5^9 - 8552094223309672775/307416467026223*c_0101_5^8 - 5796717933158300082/307416467026223*c_0101_5^7 + 240033874101977774/307416467026223*c_0101_5^6 + 2627908373507996249/307416467026223*c_0101_5^5 + 1589715683005140514/307416467026223*c_0101_5^4 + 240636434450780906/307416467026223*c_0101_5^3 - 174920480138708945/307416467026223*c_0101_5^2 - 92785814107374919/307416467026223*c_0101_5 - 12421118623940141/307416467026223, c_0011_4 + 4482022284028077/307416467026223*c_0101_5^20 + 42261925466504042/307416467026223*c_0101_5^19 + 88061359753259742/307416467026223*c_0101_5^18 - 232797979325137043/307416467026223*c_0101_5^17 - 980774208347427346/307416467026223*c_0101_5^16 - 388657653690633328/307416467026223*c_0101_5^15 + 2458358131230879534/307416467026223*c_0101_5^14 + 4112920347174210486/307416467026223*c_0101_5^13 - 15042662969649278/307416467026223*c_0101_5^12 - 6168575404675536074/307416467026223*c_0101_5^11 - 5748893354595771684/307416467026223*c_0101_5^10 + 724909198433987785/307416467026223*c_0101_5^9 + 5103150056754981088/307416467026223*c_0101_5^8 + 3580405406695120659/307416467026223*c_0101_5^7 - 52277401316647709/307416467026223*c_0101_5^6 - 1571476649012412641/307416467026223*c_0101_5^5 - 985862793886747376/307416467026223*c_0101_5^4 - 162496795258079160/307416467026223*c_0101_5^3 + 103877857573222965/307416467026223*c_0101_5^2 + 58563132420524739/307416467026223*c_0101_5 + 8356944029519073/307416467026223, c_0011_5 - 17365235225368/1456950080693*c_0101_5^20 - 162884649548477/1456950080693*c_0101_5^19 - 333025272569802/1456950080693*c_0101_5^18 + 919363097318419/1456950080693*c_0101_5^17 + 3755048523051183/1456950080693*c_0101_5^16 + 1311629281294010/1456950080693*c_0101_5^15 - 9598743740751740/1456950080693*c_0101_5^14 - 15433668830409806/1456950080693*c_0101_5^13 + 848154031389325/1456950080693*c_0101_5^12 + 23823237842551480/1456950080693*c_0101_5^11 + 21027879350907037/1456950080693*c_0101_5^10 - 3794271341543439/1456950080693*c_0101_5^9 - 19448238017373077/1456950080693*c_0101_5^8 - 12913711804993734/1456950080693*c_0101_5^7 + 716009285901416/1456950080693*c_0101_5^6 + 5958506965848782/1456950080693*c_0101_5^5 + 3533057366525415/1456950080693*c_0101_5^4 + 511385101457524/1456950080693*c_0101_5^3 - 397521700411928/1456950080693*c_0101_5^2 - 203958935630423/1456950080693*c_0101_5 - 26419398002904/1456950080693, c_0101_0 + 3714250291391449/307416467026223*c_0101_5^20 + 34591277253152819/307416467026223*c_0101_5^19 + 69006470409331342/307416467026223*c_0101_5^18 - 200588548040827284/307416467026223*c_0101_5^17 - 789384899224262638/307416467026223*c_0101_5^16 - 234341398194681263/307416467026223*c_0101_5^15 + 2058757826783033625/307416467026223*c_0101_5^14 + 3181223327470139072/307416467026223*c_0101_5^13 - 351179662073584522/307416467026223*c_0101_5^12 - 5060767293457433741/307416467026223*c_0101_5^11 - 4232853849649634352/307416467026223*c_0101_5^10 + 1014029164449561354/307416467026223*c_0101_5^9 + 4100568994206794866/307416467026223*c_0101_5^8 + 2563301802997327479/307416467026223*c_0101_5^7 - 254558008984664834/307416467026223*c_0101_5^6 - 1250285438081253199/307416467026223*c_0101_5^5 - 705319809446533268/307416467026223*c_0101_5^4 - 88953185887048754/307416467026223*c_0101_5^3 + 83678796684293496/307416467026223*c_0101_5^2 + 40715934110889108/307416467026223*c_0101_5 + 5134191340245757/307416467026223, c_0101_3 + 37106034585943/1456950080693*c_0101_5^20 + 350669581301569/1456950080693*c_0101_5^19 + 734941701888516/1456950080693*c_0101_5^18 - 1925432334916684/1456950080693*c_0101_5^17 - 8182698892628307/1456950080693*c_0101_5^16 - 3296691375199451/1456950080693*c_0101_5^15 + 20561757119465045/1456950080693*c_0101_5^14 + 34436866275712327/1456950080693*c_0101_5^13 - 208801200205880/1456950080693*c_0101_5^12 - 51908801246441192/1456950080693*c_0101_5^11 - 48088852375604207/1456950080693*c_0101_5^10 + 6603006823703319/1456950080693*c_0101_5^9 + 43000198154621032/1456950080693*c_0101_5^8 + 29752916662103021/1456950080693*c_0101_5^7 - 744277581221568/1456950080693*c_0101_5^6 - 13218991640083714/1456950080693*c_0101_5^5 - 8168571728328209/1456950080693*c_0101_5^4 - 1315003174005504/1456950080693*c_0101_5^3 + 864883344086203/1456950080693*c_0101_5^2 + 480847148017217/1456950080693*c_0101_5 + 68124193316604/1456950080693, c_0101_5^21 + 10*c_0101_5^20 + 25*c_0101_5^19 - 41*c_0101_5^18 - 249*c_0101_5^17 - 210*c_0101_5^16 + 505*c_0101_5^15 + 1232*c_0101_5^14 + 505*c_0101_5^13 - 1400*c_0101_5^12 - 2064*c_0101_5^11 - 537*c_0101_5^10 + 1254*c_0101_5^9 + 1440*c_0101_5^8 + 423*c_0101_5^7 - 367*c_0101_5^6 - 417*c_0101_5^5 - 157*c_0101_5^4 + 4*c_0101_5^3 + 26*c_0101_5^2 + 9*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB