Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 3987501353] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0429 geometric_solution 4.48434074 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 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 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.710438277552 0.045581832000 0 0 2 2 2310 0132 2310 0132 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 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 1.956985423094 0.252159006213 3 1 1 3 0132 3201 0132 1023 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 0 -1 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 1.442628626712 0.423625003516 2 4 5 2 0132 0132 0132 1023 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 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.104114259437 0.576911575263 5 3 6 5 2310 0132 0132 2031 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.137554962181 0.795871069761 6 4 4 3 2310 1302 3201 0132 0 0 0 0 0 1 -1 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 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.137554962181 0.795871069761 6 6 5 4 1230 3012 3201 0132 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 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.795706016776 0.846140073974 ==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' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_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_2'], '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_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_0']), '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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 498128732080095/5323641005101*c_0101_3^20 + 913917670448733/5323641005101*c_0101_3^19 - 3627890430263693/5323641005101*c_0101_3^18 - 3351545662975895/5323641005101*c_0101_3^17 + 16451698011884785/5323641005101*c_0101_3^16 - 6376704799217213/5323641005101*c_0101_3^15 - 65481999853155844/5323641005101*c_0101_3^14 + 71423498030754992/5323641005101*c_0101_3^13 + 213401307445622481/5323641005101*c_0101_3^12 - 212588085849402189/5323641005101*c_0101_3^11 - 492305217564778732/5323641005101*c_0101_3^10 + 313747535984444280/5323641005101*c_0101_3^9 + 720112905963232115/5323641005101*c_0101_3^8 - 235241384469789113/5323641005101*c_0101_3^7 - 607763721995393521/5323641005101*c_0101_3^6 + 77829033136384503/5323641005101*c_0101_3^5 + 256086118248909789/5323641005101*c_0101_3^4 - 3529370396112365/5323641005101*c_0101_3^3 - 35274384612840986/5323641005101*c_0101_3^2 - 3374658240995996/5323641005101*c_0101_3 - 2090678184142295/5323641005101, c_0011_0 - 1, c_0011_2 - 139821961218528/324742101311161*c_0101_3^20 - 188464558125651/324742101311161*c_0101_3^19 + 987801509572676/324742101311161*c_0101_3^18 + 325621207192254/324742101311161*c_0101_3^17 - 3868805685316817/324742101311161*c_0101_3^16 + 3766408785145830/324742101311161*c_0101_3^15 + 13123096291663740/324742101311161*c_0101_3^14 - 22384976484971779/324742101311161*c_0101_3^13 - 38389311413331475/324742101311161*c_0101_3^12 + 56222288429362156/324742101311161*c_0101_3^11 + 81720378917745599/324742101311161*c_0101_3^10 - 1175263100673176/5323641005101*c_0101_3^9 - 106323310721039528/324742101311161*c_0101_3^8 + 41952368321728940/324742101311161*c_0101_3^7 + 70833094802201268/324742101311161*c_0101_3^6 - 5201815817396413/324742101311161*c_0101_3^5 - 18208938596068913/324742101311161*c_0101_3^4 - 3021873522675855/324742101311161*c_0101_3^3 + 910927864512422/324742101311161*c_0101_3^2 + 278572425043700/324742101311161*c_0101_3 - 120023127153861/324742101311161, c_0011_5 + 21857942208839/324742101311161*c_0101_3^20 + 102236068541231/324742101311161*c_0101_3^19 + 23510533236251/324742101311161*c_0101_3^18 - 444630056154713/324742101311161*c_0101_3^17 - 90443789921140/324742101311161*c_0101_3^16 + 1202993689601114/324742101311161*c_0101_3^15 - 1927173066053953/324742101311161*c_0101_3^14 - 5281945350855463/324742101311161*c_0101_3^13 + 10297419187361982/324742101311161*c_0101_3^12 + 22627560999981908/324742101311161*c_0101_3^11 - 20335358494990816/324742101311161*c_0101_3^10 - 959495449226157/5323641005101*c_0101_3^9 + 9240390415742562/324742101311161*c_0101_3^8 + 80198145710475266/324742101311161*c_0101_3^7 + 21341219735874637/324742101311161*c_0101_3^6 - 51151447646547251/324742101311161*c_0101_3^5 - 26981628904948963/324742101311161*c_0101_3^4 + 9766136001448398/324742101311161*c_0101_3^3 + 8037512348171410/324742101311161*c_0101_3^2 + 1546714083031655/324742101311161*c_0101_3 + 150949908912720/324742101311161, c_0011_6 - 103433984609218/324742101311161*c_0101_3^20 - 73583907314674/324742101311161*c_0101_3^19 + 839828743215541/324742101311161*c_0101_3^18 - 192085602539474/324742101311161*c_0101_3^17 - 3116004146562011/324742101311161*c_0101_3^16 + 4588216774773819/324742101311161*c_0101_3^15 + 8288989198605795/324742101311161*c_0101_3^14 - 23244666924299477/324742101311161*c_0101_3^13 - 19141089956721346/324742101311161*c_0101_3^12 + 61717476090574081/324742101311161*c_0101_3^11 + 37446391251180878/324742101311161*c_0101_3^10 - 1550341878634246/5323641005101*c_0101_3^9 - 50131188246021027/324742101311161*c_0101_3^8 + 81566051135692098/324742101311161*c_0101_3^7 + 34375643636836672/324742101311161*c_0101_3^6 - 34952228172832827/324742101311161*c_0101_3^5 - 6830528724262050/324742101311161*c_0101_3^4 + 5277581043150100/324742101311161*c_0101_3^3 - 1274127803562152/324742101311161*c_0101_3^2 - 308277911034416/324742101311161*c_0101_3 + 135336152013243/324742101311161, c_0101_0 - 12423450766823/324742101311161*c_0101_3^20 - 44448620584432/324742101311161*c_0101_3^19 + 104744996173614/324742101311161*c_0101_3^18 + 282498838603455/324742101311161*c_0101_3^17 - 677737227920156/324742101311161*c_0101_3^16 - 460183680963758/324742101311161*c_0101_3^15 + 3388979608033222/324742101311161*c_0101_3^14 - 1179368927210714/324742101311161*c_0101_3^13 - 12378412792336074/324742101311161*c_0101_3^12 + 6997693147417951/324742101311161*c_0101_3^11 + 30890252562936706/324742101311161*c_0101_3^10 - 231815067989063/5323641005101*c_0101_3^9 - 50199909074443410/324742101311161*c_0101_3^8 + 14213587700735736/324742101311161*c_0101_3^7 + 49897659059334734/324742101311161*c_0101_3^6 - 6309250282636004/324742101311161*c_0101_3^5 - 26322922241303254/324742101311161*c_0101_3^4 - 43683891909374/324742101311161*c_0101_3^3 + 5137295927233453/324742101311161*c_0101_3^2 + 408826568479699/324742101311161*c_0101_3 + 72358503251999/324742101311161, c_0101_1 + 209150401355785/324742101311161*c_0101_3^20 + 337468528102977/324742101311161*c_0101_3^19 - 1443272322513189/324742101311161*c_0101_3^18 - 905745619304117/324742101311161*c_0101_3^17 + 6028281538972423/324742101311161*c_0101_3^16 - 4092210244753927/324742101311161*c_0101_3^15 - 22498354192876451/324742101311161*c_0101_3^14 + 29886092483316852/324742101311161*c_0101_3^13 + 70246120849338853/324742101311161*c_0101_3^12 - 78393822617456058/324742101311161*c_0101_3^11 - 155417171660872205/324742101311161*c_0101_3^10 + 1662381177721138/5323641005101*c_0101_3^9 + 213057772643416466/324742101311161*c_0101_3^8 - 60262348795971395/324742101311161*c_0101_3^7 - 161929657039392986/324742101311161*c_0101_3^6 + 8370506547480001/324742101311161*c_0101_3^5 + 59056510831238239/324742101311161*c_0101_3^4 + 4353004967169063/324742101311161*c_0101_3^3 - 7430964683813943/324742101311161*c_0101_3^2 - 682884064713432/324742101311161*c_0101_3 - 121672310680738/324742101311161, c_0101_3^21 + 2*c_0101_3^20 - 7*c_0101_3^19 - 8*c_0101_3^18 + 32*c_0101_3^17 - 7*c_0101_3^16 - 134*c_0101_3^15 + 121*c_0101_3^14 + 455*c_0101_3^13 - 355*c_0101_3^12 - 1071*c_0101_3^11 + 462*c_0101_3^10 + 1579*c_0101_3^9 - 216*c_0101_3^8 - 1337*c_0101_3^7 - 77*c_0101_3^6 + 565*c_0101_3^5 + 104*c_0101_3^4 - 77*c_0101_3^3 - 26*c_0101_3^2 - 6*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB