Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 896838138] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0330 geometric_solution 4.36003045 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 0 -1 -1 0 1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783306113141 0.777172376366 3 2 2 0 0132 3012 1230 0132 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 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.091044943268 0.762656562842 1 3 0 1 1230 3201 0132 3012 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 -1 1 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 1.091044943268 0.762656562842 1 4 2 4 0132 0132 2310 2310 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 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 1.213571133843 0.464699521754 3 3 5 5 3201 0132 3201 0132 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 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 0 0.409848946568 0.309143309721 4 6 4 6 2310 0132 0132 2310 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 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 -2.185739441884 0.833678963755 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 -1 1 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 -1 1 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.354737616387 0.029343645005 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_5, c_0101_0, c_0101_1, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 92369253332558553526525/274556931883952904432*c_0110_6^15 - 42402566214905049285637/68639232970988226108*c_0110_6^14 + 1526131838481876756047/80562480012896979*c_0110_6^13 - 976890523713334549031230/17159808242747056527*c_0110_6^12 + 106922367687178331850481/3813290720610457006*c_0110_6^11 + 15597651033903649331451427/137278465941976452216*c_0110_6^10 - 50426329804759567252391897/274556931883952904432*c_0110_6^9 + 8641501175973398106316543/274556931883952904432*c_0110_6^8 + 31442498494192531473758177/137278465941976452216*c_0110_6^7 - 3737658565080094790382299/17159808242747056527*c_0110_6^6 - 39726814520806795730415179/274556931883952904432*c_0110_6^5 + 11024182242546842605075637/68639232970988226108*c_0110_6^4 + 6572011031115165035071811/91518977294650968144*c_0110_6^3 - 3725188053209775749860237/137278465941976452216*c_0110_6^2 - 5132235746145453028854085/274556931883952904432*c_0110_6 - 1078259552047965596030123/274556931883952904432, c_0011_0 - 1, c_0011_1 + 318373840944176706/1906645360305228503*c_0110_6^15 + 586360268478515594/1906645360305228503*c_0110_6^14 - 250732703426097577/26854160004298993*c_0110_6^13 + 54015141013372522967/1906645360305228503*c_0110_6^12 - 32980257492365040271/1906645360305228503*c_0110_6^11 - 87920745850716609168/1906645360305228503*c_0110_6^10 + 162377614477926261969/1906645360305228503*c_0110_6^9 - 62070105757722913639/1906645360305228503*c_0110_6^8 - 158038017714907279448/1906645360305228503*c_0110_6^7 + 182469221989294557633/1906645360305228503*c_0110_6^6 + 80139565763347947463/1906645360305228503*c_0110_6^5 - 86458342451940723214/1906645360305228503*c_0110_6^4 - 40455574306045533025/1906645360305228503*c_0110_6^3 - 1276479310529923499/1906645360305228503*c_0110_6^2 + 7090145141023473601/1906645360305228503*c_0110_6 + 2160097406319069469/1906645360305228503, c_0011_5 + 179882790792434722/1906645360305228503*c_0110_6^15 + 226259396185066099/1906645360305228503*c_0110_6^14 - 143141108689929558/26854160004298993*c_0110_6^13 + 36534234895111555302/1906645360305228503*c_0110_6^12 - 41450322153808050269/1906645360305228503*c_0110_6^11 - 22616988754746549563/1906645360305228503*c_0110_6^10 + 107854354594435532871/1906645360305228503*c_0110_6^9 - 108515809056285646147/1906645360305228503*c_0110_6^8 - 24289270749177404060/1906645360305228503*c_0110_6^7 + 132424169404694846545/1906645360305228503*c_0110_6^6 - 50992554805270004773/1906645360305228503*c_0110_6^5 - 25749282069153910593/1906645360305228503*c_0110_6^4 + 25096212062572388911/1906645360305228503*c_0110_6^3 - 10725157146653000242/1906645360305228503*c_0110_6^2 - 6649482160335397182/1906645360305228503*c_0110_6 - 1215192621858408961/1906645360305228503, c_0101_0 - 191209221102775506/1906645360305228503*c_0110_6^15 - 207540319203249206/1906645360305228503*c_0110_6^14 + 154740881143669154/26854160004298993*c_0110_6^13 - 40446844966146036014/1906645360305228503*c_0110_6^12 + 42795790743703206476/1906645360305228503*c_0110_6^11 + 41219301681501550335/1906645360305228503*c_0110_6^10 - 136240616781442105621/1906645360305228503*c_0110_6^9 + 100455753505068685321/1906645360305228503*c_0110_6^8 + 76271753517088405637/1906645360305228503*c_0110_6^7 - 177524243587707580096/1906645360305228503*c_0110_6^6 + 16588341780622845966/1906645360305228503*c_0110_6^5 + 95043779437665329565/1906645360305228503*c_0110_6^4 + 2384913969149917100/1906645360305228503*c_0110_6^3 - 20917667054152593944/1906645360305228503*c_0110_6^2 - 10852043619319137524/1906645360305228503*c_0110_6 - 19305381431221730/1906645360305228503, c_0101_1 - 251569530781243736/1906645360305228503*c_0110_6^15 - 415828508426422699/1906645360305228503*c_0110_6^14 + 199488754249147131/26854160004298993*c_0110_6^13 - 45332195975058959535/1906645360305228503*c_0110_6^12 + 33585730446326773144/1906645360305228503*c_0110_6^11 + 66968062909669770039/1906645360305228503*c_0110_6^10 - 146157426024640209503/1906645360305228503*c_0110_6^9 + 76193592134516126165/1906645360305228503*c_0110_6^8 + 122206081157702611399/1906645360305228503*c_0110_6^7 - 183582893684799018106/1906645360305228503*c_0110_6^6 - 25960105642625955702/1906645360305228503*c_0110_6^5 + 86551458872963022131/1906645360305228503*c_0110_6^4 + 4199463712041900164/1906645360305228503*c_0110_6^3 - 548960507239988958/1906645360305228503*c_0110_6^2 + 282963229642980952/1906645360305228503*c_0110_6 - 155436673911198887/1906645360305228503, c_0101_5 + 415257623274268954/1906645360305228503*c_0110_6^15 + 703234294744862255/1906645360305228503*c_0110_6^14 - 330379782033838536/26854160004298993*c_0110_6^13 + 73658536928191326926/1906645360305228503*c_0110_6^12 - 46542520145121404660/1906645360305228503*c_0110_6^11 - 129013858761240208199/1906645360305228503*c_0110_6^10 + 241376576267846521651/1906645360305228503*c_0110_6^9 - 80044450975922071850/1906645360305228503*c_0110_6^8 - 253751754279144057973/1906645360305228503*c_0110_6^7 + 292865329412085529301/1906645360305228503*c_0110_6^6 + 125520383604689891309/1906645360305228503*c_0110_6^5 - 193202340989331820219/1906645360305228503*c_0110_6^4 - 67128448808798155676/1906645360305228503*c_0110_6^3 + 33803257370250976218/1906645360305228503*c_0110_6^2 + 23603806005783877537/1906645360305228503*c_0110_6 + 3683551667486271066/1906645360305228503, c_0110_6^16 + 2*c_0110_6^15 - 56*c_0110_6^14 + 160*c_0110_6^13 - 56*c_0110_6^12 - 350*c_0110_6^11 + 489*c_0110_6^10 - 5*c_0110_6^9 - 692*c_0110_6^8 + 532*c_0110_6^7 + 535*c_0110_6^6 - 402*c_0110_6^5 - 293*c_0110_6^4 + 44*c_0110_6^3 + 69*c_0110_6^2 + 21*c_0110_6 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB