Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 2715827349] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2476 geometric_solution 5.80920624 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.517018815871 0.248547528685 2 0 3 0 0132 2310 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 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.911898124956 0.506722491920 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.873147126955 0.898728928278 5 2 4 1 1023 1230 0132 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 1 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.873147126955 0.898728928278 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.485653369910 0.912563224414 6 3 2 6 0132 1023 0132 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 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.627413621794 0.566931526652 5 5 6 6 0132 2310 1230 3012 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.680012957132 0.582963576430 ==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' : d['c_0101_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 41/2*c_0101_6^5 + 279/2*c_0101_6^3 + 52*c_0101_6, c_0011_0 - 1, c_0011_1 + 1/2*c_0101_6^2 - 1/2, c_0011_3 + 1/2*c_0101_6^2 + 1/2, c_0101_0 + 1/4*c_0101_6^5 - 2*c_0101_6^3 + 3/4*c_0101_6, c_0101_1 - 1/4*c_0101_6^4 + c_0101_6^2 + 1/4, c_0101_3 + 1/4*c_0101_6^5 - 2*c_0101_6^3 - 1/4*c_0101_6, c_0101_6^6 - 7*c_0101_6^4 - c_0101_6^2 - 1 ], 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_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 11186325219976467471007718132724102957907807/7946131109881046024765\ 354710951708580800*c_0101_6^31 - 3556736870519791445715730080377721\ 5594634087/1589226221976209204953070942190341716160*c_0101_6^29 + 1226856994787585286371950143222139071291686893/15892262219762092049\ 53070942190341716160*c_0101_6^27 - 21553587016161376378347780892214549996959720183/1589226221976209204\ 953070942190341716160*c_0101_6^25 + 770026283369944456328292054899808700240483462489/794613110988104602\ 4765354710951708580800*c_0101_6^23 - 3033518717142756632479144589024510329999530843189/79461311098810460\ 24765354710951708580800*c_0101_6^21 + 53104376829324494274468134940251739140728010843/5480090420607617948\ 1140377316908335040*c_0101_6^19 - 419564506781121086086496787829973\ 563786373808141/248316597183782688273917334717240893150*c_0101_6^17 + 1029566188647357947531658989715586360096256171167/496633194367565\ 376547834669434481786300*c_0101_6^15 - 1460138147280724877130991145000794066373449094521/79461311098810460\ 2476535471095170858080*c_0101_6^13 + 9216359961988477025198507087770127754831452122623/79461311098810460\ 24765354710951708580800*c_0101_6^11 - 3716071126199846708312726017130445032476212105981/79461311098810460\ 24765354710951708580800*c_0101_6^9 + 836057905635559318400863662638459787045460044717/794613110988104602\ 4765354710951708580800*c_0101_6^7 - 19411139392511591807330188016187388139159483069/1589226221976209204\ 953070942190341716160*c_0101_6^5 + 82429348283764738983498961042950680110456169/1241582985918913441369\ 58667358620446575*c_0101_6^3 - 101016986642121484764491340785498901\ 912168837/7946131109881046024765354710951708580800*c_0101_6, c_0011_0 - 1, c_0011_1 + 1649700979564311726822607752523781223097/4966331943675653765\ 47834669434481786300*c_0101_6^30 - 525255795901475931198118169699409170373/993266388735130753095669338\ 8689635726*c_0101_6^28 + 36208995692604998520361166891872026967067/\ 19865327774702615061913386777379271452*c_0101_6^26 - 795644952618923663006136965687495196790639/248316597183782688273917\ 33471724089315*c_0101_6^24 + 11390670875971683187618271408686153133\ 2769629/496633194367565376547834669434481786300*c_0101_6^22 - 112454841838614048223106681986076401757312266/124158298591891344136\ 958667358620446575*c_0101_6^20 + 7897112692920390874349050104221784\ 462908171/3425056512879761217571273582306770940*c_0101_6^18 - 2003674665300672127095509226798571712958710367/49663319436756537654\ 7834669434481786300*c_0101_6^16 + 246964593866825138809255586333661\ 4254141659037/496633194367565376547834669434481786300*c_0101_6^14 - 88048910487576260654287439654727708773729165/1986532777470261506191\ 3386777379271452*c_0101_6^12 + 349997194520042336003328060909931733\ 513320367/124158298591891344136958667358620446575*c_0101_6^10 - 572384628906001500712712892699757116101337501/496633194367565376547\ 834669434481786300*c_0101_6^8 + 33022892929705445166496378274204976\ 587487613/124158298591891344136958667358620446575*c_0101_6^6 - 3177034968898015569183997958183373645761113/99326638873513075309566\ 933886896357260*c_0101_6^4 + 90340019562793626662132690286431417368\ 3741/496633194367565376547834669434481786300*c_0101_6^2 - 9437641325462771726913626354759132847921/24831659718378268827391733\ 4717240893150, c_0011_3 - 5916414095510437852966055045196833095389/4966331943675653765\ 47834669434481786300*c_0101_6^30 + 9411650732317200541548373270211082065917/49663319436756537654783466\ 943448178630*c_0101_6^28 - 6490680059275217504171918901712813029385\ 11/99326638873513075309566933886896357260*c_0101_6^26 + 2851524284276742300352891612250628846061954/24831659718378268827391\ 733471724089315*c_0101_6^24 - 4078314993122722052002575635275380275\ 59526553/496633194367565376547834669434481786300*c_0101_6^22 + 402110237184447428822926078180312785874468857/124158298591891344136\ 958667358620446575*c_0101_6^20 - 2819497568875452538625717467005117\ 1743039731/3425056512879761217571273582306770940*c_0101_6^18 + 7140381790236477971118631080675470398838438599/49663319436756537654\ 7834669434481786300*c_0101_6^16 - 878021701632344514949992281418805\ 5693832982369/496633194367565376547834669434481786300*c_0101_6^14 + 1560814814851012169676404188644800775445975529/99326638873513075309\ 566933886896357260*c_0101_6^12 - 1236247370627992161750822836309032\ 853159600024/124158298591891344136958667358620446575*c_0101_6^10 + 2008421439232036053845487013838969004552226637/49663319436756537654\ 7834669434481786300*c_0101_6^8 - 1146036515845469207565287572217300\ 46605738196/124158298591891344136958667358620446575*c_0101_6^6 + 10902816224754239323737468875323266308743693/9932663887351307530956\ 6933886896357260*c_0101_6^4 - 3080045047741280841924920902799066089\ 278057/496633194367565376547834669434481786300*c_0101_6^2 + 31739472320443010494923077868988083184437/2483165971837826882739173\ 34717240893150, c_0101_0 + 2386679377009515560967968325185840990519/2483165971837826882\ 73917334717240893150*c_0101_6^31 - 7610975336909282331076280976309979545761/49663319436756537654783466\ 943448178630*c_0101_6^29 + 1310567872763825441057260138252708218240\ 87/24831659718378268827391733471724089315*c_0101_6^27 - 2305442425272769435873322914601552952421039/24831659718378268827391\ 733471724089315*c_0101_6^25 + 1653670669340812333375563699912589921\ 63681053/248316597183782688273917334717240893150*c_0101_6^23 - 654874468609134484405877490966844505522295893/248316597183782688273\ 917334717240893150*c_0101_6^21 + 5768295558371947729422092739528785\ 940214974/856264128219940304392818395576692735*c_0101_6^19 - 2939842164637699546535092613871728418188736989/24831659718378268827\ 3917334717240893150*c_0101_6^17 + 182222647064518937542108287494843\ 5780720909687/124158298591891344136958667358620446575*c_0101_6^15 - 654435455562714158995651536499047945243364631/496633194367565376547\ 83466943448178630*c_0101_6^13 + 21027334800829477446458865890997165\ 63100974831/248316597183782688273917334717240893150*c_0101_6^11 - 438257449477595307175292178364776080198614926/124158298591891344136\ 958667358620446575*c_0101_6^9 + 10513218976751028866618587772668319\ 7264381897/124158298591891344136958667358620446575*c_0101_6^7 - 5407485099683188873835775990401344091778809/49663319436756537654783\ 466943448178630*c_0101_6^5 + 84584004564301446287053864424456930201\ 0271/124158298591891344136958667358620446575*c_0101_6^3 - 19665219268873503241011946481768966964932/1241582985918913441369586\ 67358620446575*c_0101_6, c_0101_1 + 1467101719417407853474795978582411962983/1986532777470261506\ 19133867773792714520*c_0101_6^30 - 23347188231863400231020733457095795530091/1986532777470261506191338\ 67773792714520*c_0101_6^28 + 80489310481570186541357150439560132187\ 8749/198653277747026150619133867773792714520*c_0101_6^26 - 14146836385993400458036055303514597753171031/1986532777470261506191\ 33867773792714520*c_0101_6^24 + 20243274408414659689478701278704704\ 366988413/39730655549405230123826773554758542904*c_0101_6^22 - 399453012883811688841584525049257233808442149/198653277747026150619\ 133867773792714520*c_0101_6^20 + 3503864914711887025264976136618937\ 6411385131/6850113025759522435142547164613541880*c_0101_6^18 - 444111895470766875672733350557170230709382521/496633194367565376547\ 83466943448178630*c_0101_6^16 + 27339561986992639401468521298210558\ 2560908526/24831659718378268827391733471724089315*c_0101_6^14 - 973479670591236726684159063605591847968854023/993266388735130753095\ 66933886896357260*c_0101_6^12 + 12362196057840063423301321320751287\ 60137079031/198653277747026150619133867773792714520*c_0101_6^10 - 503973898400636574235878527516363238907949009/198653277747026150619\ 133867773792714520*c_0101_6^8 + 11579515517841958927695998443712734\ 6630224001/198653277747026150619133867773792714520*c_0101_6^6 - 13883513110546554337511883907016938442018713/1986532777470261506191\ 33867773792714520*c_0101_6^4 + 986615309380583565390272926557560936\ 87812/24831659718378268827391733471724089315*c_0101_6^2 - 16268533816100866600471742250337810444649/1986532777470261506191338\ 67773792714520, c_0101_3 + 1209113973574895146000180319719622431271/4966331943675653765\ 47834669434481786300*c_0101_6^31 - 3815253512451650482721934928758669604627/99326638873513075309566933\ 886896357260*c_0101_6^29 + 1321489239447901602574054775289990576638\ 63/99326638873513075309566933886896357260*c_0101_6^27 - 462750768990259737628662114376900896764657/198653277747026150619133\ 86777379271452*c_0101_6^25 + 81835309189173695894438057293414009311\ 077037/496633194367565376547834669434481786300*c_0101_6^23 - 318014345267710804525617631120657251549682857/496633194367565376547\ 834669434481786300*c_0101_6^21 + 1095059442175031245105072956164058\ 480374149/685011302575952243514254716461354188*c_0101_6^19 - 677686475374337870404668566820218476616826383/248316597183782688273\ 917334717240893150*c_0101_6^17 + 4042255173160402790229264933856880\ 83266154829/124158298591891344136958667358620446575*c_0101_6^15 - 69147131103785789952383478068047712313922888/2483165971837826882739\ 1733471724089315*c_0101_6^13 + 829052590098901124997106677722882181\ 887939239/496633194367565376547834669434481786300*c_0101_6^11 - 301385401847671033354557931717683921046432443/496633194367565376547\ 834669434481786300*c_0101_6^9 + 53841257907937812425787256316405043\ 568048391/496633194367565376547834669434481786300*c_0101_6^7 - 157034777041201566704615867908956307434345/198653277747026150619133\ 86777379271452*c_0101_6^5 + 201984610890206700429723948576157595135\ 52/124158298591891344136958667358620446575*c_0101_6^3 - 273027928931077302435669786267803454991/496633194367565376547834669\ 434481786300*c_0101_6, c_0101_6^32 - 16*c_0101_6^30 + 550*c_0101_6^28 - 9690*c_0101_6^26 + 69822*c_0101_6^24 - 278224*c_0101_6^22 + 716102*c_0101_6^20 - 1270671*c_0101_6^18 + 1595472*c_0101_6^16 - 1456086*c_0101_6^14 + 957619*c_0101_6^12 - 416662*c_0101_6^10 + 108844*c_0101_6^8 - 16376*c_0101_6^6 + 1373*c_0101_6^4 - 59*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB