Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 4122241302] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0585 geometric_solution 4.60262908 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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 2.470498759061 0.183480025070 0 2 2 0 3201 0132 3201 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 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.721145516660 0.344768186851 1 1 3 4 2310 0132 0132 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 1 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.432044295177 0.460982070439 5 4 4 2 0132 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 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 0.783581114533 0.582082548328 3 5 2 3 1230 3201 0132 1302 0 0 0 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 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.783581114533 0.582082548328 3 6 4 6 0132 0132 2310 2310 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 1 -1 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 1.832326612293 1.437600224514 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 1 0 -1 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 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.217207889390 0.425850487949 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['c_0110_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0101_0, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 15400412415001163106962946527180301457/1337263590502388439699694561\ 90200154*c_0110_6^17 - 105672002739942143686588472593470760223/1337\ 26359050238843969969456190200154*c_0110_6^16 + 153606741752746526329209386811617660470/668631795251194219849847280\ 95100077*c_0110_6^15 + 86490391421703627766927296535228333803/66863\ 179525119421984984728095100077*c_0110_6^14 + 2167309801731715470230233089624013575106/66863179525119421984984728\ 095100077*c_0110_6^13 + 14484658748796840868453880009638324919210/6\ 6863179525119421984984728095100077*c_0110_6^12 - 73875360905877211882823175797761873282505/1337263590502388439699694\ 56190200154*c_0110_6^11 - 46496272658817072302207843137902723080481\ /133726359050238843969969456190200154*c_0110_6^10 + 67478628376990602242407929048390876719830/6686317952511942198498472\ 8095100077*c_0110_6^9 - 38140215154139932432087459787511969458067/6\ 6863179525119421984984728095100077*c_0110_6^8 + 23970243527717234091918011502364362439095/1337263590502388439699694\ 56190200154*c_0110_6^7 + 25266789791228818554250373148635353904777/\ 66863179525119421984984728095100077*c_0110_6^6 - 28413465547503951241201553352212373589551/1337263590502388439699694\ 56190200154*c_0110_6^5 - 11893653093049962482480601461240250482589/\ 66863179525119421984984728095100077*c_0110_6^4 + 163211123884023255286169880202696149924/668631795251194219849847280\ 95100077*c_0110_6^3 + 5060941943008579383787423372889636287359/1337\ 26359050238843969969456190200154*c_0110_6^2 + 650312453588105119348607961063298106490/668631795251194219849847280\ 95100077*c_0110_6 + 57675390399280643875372345562139857245/66863179\ 525119421984984728095100077, c_0011_0 - 1, c_0011_1 + 99592636939757692661106095398324065/668631795251194219849847\ 28095100077*c_0110_6^17 + 1369935636339575619714573531813713609/133\ 726359050238843969969456190200154*c_0110_6^16 - 1976373910949277568815276901875333608/66863179525119421984984728095\ 100077*c_0110_6^15 - 2309416490257089853919444478361876659/13372635\ 9050238843969969456190200154*c_0110_6^14 - 28035241930533011690206467967560640939/6686317952511942198498472809\ 5100077*c_0110_6^13 - 187788089110624860311510339966404948466/66863\ 179525119421984984728095100077*c_0110_6^12 + 474910000095323662113669085892402248058/668631795251194219849847280\ 95100077*c_0110_6^11 + 618991821238139613178763004036940869291/1337\ 26359050238843969969456190200154*c_0110_6^10 - 871387994391463417747459291141986207236/668631795251194219849847280\ 95100077*c_0110_6^9 + 956567975457586990625061446034262851601/13372\ 6359050238843969969456190200154*c_0110_6^8 - 140625066805176945434870572184819347326/668631795251194219849847280\ 95100077*c_0110_6^7 - 668513167990968895348763140983100896845/13372\ 6359050238843969969456190200154*c_0110_6^6 + 360420558955098308799977923331840045365/133726359050238843969969456\ 190200154*c_0110_6^5 + 317847566735333662846810519088296839299/1337\ 26359050238843969969456190200154*c_0110_6^4 - 3655801330290781226887168878970523091/13372635905023884396996945619\ 0200154*c_0110_6^3 - 33255044125714162447848639670239989979/6686317\ 9525119421984984728095100077*c_0110_6^2 - 17191755106195276359928664425522587255/1337263590502388439699694561\ 90200154*c_0110_6 - 1292374338272989515192695018929187299/133726359\ 050238843969969456190200154, c_0011_3 + 43202483380206711336979872218667565/133726359050238843969969\ 456190200154*c_0110_6^17 + 147454354548678657823241197844786207/668\ 63179525119421984984728095100077*c_0110_6^16 - 436013964323395960599673332024853040/668631795251194219849847280951\ 00077*c_0110_6^15 - 452675765434505636616791831793623973/1337263590\ 50238843969969456190200154*c_0110_6^14 - 6074281595754396884841979185696413732/66863179525119421984984728095\ 100077*c_0110_6^13 - 40420011033322670732168283912006325568/6686317\ 9525119421984984728095100077*c_0110_6^12 + 210037956747599574023546579629652230747/133726359050238843969969456\ 190200154*c_0110_6^11 + 61265723330013710689576924113100645006/6686\ 3179525119421984984728095100077*c_0110_6^10 - 190892887799806211786062464450939808723/668631795251194219849847280\ 95100077*c_0110_6^9 + 228439310444174069880693217916356886875/13372\ 6359050238843969969456190200154*c_0110_6^8 - 77552509573223409048291445957180343863/1337263590502388439699694561\ 90200154*c_0110_6^7 - 138106161328950618577054891903665766557/13372\ 6359050238843969969456190200154*c_0110_6^6 + 42142186933512702594796027502879140828/6686317952511942198498472809\ 5100077*c_0110_6^5 + 62635648934041828251726337943643394801/1337263\ 59050238843969969456190200154*c_0110_6^4 - 2425595091943011406167443628621776309/13372635905023884396996945619\ 0200154*c_0110_6^3 - 13901405897100127287652951609502617373/1337263\ 59050238843969969456190200154*c_0110_6^2 - 2956990373138518413747822329098932317/13372635905023884396996945619\ 0200154*c_0110_6 - 227297477435793573667935657797715119/13372635905\ 0238843969969456190200154, c_0101_0 - 43499298289514727832871398198868115/668631795251194219849847\ 28095100077*c_0110_6^17 - 300368785014912846941769437012016584/6686\ 3179525119421984984728095100077*c_0110_6^16 + 1712474163088879425561908925081749571/13372635905023884396996945619\ 0200154*c_0110_6^15 + 1072819982140643022376468569209655737/1337263\ 59050238843969969456190200154*c_0110_6^14 + 12234588775844522896604176644473843576/6686317952511942198498472809\ 5100077*c_0110_6^13 + 82345037155164938629303235587413585804/668631\ 79525119421984984728095100077*c_0110_6^12 - 205524637953878178601138260523079785694/668631795251194219849847280\ 95100077*c_0110_6^11 - 143171325987943721832842460223078072951/6686\ 3179525119421984984728095100077*c_0110_6^10 + 765431133635087929532236154390847960611/133726359050238843969969456\ 190200154*c_0110_6^9 - 390647171753545401568019935975346147371/1337\ 26359050238843969969456190200154*c_0110_6^8 + 45918852806092457980025408544809370556/6686317952511942198498472809\ 5100077*c_0110_6^7 + 154819313045637631703865664481906721295/668631\ 79525119421984984728095100077*c_0110_6^6 - 156520997084920991078698834125215899935/133726359050238843969969456\ 190200154*c_0110_6^5 - 74703608484426510410316863282389505834/66863\ 179525119421984984728095100077*c_0110_6^4 + 1406256709639329130656204884701297179/13372635905023884396996945619\ 0200154*c_0110_6^3 + 15779746926461077832455655193383216846/6686317\ 9525119421984984728095100077*c_0110_6^2 + 4101041336764906761421824833517151032/66863179525119421984984728095\ 100077*c_0110_6 + 502886829381987599467732651490407449/133726359050\ 238843969969456190200154, c_0101_2 - 76759019715987051736133301249491904/668631795251194219849847\ 28095100077*c_0110_6^17 - 526872349184726864218828562148134160/6686\ 3179525119421984984728095100077*c_0110_6^16 + 1530123375119015299176992455471281963/66863179525119421984984728095\ 100077*c_0110_6^15 + 866523061579321330786262460276901723/668631795\ 25119421984984728095100077*c_0110_6^14 + 21602599552967016142400400556508471043/6686317952511942198498472809\ 5100077*c_0110_6^13 + 144442544446407353504411728222380755403/66863\ 179525119421984984728095100077*c_0110_6^12 - 367910513769394155796722266070258716952/668631795251194219849847280\ 95100077*c_0110_6^11 - 232815981809041422827100648761665790311/6686\ 3179525119421984984728095100077*c_0110_6^10 + 673147693728043240450719904363691062707/668631795251194219849847280\ 95100077*c_0110_6^9 - 379173097154160443928981183964740308994/66863\ 179525119421984984728095100077*c_0110_6^8 + 117066045370917108341223679707443616242/668631795251194219849847280\ 95100077*c_0110_6^7 + 254228673256743337429319078373950978920/66863\ 179525119421984984728095100077*c_0110_6^6 - 142691910918208260164312283423408150793/668631795251194219849847280\ 95100077*c_0110_6^5 - 118230095775303647115683664941946129671/66863\ 179525119421984984728095100077*c_0110_6^4 + 1633966065101077087368069041641560663/66863179525119421984984728095\ 100077*c_0110_6^3 + 25278068067725453009398115663842381640/66863179\ 525119421984984728095100077*c_0110_6^2 + 6465045026060200760197588727920516136/66863179525119421984984728095\ 100077*c_0110_6 + 504324195246196782539464963508931494/668631795251\ 19421984984728095100077, c_0101_3 - 33604161553310422049571976776197521/133726359050238843969969\ 456190200154*c_0110_6^17 - 116314006953680242452289390329074547/668\ 63179525119421984984728095100077*c_0110_6^16 + 328394268286828180660856079402186824/668631795251194219849847280951\ 00077*c_0110_6^15 + 421491435225960950360556202604462123/1337263590\ 50238843969969456190200154*c_0110_6^14 + 4735009396741350313203962994134619698/66863179525119421984984728095\ 100077*c_0110_6^13 + 31894307112716149581396502881173948978/6686317\ 9525119421984984728095100077*c_0110_6^12 - 157485160772543777459346785065901899043/133726359050238843969969456\ 190200154*c_0110_6^11 - 56076908646822510773285074058815120258/6686\ 3179525119421984984728095100077*c_0110_6^10 + 145523624531055444485063234048088572989/668631795251194219849847280\ 95100077*c_0110_6^9 - 148405238947322292607848103860304299523/13372\ 6359050238843969969456190200154*c_0110_6^8 + 37928379995714668798339613659610921863/1337263590502388439699694561\ 90200154*c_0110_6^7 + 118256701876073481180136180465403370019/13372\ 6359050238843969969456190200154*c_0110_6^6 - 29177156064685500406938357736607924016/6686317952511942198498472809\ 5100077*c_0110_6^5 - 55767302383972834512616973270695042291/1337263\ 59050238843969969456190200154*c_0110_6^4 - 1537402854046739963297042635049144995/13372635905023884396996945619\ 0200154*c_0110_6^3 + 11128205509784249261455854282475849135/1337263\ 59050238843969969456190200154*c_0110_6^2 + 3360476510651405155985575431295277281/13372635905023884396996945619\ 0200154*c_0110_6 + 295313909887347107236716383349913089/13372635905\ 0238843969969456190200154, c_0110_6^18 + 7*c_0110_6^17 - 19*c_0110_6^16 - 14*c_0110_6^15 - 283*c_0110_6^14 - 1920*c_0110_6^13 + 4537*c_0110_6^12 + 3685*c_0110_6^11 - 8349*c_0110_6^10 + 3736*c_0110_6^9 - 866*c_0110_6^8 - 3500*c_0110_6^7 + 1392*c_0110_6^6 + 1803*c_0110_6^5 + 193*c_0110_6^4 - 332*c_0110_6^3 - 130*c_0110_6^2 - 19*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB