Magma V2.19-8 Tue Aug 20 2013 16:18:25 on localhost [Seed = 3465499641] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2621 geometric_solution 5.90233024 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 0 0 0 0 0 -1 -1 2 0 0 1 -1 -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 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.184732023902 0.571644720811 0 4 3 5 0132 0132 1302 0132 0 0 0 0 0 0 1 -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 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.594595594128 0.679339994569 0 0 2 2 2310 0132 2031 1302 0 0 0 0 0 1 -1 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 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 2.216855602129 1.804784321774 1 6 0 5 2031 0132 0132 3201 0 0 0 0 0 1 -2 1 -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 -1 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 0 0.594595594128 0.679339994569 5 1 6 6 0132 0132 3120 1023 0 0 0 0 0 0 0 0 1 0 0 -1 -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 -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 1.110512131010 1.487591279921 4 3 1 6 0132 2310 0132 2310 0 0 0 0 0 0 1 -1 -1 0 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 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.576773897082 0.278799165901 5 3 4 4 3201 0132 3120 1023 0 0 0 0 0 -1 0 1 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 0 -1 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.508031309814 0.514691006362 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_6' : negation(d['c_1001_4']), 'c_1001_1' : d['c_0110_3'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0110_3'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0110_3']), 'c_1010_4' : d['c_0110_3'], 'c_1010_3' : negation(d['c_1001_4']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_1001_4'], '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_3, c_0101_0, c_0101_2, c_0101_4, c_0110_3, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 849120811988881/1669647517483008*c_1001_4^22 - 8780282075459723/13357180139864064*c_1001_4^21 + 56389942485971977/954084295704576*c_1001_4^20 + 2092163967295141073/6678590069932032*c_1001_4^19 + 2198050807651725017/6678590069932032*c_1001_4^18 - 3219974982638438435/1908168591409152*c_1001_4^17 - 20006920922845873897/3339295034966016*c_1001_4^16 - 65334202084751191243/13357180139864064*c_1001_4^15 + 55389517341808723435/4452393379954688*c_1001_4^14 + 475453086154287653705/13357180139864064*c_1001_4^13 + 54949196168897687409/2226196689977344*c_1001_4^12 - 827149940300002247/21001855565824*c_1001_4^11 - 162419813010422215991/1669647517483008*c_1001_4^10 - 24903227440792325021/417411879370752*c_1001_4^9 + 6470242375858049791/104352969842688*c_1001_4^8 + 536257753642122959/3937847918592*c_1001_4^7 + 2554845925642305215/34784323280896*c_1001_4^6 - 24386991758044267/492230989824*c_1001_4^5 - 411819153703406733/4348040410112*c_1001_4^4 - 272406503374573901/6522060615168*c_1001_4^3 + 877591359270791/50953598556*c_1001_4^2 + 80821326091169827/3261030307584*c_1001_4 + 12738694413310471/1630515153792, c_0011_0 - 1, c_0011_3 + 222751379067/39753512321024*c_1001_4^22 + 30622423153049/318028098568192*c_1001_4^21 - 207380660476139/159014049284096*c_1001_4^20 - 1368447633727823/159014049284096*c_1001_4^19 - 1677088684734415/159014049284096*c_1001_4^18 + 13974404173022511/318028098568192*c_1001_4^17 + 6470919841584151/39753512321024*c_1001_4^16 + 41792566252960329/318028098568192*c_1001_4^15 - 108523142502185207/318028098568192*c_1001_4^14 - 301840743641239839/318028098568192*c_1001_4^13 - 97480016340437999/159014049284096*c_1001_4^12 + 1660701376721685/1500132540416*c_1001_4^11 + 101306732425113551/39753512321024*c_1001_4^10 + 14079984861477509/9938378080256*c_1001_4^9 - 4402661133164837/2484594520064*c_1001_4^8 - 328607986462393/93758283776*c_1001_4^7 - 4198411972719573/2484594520064*c_1001_4^6 + 8398050913999/5859892736*c_1001_4^5 + 740190734438531/310574315008*c_1001_4^4 + 9016353521917/9705447344*c_1001_4^3 - 19152756117577/38821789376*c_1001_4^2 - 46437920284631/77643578752*c_1001_4 - 6727427648363/38821789376, c_0101_0 - 564705155903/79507024642048*c_1001_4^22 - 22001557171333/636056197136384*c_1001_4^21 + 330724142446699/318028098568192*c_1001_4^20 + 1787197727918503/318028098568192*c_1001_4^19 + 1616796786799283/318028098568192*c_1001_4^18 - 20222928014366563/636056197136384*c_1001_4^17 - 2022035128549203/19876756160512*c_1001_4^16 - 41889427524916749/636056197136384*c_1001_4^15 + 149728590480331715/636056197136384*c_1001_4^14 + 367678822608525443/636056197136384*c_1001_4^13 + 99583387213051563/318028098568192*c_1001_4^12 - 2232942386043439/3000265080832*c_1001_4^11 - 121572486200299925/79507024642048*c_1001_4^10 - 14650607456388169/19876756160512*c_1001_4^9 + 5841506811142099/4969189040128*c_1001_4^8 + 391622057202961/187516567552*c_1001_4^7 + 4470389898177085/4969189040128*c_1001_4^6 - 22039098880569/23439570944*c_1001_4^5 - 440090770014115/310574315008*c_1001_4^4 - 158931881079385/310574315008*c_1001_4^3 + 48868070211863/155287157504*c_1001_4^2 + 55591751716021/155287157504*c_1001_4 + 8002613295545/77643578752, c_0101_2 + 10524426486335/79507024642048*c_1001_4^22 - 437541517337243/636056197136384*c_1001_4^21 - 3070184615862977/318028098568192*c_1001_4^20 - 8685910820114863/318028098568192*c_1001_4^19 + 3626318367999969/318028098568192*c_1001_4^18 + 140651483983130971/636056197136384*c_1001_4^17 + 71389315096870343/159014049284096*c_1001_4^16 + 8688272405479653/636056197136384*c_1001_4^15 - 928332981668242847/636056197136384*c_1001_4^14 - 1581754724891986343/636056197136384*c_1001_4^13 - 143043414095575205/318028098568192*c_1001_4^12 + 12914020483991767/3000265080832*c_1001_4^11 + 517083568543632371/79507024642048*c_1001_4^10 + 33344579433276217/19876756160512*c_1001_4^9 - 15967493460833053/2484594520064*c_1001_4^8 - 1644186865526981/187516567552*c_1001_4^7 - 12723472512048507/4969189040128*c_1001_4^6 + 113424328355665/23439570944*c_1001_4^5 + 451958582498757/77643578752*c_1001_4^4 + 515166502238351/310574315008*c_1001_4^3 - 232363338798935/155287157504*c_1001_4^2 - 222018444406257/155287157504*c_1001_4 - 29705616652399/77643578752, c_0101_4 + 3475089513715/19876756160512*c_1001_4^22 - 161183610072559/159014049284096*c_1001_4^21 - 239054321325093/19876756160512*c_1001_4^20 - 2354819990859003/79507024642048*c_1001_4^19 + 2048106011494567/79507024642048*c_1001_4^18 + 41982726026535707/159014049284096*c_1001_4^17 + 36791339170301417/79507024642048*c_1001_4^16 - 18442547068802555/159014049284096*c_1001_4^15 - 269426467741181241/159014049284096*c_1001_4^14 - 396598945503805789/159014049284096*c_1001_4^13 + 1306593556245701/39753512321024*c_1001_4^12 + 3671486880728389/750066270208*c_1001_4^11 + 7956464477846169/1242297260032*c_1001_4^10 + 3817154454276661/4969189040128*c_1001_4^9 - 17851049605515599/2484594520064*c_1001_4^8 - 398414554967575/46879141888*c_1001_4^7 - 1027467128546469/621148630016*c_1001_4^6 + 1942806734141/366243296*c_1001_4^5 + 214730086343893/38821789376*c_1001_4^4 + 95763671503907/77643578752*c_1001_4^3 - 15347049491103/9705447344*c_1001_4^2 - 51433330904925/38821789376*c_1001_4 - 200012219419/606590459, c_0110_3 + 2082047064203/9938378080256*c_1001_4^22 - 101061423154443/79507024642048*c_1001_4^21 - 2237445599625971/159014049284096*c_1001_4^20 - 1256046330125555/39753512321024*c_1001_4^19 + 3087836541213823/79507024642048*c_1001_4^18 + 11984880543660163/39753512321024*c_1001_4^17 + 74387719983106387/159014049284096*c_1001_4^16 - 9690212946795257/39753512321024*c_1001_4^15 - 300606343270486385/159014049284096*c_1001_4^14 - 386018941110725095/159014049284096*c_1001_4^13 + 86098230795797927/159014049284096*c_1001_4^12 + 4013044126723373/750066270208*c_1001_4^11 + 240364010478006581/39753512321024*c_1001_4^10 - 320356151135/1213180918*c_1001_4^9 - 38297009971521919/4969189040128*c_1001_4^8 - 365224374977005/46879141888*c_1001_4^7 - 1326428318061135/2484594520064*c_1001_4^6 + 65257302949205/11719785472*c_1001_4^5 + 379405591217673/77643578752*c_1001_4^4 + 50695855684487/77643578752*c_1001_4^3 - 123482797612049/77643578752*c_1001_4^2 - 2700373070669/2426361836*c_1001_4 - 9497903170081/38821789376, c_1001_4^23 - 53/8*c_1001_4^22 - 129/2*c_1001_4^21 - 435/4*c_1001_4^20 + 1265/4*c_1001_4^19 + 11401/8*c_1001_4^18 + 5013/4*c_1001_4^17 - 27085/8*c_1001_4^16 - 76391/8*c_1001_4^15 - 40775/8*c_1001_4^14 + 30067/2*c_1001_4^13 + 29628*c_1001_4^12 + 9704*c_1001_4^11 - 33950*c_1001_4^10 - 48728*c_1001_4^9 - 8568*c_1001_4^8 + 41632*c_1001_4^7 + 42848*c_1001_4^6 + 1664*c_1001_4^5 - 26368*c_1001_4^4 - 17408*c_1001_4^3 + 1536*c_1001_4^2 + 6144*c_1001_4 + 2048 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB