Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 3414841108] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1444 geometric_solution 5.26593317 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 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 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.364239012115 0.957847219272 0 3 4 2 0132 0132 0132 1230 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 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.771061715627 0.936309735943 1 4 3 0 3012 0132 3201 0132 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 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.771061715627 0.936309735943 2 1 3 3 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514853869567 0.392259478603 5 2 5 1 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 -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 1.784801237521 0.697770649809 4 6 4 6 0132 0132 1023 2310 0 0 0 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 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.772031428897 0.459614214507 5 5 6 6 3201 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589171905287 0.138272057061 ==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_0101_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_2'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_1, c_0101_2, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 139635220354036905838582852/22530658490994249201419977*c_0110_6^20 - 13619686303137538796922412/22530658490994249201419977*c_0110_6^19 + 812515171176711509576738143/22530658490994249201419977*c_0110_6^18 - 1740429581770428329719660558/22530658490994249201419977*c_0110_6^17 + 1509303777072459658720554745/22530658490994249201419977*c_0110_6^\ 16 + 15220337279334032598632993370/22530658490994249201419977*c_011\ 0_6^15 + 10492548153619116275046380883/22530658490994249201419977*c\ _0110_6^14 - 30362561878142892351891048752/225306584909942492014199\ 77*c_0110_6^13 - 105429238831726451356253189313/2253065849099424920\ 1419977*c_0110_6^12 - 38085538517340658397664601733/225306584909942\ 49201419977*c_0110_6^11 + 224233814475371230173416623377/2253065849\ 0994249201419977*c_0110_6^10 + 166959145659499822183532873504/22530\ 658490994249201419977*c_0110_6^9 - 163600340034092013490520004809/22530658490994249201419977*c_0110_6^\ 8 - 156757567989292687598818762735/22530658490994249201419977*c_011\ 0_6^7 + 29855625709864883907757577491/22530658490994249201419977*c_\ 0110_6^6 + 56057189369179900653162126576/22530658490994249201419977\ *c_0110_6^5 - 6958403460993304768480255051/225306584909942492014199\ 77*c_0110_6^4 - 9245405905545778250848837651/2253065849099424920141\ 9977*c_0110_6^3 + 1653574001051865179657685399/22530658490994249201\ 419977*c_0110_6^2 - 186441118259370453172252006/2253065849099424920\ 1419977*c_0110_6 - 90011289006484473695641807/225306584909942492014\ 19977, c_0011_0 - 1, c_0011_2 - 37522769233178891703677841/22530658490994249201419977*c_0110\ _6^20 + 9763401243943742457760686/22530658490994249201419977*c_0110\ _6^19 + 221761017512603830473044507/22530658490994249201419977*c_01\ 10_6^18 - 544374526127849710589280965/22530658490994249201419977*c_\ 0110_6^17 + 559643335830479578584478862/22530658490994249201419977*\ c_0110_6^16 + 3964669463336621427336834625/225306584909942492014199\ 77*c_0110_6^15 + 1354823135410327008075573294/225306584909942492014\ 19977*c_0110_6^14 - 9427631542152064472145975788/225306584909942492\ 01419977*c_0110_6^13 - 25683288482964625397054599764/22530658490994\ 249201419977*c_0110_6^12 + 375115351457790896088628907/225306584909\ 94249201419977*c_0110_6^11 + 65798488608165461882976428568/22530658\ 490994249201419977*c_0110_6^10 + 24541081808921705212269693418/2253\ 0658490994249201419977*c_0110_6^9 - 63768348860132511232131225899/22530658490994249201419977*c_0110_6^8 - 30783785379573354330385324977/22530658490994249201419977*c_0110_6\ ^7 + 25897126295800084802257916003/22530658490994249201419977*c_011\ 0_6^6 + 16466448409835131616869471229/22530658490994249201419977*c_\ 0110_6^5 - 7910666606055099527788131509/22530658490994249201419977*\ c_0110_6^4 - 3526040803008999309173157329/2253065849099424920141997\ 7*c_0110_6^3 + 1403757221921748502188908342/22530658490994249201419\ 977*c_0110_6^2 + 242064274133108073341004848/2253065849099424920141\ 9977*c_0110_6 - 81244371872952669979066332/225306584909942492014199\ 77, c_0101_1 - 28747970252423213942422094/22530658490994249201419977*c_0110\ _6^20 + 10925313625233626839756734/22530658490994249201419977*c_011\ 0_6^19 + 169890945116716439222021336/22530658490994249201419977*c_0\ 110_6^18 - 437019398150870918329992121/22530658490994249201419977*c\ _0110_6^17 + 473658623792289393622566494/22530658490994249201419977\ *c_0110_6^16 + 2995252894884790837031650342/22530658490994249201419\ 977*c_0110_6^15 + 668190427959559302910968206/225306584909942492014\ 19977*c_0110_6^14 - 7446824534914163986751532977/225306584909942492\ 01419977*c_0110_6^13 - 18913819217281547882790040619/22530658490994\ 249201419977*c_0110_6^12 + 2809128571556480772577073781/22530658490\ 994249201419977*c_0110_6^11 + 51119556405202804026111544417/2253065\ 8490994249201419977*c_0110_6^10 + 13268052864217824293167989331/225\ 30658490994249201419977*c_0110_6^9 - 52423237816971494577224061202/22530658490994249201419977*c_0110_6^8 - 19350923260033587310971429952/22530658490994249201419977*c_0110_6\ ^7 + 23184339317357622494893607543/22530658490994249201419977*c_011\ 0_6^6 + 11602235847114673704091699980/22530658490994249201419977*c_\ 0110_6^5 - 7189581357605646983092022027/22530658490994249201419977*\ c_0110_6^4 - 2336803498211433205987346701/2253065849099424920141997\ 7*c_0110_6^3 + 1222480797521947911101823066/22530658490994249201419\ 977*c_0110_6^2 + 145975805762166949394643615/2253065849099424920141\ 9977*c_0110_6 - 60353333055313829945705961/225306584909942492014199\ 77, c_0101_2 - 49503673690133963862321613/22530658490994249201419977*c_0110\ _6^20 + 2372536345948312613544905/22530658490994249201419977*c_0110\ _6^19 + 290354238745231307528078554/22530658490994249201419977*c_01\ 10_6^18 - 657883660151748356888247931/22530658490994249201419977*c_\ 0110_6^17 + 614910854896971711690953347/22530658490994249201419977*\ c_0110_6^16 + 5333410003033074694377050725/225306584909942492014199\ 77*c_0110_6^15 + 2932892930011843194689433505/225306584909942492014\ 19977*c_0110_6^14 - 11500909984165053295467262498/22530658490994249\ 201419977*c_0110_6^13 - 36012063659924185226567734500/2253065849099\ 4249201419977*c_0110_6^12 - 7713833461196985819611497638/2253065849\ 0994249201419977*c_0110_6^11 + 82849340730798344112799044646/225306\ 58490994249201419977*c_0110_6^10 + 48522212496107258556242172059/22530658490994249201419977*c_0110_6^9 - 69393351720770795401622678811/22530658490994249201419977*c_0110_6\ ^8 - 50269011367932935923728659820/22530658490994249201419977*c_011\ 0_6^7 + 20840771676233565937533554461/22530658490994249201419977*c_\ 0110_6^6 + 21346445942450017138347482480/22530658490994249201419977\ *c_0110_6^5 - 5975933062460668803210885267/225306584909942492014199\ 77*c_0110_6^4 - 4164068029603482061318807102/2253065849099424920141\ 9977*c_0110_6^3 + 1121453624851404642870755456/22530658490994249201\ 419977*c_0110_6^2 + 226557810433772144108554087/2253065849099424920\ 1419977*c_0110_6 - 58644064536120263737748414/225306584909942492014\ 19977, c_0101_3 + 50595418599471767168334873/22530658490994249201419977*c_0110\ _6^20 - 4442832059142944838651008/22530658490994249201419977*c_0110\ _6^19 - 296764468142100485673018190/22530658490994249201419977*c_01\ 10_6^18 + 684340980366348359287470114/22530658490994249201419977*c_\ 0110_6^17 - 654536020372596770163452749/22530658490994249201419977*\ c_0110_6^16 - 5427686319312665570895989435/225306584909942492014199\ 77*c_0110_6^15 - 2778194635431343425824134820/225306584909942492014\ 19977*c_0110_6^14 + 11884553268806218546876893554/22530658490994249\ 201419977*c_0110_6^13 + 36333403522891734134071045566/2253065849099\ 4249201419977*c_0110_6^12 + 6366131315274097678681126634/2253065849\ 0994249201419977*c_0110_6^11 - 85080779570918465008917305279/225306\ 58490994249201419977*c_0110_6^10 - 46153659214482328561627932728/22530658490994249201419977*c_0110_6^9 + 73224098992132980575124334099/22530658490994249201419977*c_0110_6\ ^8 + 48685850587560252723416712058/22530658490994249201419977*c_011\ 0_6^7 - 23688720312614284315384663915/22530658490994249201419977*c_\ 0110_6^6 - 21310636293677267920057937443/22530658490994249201419977\ *c_0110_6^5 + 7079022325247578090032861482/225306584909942492014199\ 77*c_0110_6^4 + 4223618823700349153016960281/2253065849099424920141\ 9977*c_0110_6^3 - 1357599303949079623117059686/22530658490994249201\ 419977*c_0110_6^2 - 230237975215131348092203291/2253065849099424920\ 1419977*c_0110_6 + 87149258211587083758223696/225306584909942492014\ 19977, c_0101_4 + 24742251494156410185153026/22530658490994249201419977*c_0110\ _6^20 - 5448969213130499259840814/22530658490994249201419977*c_0110\ _6^19 - 146160886521214772831518854/22530658490994249201419977*c_01\ 10_6^18 + 353152830515324991763779195/22530658490994249201419977*c_\ 0110_6^17 - 356532934273669274104668366/22530658490994249201419977*\ c_0110_6^16 - 2625048779966863675810532828/225306584909942492014199\ 77*c_0110_6^15 - 1001545561423134206019119291/225306584909942492014\ 19977*c_0110_6^14 + 6145932341120463138586136978/225306584909942492\ 01419977*c_0110_6^13 + 17158564222394572790166623812/22530658490994\ 249201419977*c_0110_6^12 + 494143487690467009038223318/225306584909\ 94249201419977*c_0110_6^11 - 43147126804188266498089298180/22530658\ 490994249201419977*c_0110_6^10 - 17804850683088172003846810301/2253\ 0658490994249201419977*c_0110_6^9 + 40906768849126648452656478148/22530658490994249201419977*c_0110_6^8 + 21553570274959119515483656497/22530658490994249201419977*c_0110_6\ ^7 - 16016709199154398571911197733/22530658490994249201419977*c_011\ 0_6^6 - 11164142041867110182308244992/22530658490994249201419977*c_\ 0110_6^5 + 4901539374933137853775767067/22530658490994249201419977*\ c_0110_6^4 + 2435284369625936077116523623/2253065849099424920141997\ 7*c_0110_6^3 - 896140930325048057519666155/225306584909942492014199\ 77*c_0110_6^2 - 197991868395669078000326873/22530658490994249201419\ 977*c_0110_6 + 56112824944632355842897904/2253065849099424920141997\ 7, c_0110_6^21 - 6*c_0110_6^19 + 13*c_0110_6^18 - 11*c_0110_6^17 - 110*c_0110_6^16 - 63*c_0110_6^15 + 244*c_0110_6^14 + 748*c_0110_6^13 + 160*c_0110_6^12 - 1767*c_0110_6^11 - 1091*c_0110_6^10 + 1580*c_0110_6^9 + 1243*c_0110_6^8 - 551*c_0110_6^7 - 620*c_0110_6^6 + 141*c_0110_6^5 + 162*c_0110_6^4 - 25*c_0110_6^3 - 20*c_0110_6^2 + 2*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB