Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 2648441152] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0870 geometric_solution 4.77795621 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 3201 0 0 0 0 0 1 -1 0 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 -1.405555841393 0.995051519300 0 0 2 2 0132 2310 3201 0132 0 0 0 0 0 1 0 -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 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.112041809287 0.318027674153 1 3 1 4 2310 0132 0132 0132 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 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 1.946161204312 1.466631149004 5 2 4 4 0132 0132 3012 2310 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 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.367867321295 1.160065915282 3 3 2 5 3201 1230 0132 3201 0 0 0 0 0 -1 1 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 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.367867321295 1.160065915282 3 4 6 6 0132 2310 0132 2310 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 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.112041809287 0.318027674153 5 6 6 5 3201 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.405555841393 0.995051519300 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], '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_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_1']), '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_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 12*c_0101_3^5 - 45*c_0101_3^4 - 41*c_0101_3^3 + 85*c_0101_3^2 + 16*c_0101_3 - 17, c_0011_0 - 1, c_0011_2 - c_0101_3^5 + 4*c_0101_3^4 + 3*c_0101_3^3 - 10*c_0101_3^2 - c_0101_3 + 4, c_0011_4 + 3*c_0101_3^5 - 11*c_0101_3^4 - 11*c_0101_3^3 + 20*c_0101_3^2 + 4*c_0101_3 - 6, c_0011_6 - 1, c_0101_0 + c_0101_3, c_0101_1 + c_0101_3^5 - 3*c_0101_3^4 - 6*c_0101_3^3 + 4*c_0101_3^2 + 4*c_0101_3 - 1, c_0101_3^6 - 3*c_0101_3^5 - 6*c_0101_3^4 + 4*c_0101_3^3 + 5*c_0101_3^2 - c_0101_3 - 1 ], 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_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 31630686457670150168086/22281979636425864487*c_0101_3^15 + 43623837616013740235334/22281979636425864487*c_0101_3^14 + 535921740787087268553945/22281979636425864487*c_0101_3^13 - 1530163329205501477855314/22281979636425864487*c_0101_3^12 - 2280058525354503652279824/22281979636425864487*c_0101_3^11 + 10807073624018569184081887/22281979636425864487*c_0101_3^10 - 2607351022847065606860493/22281979636425864487*c_0101_3^9 - 23423656609918037429131778/22281979636425864487*c_0101_3^8 + 19833658901607868917170025/22281979636425864487*c_0101_3^7 + 9716631894775684333563674/22281979636425864487*c_0101_3^6 - 11601563925061993134367903/22281979636425864487*c_0101_3^5 + 1463007933101549294026876/22281979636425864487*c_0101_3^4 + 2667472050610918072738149/22281979636425864487*c_0101_3^3 - 811520336926408579130504/22281979636425864487*c_0101_3^2 - 28999589356605219279040/2025634512402351317*c_0101_3 + 13488609340946999876394/22281979636425864487, c_0011_0 - 1, c_0011_2 + 100226610043337945276/22281979636425864487*c_0101_3^15 - 146440464662469777544/22281979636425864487*c_0101_3^14 - 1686504982039216517084/22281979636425864487*c_0101_3^13 + 4987162311391001452734/22281979636425864487*c_0101_3^12 + 6822060104327025957823/22281979636425864487*c_0101_3^11 - 34818624540869702698587/22281979636425864487*c_0101_3^10 + 11088029606098345124166/22281979636425864487*c_0101_3^9 + 73421511407945304012011/22281979636425864487*c_0101_3^8 - 68872270352330210638932/22281979636425864487*c_0101_3^7 - 25363260999803866458709/22281979636425864487*c_0101_3^6 + 38961940926836191114649/22281979636425864487*c_0101_3^5 - 7753654798071724973894/22281979636425864487*c_0101_3^4 - 7776471754137771566100/22281979636425864487*c_0101_3^3 + 3176726858526652135834/22281979636425864487*c_0101_3^2 + 68413297015633644863/2025634512402351317*c_0101_3 - 118160124398357012298/22281979636425864487, c_0011_4 - 18256248469377633760/2025634512402351317*c_0101_3^15 + 26837426165880115610/2025634512402351317*c_0101_3^14 + 306946140955885611510/2025634512402351317*c_0101_3^13 - 911131627933672782387/2025634512402351317*c_0101_3^12 - 1234365359742804802508/2025634512402351317*c_0101_3^11 + 6352651146514193556736/2025634512402351317*c_0101_3^10 - 2076130631053767194806/2025634512402351317*c_0101_3^9 - 13353162117727576478887/2025634512402351317*c_0101_3^8 + 12658623805988395064387/2025634512402351317*c_0101_3^7 + 4514553124568298579232/2025634512402351317*c_0101_3^6 - 7134506292705272624468/2025634512402351317*c_0101_3^5 + 1447110483365932409625/2025634512402351317*c_0101_3^4 + 1432924247866670798115/2025634512402351317*c_0101_3^3 - 585465586589170183879/2025634512402351317*c_0101_3^2 - 140792324909440551067/2025634512402351317*c_0101_3 + 20133744623580849192/2025634512402351317, c_0011_6 + 69396600164403452284/22281979636425864487*c_0101_3^15 - 103201208514811119634/22281979636425864487*c_0101_3^14 - 1163548913618435284640/22281979636425864487*c_0101_3^13 + 3481075615272083668133/22281979636425864487*c_0101_3^12 + 4608466017112933510022/22281979636425864487*c_0101_3^11 - 24152648461935825128186/22281979636425864487*c_0101_3^10 + 8393843097857857409746/22281979636425864487*c_0101_3^9 + 50116957981142567566827/22281979636425864487*c_0101_3^8 - 48759107210688619430014/22281979636425864487*c_0101_3^7 - 15382703129805393732137/22281979636425864487*c_0101_3^6 + 26368067750646123201415/22281979636425864487*c_0101_3^5 - 6045667269749340264897/22281979636425864487*c_0101_3^4 - 5019274445605755670932/22281979636425864487*c_0101_3^3 + 2188064559844750910695/22281979636425864487*c_0101_3^2 + 43844908249017590981/2025634512402351317*c_0101_3 - 64328622237291510283/22281979636425864487, c_0101_0 - 609698146186636798/22281979636425864487*c_0101_3^15 + 5859650037738146390/22281979636425864487*c_0101_3^14 + 2586221893155004299/22281979636425864487*c_0101_3^13 - 113315607108584053894/22281979636425864487*c_0101_3^12 + 212657701534015953509/22281979636425864487*c_0101_3^11 + 529004448021081360352/22281979636425864487*c_0101_3^10 - 1820234043121790757575/22281979636425864487*c_0101_3^9 + 248023685671632887699/22281979636425864487*c_0101_3^8 + 4002005182419885961311/22281979636425864487*c_0101_3^7 - 3551266156583621516989/22281979636425864487*c_0101_3^6 - 1185680016875789720437/22281979636425864487*c_0101_3^5 + 2019455405285532519839/22281979636425864487*c_0101_3^4 - 481667072144931693345/22281979636425864487*c_0101_3^3 - 281637597012880756113/22281979636425864487*c_0101_3^2 + 9562604225581743005/2025634512402351317*c_0101_3 + 10898248355357272617/22281979636425864487, c_0101_1 + 78556906727784692062/22281979636425864487*c_0101_3^15 - 111760254159875098948/22281979636425864487*c_0101_3^14 - 1326773132514809266869/22281979636425864487*c_0101_3^13 + 3859693598650650910745/22281979636425864487*c_0101_3^12 + 5504313146084308041839/22281979636425864487*c_0101_3^11 - 27124076476718933296747/22281979636425864487*c_0101_3^10 + 7651330968647459832370/22281979636425864487*c_0101_3^9 + 58109685579830521932533/22281979636425864487*c_0101_3^8 - 52118507410722078233300/22281979636425864487*c_0101_3^7 - 22216591399287461968593/22281979636425864487*c_0101_3^6 + 30706970028706274529262/22281979636425864487*c_0101_3^5 - 5326804297830197650459/22281979636425864487*c_0101_3^4 - 6683645617382390230275/22281979636425864487*c_0101_3^3 + 2483155182791793730005/22281979636425864487*c_0101_3^2 + 63136858343297795041/2025634512402351317*c_0101_3 - 85085009127211998052/22281979636425864487, c_0101_3^16 - c_0101_3^15 - 35/2*c_0101_3^14 + 42*c_0101_3^13 + 91*c_0101_3^12 - 316*c_0101_3^11 - 99/2*c_0101_3^10 + 1567/2*c_0101_3^9 - 699/2*c_0101_3^8 - 570*c_0101_3^7 + 545/2*c_0101_3^6 + 205/2*c_0101_3^5 - 229/2*c_0101_3^4 - 9/2*c_0101_3^3 + 45/2*c_0101_3^2 + 5/2*c_0101_3 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB