Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 2244221261] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1586 geometric_solution 5.36025767 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 -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 1 -1 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.769755114962 0.606171044855 0 3 2 4 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.757250091738 0.785200467677 4 1 3 0 0132 1230 0132 0132 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 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.757250091738 0.785200467677 3 1 3 2 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.093608213558 0.930936261376 2 5 1 5 0132 0132 0132 1023 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 0 0 0 0 0 -1 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 1.857879825099 0.174286560727 6 4 6 4 0132 0132 1023 1023 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 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.852656967276 0.513823718383 5 6 5 6 0132 2310 1023 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753833064916 0.218788964921 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 610548841972727788032963/49802762077029125576279*c_0101_6^18 + 4323664585077478224850989/49802762077029125576279*c_0101_6^17 + 8214146017966799639901219/49802762077029125576279*c_0101_6^16 - 6050002388791135158913544/49802762077029125576279*c_0101_6^15 - 28309373522885492500972809/49802762077029125576279*c_0101_6^14 + 1631242626300525700471018/49802762077029125576279*c_0101_6^13 + 40466292489360070553819430/49802762077029125576279*c_0101_6^12 - 15256977388164124067156704/49802762077029125576279*c_0101_6^11 - 36734449626270980561726732/49802762077029125576279*c_0101_6^10 + 41543652336791386655863552/49802762077029125576279*c_0101_6^9 + 10155202870284244284929219/49802762077029125576279*c_0101_6^8 - 57862376417097647847251706/49802762077029125576279*c_0101_6^7 + 4189691226041812396750533/49802762077029125576279*c_0101_6^6 + 31406874848076705525751355/49802762077029125576279*c_0101_6^5 - 1533015317225101335080717/7114680296718446510897*c_0101_6^4 - 8696840633933502872924345/49802762077029125576279*c_0101_6^3 + 3853302676621896086939944/49802762077029125576279*c_0101_6^2 + 220277856406946060312453/7114680296718446510897*c_0101_6 + 906559687139845021698964/49802762077029125576279, c_0011_0 - 1, c_0011_2 - 108889672741555301543835/14229360593436893021794*c_0101_6^18 - 454800843937041333918939/14229360593436893021794*c_0101_6^17 - 25112638742815344038283/14229360593436893021794*c_0101_6^16 + 1567686618961477676372961/14229360593436893021794*c_0101_6^15 + 118792186009721232902569/14229360593436893021794*c_0101_6^14 - 1318715242893768945240600/7114680296718446510897*c_0101_6^13 + 1482971555095320795787685/14229360593436893021794*c_0101_6^12 + 2270922429003075538367817/14229360593436893021794*c_0101_6^11 - 3693173078724126547727241/14229360593436893021794*c_0101_6^10 + 546342718581999870859079/14229360593436893021794*c_0101_6^9 + 1704769337729795140712182/7114680296718446510897*c_0101_6^8 - 1932297275608213209108309/14229360593436893021794*c_0101_6^7 - 456888190497028633843739/14229360593436893021794*c_0101_6^6 + 483846643281242172068500/7114680296718446510897*c_0101_6^5 - 149401758761506053707996/7114680296718446510897*c_0101_6^4 + 40808826312821681289239/7114680296718446510897*c_0101_6^3 - 21088402881466332628740/7114680296718446510897*c_0101_6^2 - 3352854459820575066251/14229360593436893021794*c_0101_6 - 10719741777782551627467/14229360593436893021794, c_0101_0 + 186726454915749349481649/14229360593436893021794*c_0101_6^18 + 870428908212158437587225/14229360593436893021794*c_0101_6^17 + 456185308005933762589215/14229360593436893021794*c_0101_6^16 - 2517223678751228169366481/14229360593436893021794*c_0101_6^15 - 1467999738111786801468387/14229360593436893021794*c_0101_6^14 + 1989981390573621234732510/7114680296718446510897*c_0101_6^13 - 439623214772430445117183/14229360593436893021794*c_0101_6^12 - 4467844670813013324525137/14229360593436893021794*c_0101_6^11 + 4047176327923568231459801/14229360593436893021794*c_0101_6^10 + 1618835201340844343034375/14229360593436893021794*c_0101_6^9 - 2677707762830518584803048/7114680296718446510897*c_0101_6^8 + 275290728561395400440611/14229360593436893021794*c_0101_6^7 + 1622803189841375044408547/14229360593436893021794*c_0101_6^6 - 451481853622599655972691/7114680296718446510897*c_0101_6^5 - 158662816675540202018050/7114680296718446510897*c_0101_6^4 - 38342023086747618344127/7114680296718446510897*c_0101_6^3 + 26805351084034463316322/7114680296718446510897*c_0101_6^2 + 36489567056632298709971/14229360593436893021794*c_0101_6 + 12613310743100249257191/14229360593436893021794, c_0101_1 + 75303360695437404221637/14229360593436893021794*c_0101_6^18 + 346035499415057692559979/14229360593436893021794*c_0101_6^17 + 167170867596645910918269/14229360593436893021794*c_0101_6^16 - 1019778316459066239770647/14229360593436893021794*c_0101_6^15 - 589743551002131312948079/14229360593436893021794*c_0101_6^14 + 792357760519144998673515/7114680296718446510897*c_0101_6^13 - 81805759417403296918245/14229360593436893021794*c_0101_6^12 - 1763748862678545873039219/14229360593436893021794*c_0101_6^11 + 1423895893009043607760517/14229360593436893021794*c_0101_6^10 + 826568228399424514635711/14229360593436893021794*c_0101_6^9 - 1022732880576089017554504/7114680296718446510897*c_0101_6^8 - 216233652437230906411667/14229360593436893021794*c_0101_6^7 + 891524277621955554241003/14229360593436893021794*c_0101_6^6 - 116046680798101726181152/7114680296718446510897*c_0101_6^5 - 147998502442028781315294/7114680296718446510897*c_0101_6^4 + 38834418332268331937684/7114680296718446510897*c_0101_6^3 + 14352738815351278469045/7114680296718446510897*c_0101_6^2 + 13375596828842804314109/14229360593436893021794*c_0101_6 + 8207166479862221945835/14229360593436893021794, c_0101_2 - 58042806522167096409465/14229360593436893021794*c_0101_6^18 - 248209754897471251065435/14229360593436893021794*c_0101_6^17 - 19584609249247647470985/14229360593436893021794*c_0101_6^16 + 913869390548062416656813/14229360593436893021794*c_0101_6^15 + 170796952659075846641581/14229360593436893021794*c_0101_6^14 - 828464046029313595055212/7114680296718446510897*c_0101_6^13 + 554760952668205354004015/14229360593436893021794*c_0101_6^12 + 1725734977522461539547389/14229360593436893021794*c_0101_6^11 - 1934628974666794071516461/14229360593436893021794*c_0101_6^10 - 374442030815130529609659/14229360593436893021794*c_0101_6^9 + 1146750918898587440693492/7114680296718446510897*c_0101_6^8 - 695711320379652954838551/14229360593436893021794*c_0101_6^7 - 945670724668008598607713/14229360593436893021794*c_0101_6^6 + 290513703449170630021846/7114680296718446510897*c_0101_6^5 + 71020966167125436131458/7114680296718446510897*c_0101_6^4 - 55217009431976511224320/7114680296718446510897*c_0101_6^3 - 27362381950072782217142/7114680296718446510897*c_0101_6^2 + 5471876862140488153679/14229360593436893021794*c_0101_6 - 5277165861843814600719/14229360593436893021794, c_0101_5 - 177134682722491816457139/14229360593436893021794*c_0101_6^18 - 752428123215469025890923/14229360593436893021794*c_0101_6^17 - 89136260134616106508713/14229360593436893021794*c_0101_6^16 + 2552396097978244581796669/14229360593436893021794*c_0101_6^15 + 327525143438342513946667/14229360593436893021794*c_0101_6^14 - 2163543934076933919557182/7114680296718446510897*c_0101_6^13 + 2257789541123811402555633/14229360593436893021794*c_0101_6^12 + 3931183319189409167684345/14229360593436893021794*c_0101_6^11 - 6000245680363653157221651/14229360593436893021794*c_0101_6^10 + 570368038239490507806381/14229360593436893021794*c_0101_6^9 + 2886651282818380795717423/7114680296718446510897*c_0101_6^8 - 3032907102177106550782149/14229360593436893021794*c_0101_6^7 - 902721415744304757444665/14229360593436893021794*c_0101_6^6 + 837386652469299157594600/7114680296718446510897*c_0101_6^5 - 209249588939656441946635/7114680296718446510897*c_0101_6^4 + 50317564098710849702151/7114680296718446510897*c_0101_6^3 - 39668354354338606156631/7114680296718446510897*c_0101_6^2 + 5350661941999210791751/14229360593436893021794*c_0101_6 - 19096529599176227005825/14229360593436893021794, c_0101_6^19 + 17/3*c_0101_6^18 + 59/9*c_0101_6^17 - 367/27*c_0101_6^16 - 67/3*c_0101_6^15 + 64/3*c_0101_6^14 + 595/27*c_0101_6^13 - 353/9*c_0101_6^12 + 5/3*c_0101_6^11 + 1181/27*c_0101_6^10 - 958/27*c_0101_6^9 - 265/9*c_0101_6^8 + 83/3*c_0101_6^7 - 20/27*c_0101_6^6 - 292/27*c_0101_6^5 + 52/27*c_0101_6^4 + 5/9*c_0101_6^2 + 1/27*c_0101_6 + 4/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB