Magma V2.19-8 Tue Aug 20 2013 16:16:32 on localhost [Seed = 762098164] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0823 geometric_solution 4.74990418 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 0 0 0 0 0 0 1 -1 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 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.261159355890 0.443577485648 0 2 4 2 0132 2031 0132 3012 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 -1 1 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.802306119909 0.776066944051 1 0 1 4 1302 0132 1230 2310 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 -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.802306119909 0.776066944051 5 0 5 0 0132 2310 2310 0132 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 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.413651285519 2.918700096407 2 6 6 1 3201 0132 1023 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 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.047601289530 0.335872009118 3 3 5 5 0132 3201 1230 3012 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 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.162487051486 0.153545011281 6 4 4 6 3201 0132 1023 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 1.155183885378 0.211785051235 ==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' : negation(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_3'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : negation(d['c_0011_3']), '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_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_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_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 103901/187254*c_0101_6^8 - 2033035/374508*c_0101_6^7 - 198707/124836*c_0101_6^6 + 20089955/374508*c_0101_6^5 + 3731953/124836*c_0101_6^4 + 49361/412*c_0101_6^3 + 9631955/93627*c_0101_6^2 - 9315553/374508*c_0101_6 + 1020373/374508, c_0011_0 - 1, c_0011_3 + 2688/10403*c_0101_6^8 + 6378/10403*c_0101_6^7 - 27980/10403*c_0101_6^6 - 24706/10403*c_0101_6^5 - 77641/10403*c_0101_6^4 - 1139/103*c_0101_6^3 - 36452/10403*c_0101_6^2 - 32573/10403*c_0101_6 - 4874/10403, c_0011_4 + 3523/20806*c_0101_6^8 + 11169/20806*c_0101_6^7 - 30433/20806*c_0101_6^6 - 64325/20806*c_0101_6^5 - 125379/20806*c_0101_6^4 - 1026/103*c_0101_6^3 - 157363/20806*c_0101_6^2 - 33167/20806*c_0101_6 - 11720/10403, c_0101_1 + 4372/10403*c_0101_6^8 + 11767/10403*c_0101_6^7 - 43218/10403*c_0101_6^6 - 57801/10403*c_0101_6^5 - 130013/10403*c_0101_6^4 - 2067/103*c_0101_6^3 - 87092/10403*c_0101_6^2 - 32251/10403*c_0101_6 - 8330/10403, c_0101_3 - c_0101_6, c_0101_4 - 2688/10403*c_0101_6^8 - 6378/10403*c_0101_6^7 + 27980/10403*c_0101_6^6 + 24706/10403*c_0101_6^5 + 77641/10403*c_0101_6^4 + 1139/103*c_0101_6^3 + 36452/10403*c_0101_6^2 + 32573/10403*c_0101_6 + 4874/10403, c_0101_6^9 + 2*c_0101_6^8 - 11*c_0101_6^7 - 5*c_0101_6^6 - 29*c_0101_6^5 - 30*c_0101_6^4 - 8*c_0101_6^3 - 10*c_0101_6^2 - 1 ], 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_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 259745318899600129039500/5233445074151881394333*c_0101_6^15 - 8379570103783269454042142/5233445074151881394333*c_0101_6^14 - 3213552295379792595536442/5233445074151881394333*c_0101_6^13 + 48837624913175077273889569/5233445074151881394333*c_0101_6^12 + 62904271757861820201932563/5233445074151881394333*c_0101_6^11 + 2320543954444020034995291/5233445074151881394333*c_0101_6^10 - 73294499096320052161436987/5233445074151881394333*c_0101_6^9 - 116840446584502787291564296/5233445074151881394333*c_0101_6^8 - 87411765068343388820921326/5233445074151881394333*c_0101_6^7 - 80219657926408669655774044/5233445074151881394333*c_0101_6^6 - 76308330489527767629828836/5233445074151881394333*c_0101_6^5 - 33613265503756291953580823/5233445074151881394333*c_0101_6^4 - 280255298631855716020697/5233445074151881394333*c_0101_6^3 + 10310727126629555336444464/5233445074151881394333*c_0101_6^2 + 3261771898718664811004062/5233445074151881394333*c_0101_6 - 756920907077303303713671/5233445074151881394333, c_0011_0 - 1, c_0011_3 + 712029732722660530183/5233445074151881394333*c_0101_6^15 + 22735664722629791567351/5233445074151881394333*c_0101_6^14 + 1507842208762564684624/5233445074151881394333*c_0101_6^13 - 127776662474928529207898/5233445074151881394333*c_0101_6^12 - 123192924063977023531277/5233445074151881394333*c_0101_6^11 - 4509988073730556815856/5233445074151881394333*c_0101_6^10 + 127443695769543897311160/5233445074151881394333*c_0101_6^9 + 259143510638513585414399/5233445074151881394333*c_0101_6^8 + 220660236797831500470869/5233445074151881394333*c_0101_6^7 + 266250770584768332045300/5233445074151881394333*c_0101_6^6 + 228694790018864195750438/5233445074151881394333*c_0101_6^5 + 102053822154184818198249/5233445074151881394333*c_0101_6^4 + 59815555977865055568218/5233445074151881394333*c_0101_6^3 + 8332206720795937751946/5233445074151881394333*c_0101_6^2 - 575593022524990233631/5233445074151881394333*c_0101_6 - 168164310059258288866/5233445074151881394333, c_0011_4 + 166020339052173626632/5233445074151881394333*c_0101_6^15 + 5422596835634926170318/5233445074151881394333*c_0101_6^14 + 4151441868052002434779/5233445074151881394333*c_0101_6^13 - 32098466609029031068502/5233445074151881394333*c_0101_6^12 - 53250207341890955779069/5233445074151881394333*c_0101_6^11 - 8404316174580499004574/5233445074151881394333*c_0101_6^10 + 59170363795599596591694/5233445074151881394333*c_0101_6^9 + 95906508406336666223739/5233445074151881394333*c_0101_6^8 + 70193511254759507953288/5233445074151881394333*c_0101_6^7 + 54382943475008946391080/5233445074151881394333*c_0101_6^6 + 50173478744807152650574/5233445074151881394333*c_0101_6^5 + 19196330200240938394276/5233445074151881394333*c_0101_6^4 - 8826993320097404240906/5233445074151881394333*c_0101_6^3 - 19975469651332863269587/5233445074151881394333*c_0101_6^2 - 1692095479792447342973/5233445074151881394333*c_0101_6 - 1064525136121002539224/5233445074151881394333, c_0101_1 + 309342638341354321239/5233445074151881394333*c_0101_6^15 + 9950162083650414207973/5233445074151881394333*c_0101_6^14 + 2865254984902950041674/5233445074151881394333*c_0101_6^13 - 59029084162496029010606/5233445074151881394333*c_0101_6^12 - 73371321455598682098495/5233445074151881394333*c_0101_6^11 + 8968172609486218909883/5233445074151881394333*c_0101_6^10 + 111677054940898044464543/5233445074151881394333*c_0101_6^9 + 137055963636867148799537/5233445074151881394333*c_0101_6^8 + 79124797507396911760515/5233445074151881394333*c_0101_6^7 + 63953810106354562555687/5233445074151881394333*c_0101_6^6 + 50254858014316396359985/5233445074151881394333*c_0101_6^5 + 10924091310750580721574/5233445074151881394333*c_0101_6^4 - 41272833797716852803737/5233445074151881394333*c_0101_6^3 - 29929357334873174467322/5233445074151881394333*c_0101_6^2 - 4474090728356874280515/5233445074151881394333*c_0101_6 - 799712908432218595598/5233445074151881394333, c_0101_3 - 1999744246724693042289/5233445074151881394333*c_0101_6^15 - 63742830208146030713219/5233445074151881394333*c_0101_6^14 - 572702200262664858667/5233445074151881394333*c_0101_6^13 + 363690549601963940792484/5233445074151881394333*c_0101_6^12 + 338442719685548269844276/5233445074151881394333*c_0101_6^11 - 41308671670981332143472/5233445074151881394333*c_0101_6^10 - 448464740464908479999580/5233445074151881394333*c_0101_6^9 - 710944795940978823392219/5233445074151881394333*c_0101_6^8 - 504881839568048617412980/5233445074151881394333*c_0101_6^7 - 599928339702009616683459/5233445074151881394333*c_0101_6^6 - 504076457490209925108502/5233445074151881394333*c_0101_6^5 - 208378947363395012924255/5233445074151881394333*c_0101_6^4 - 57899865151568841589320/5233445074151881394333*c_0101_6^3 + 23718634572243197230815/5233445074151881394333*c_0101_6^2 + 4841086515791596532706/5233445074151881394333*c_0101_6 - 473617398977334289066/5233445074151881394333, c_0101_4 - 218852585233545498411/5233445074151881394333*c_0101_6^15 - 6993168016841890885829/5233445074151881394333*c_0101_6^14 - 564319585630939756387/5233445074151881394333*c_0101_6^13 + 41265540678402005085519/5233445074151881394333*c_0101_6^12 + 41683333711482692560440/5233445074151881394333*c_0101_6^11 - 10972962951915328246626/5233445074151881394333*c_0101_6^10 - 63561309798169894863421/5233445074151881394333*c_0101_6^9 - 83818067476804240728166/5233445074151881394333*c_0101_6^8 - 54908420731122754258625/5233445074151881394333*c_0101_6^7 - 43540876959192451585163/5233445074151881394333*c_0101_6^6 - 35511053442423468455790/5233445074151881394333*c_0101_6^5 - 5781867402251336618599/5233445074151881394333*c_0101_6^4 + 17990970743169816203223/5233445074151881394333*c_0101_6^3 + 9422386576927418585602/5233445074151881394333*c_0101_6^2 + 9145539344158698370376/5233445074151881394333*c_0101_6 + 446241220180876551967/5233445074151881394333, c_0101_6^16 + 32*c_0101_6^15 + 4*c_0101_6^14 - 190*c_0101_6^13 - 193*c_0101_6^12 + 47*c_0101_6^11 + 277*c_0101_6^10 + 377*c_0101_6^9 + 229*c_0101_6^8 + 236*c_0101_6^7 + 224*c_0101_6^6 + 64*c_0101_6^5 - 23*c_0101_6^4 - 36*c_0101_6^3 - 2*c_0101_6^2 + 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB