Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 3650635251] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0053 geometric_solution 3.61599607 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0.762982041104 0.047634626283 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -1 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 -1 1 1 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.931459893484 0.033874199858 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 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 0 1 -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.904606209617 0.064435203847 4 2 4 2 0132 0132 1023 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.864321434518 0.161261815002 3 5 3 6 0132 0132 1023 0132 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 -1 1 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.973426249622 0.498372155972 6 4 6 6 3120 0132 3012 1230 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 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.984335159531 0.993991692631 5 5 4 5 3012 1230 0132 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984335159531 0.993991692631 ==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' : d['c_0011_1'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : 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_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], '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_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), '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_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 579425625566045123930693585647945213/719320166728535025263967144060\ 130*c_0101_4^20 - 2570065536640225666148761200614475681/71932016672\ 8535025263967144060130*c_0101_4^19 + 2263539005411737268175754352750855120/71932016672853502526396714406\ 013*c_0101_4^18 + 43746515812692749953528574992708099171/3596600833\ 64267512631983572030065*c_0101_4^17 - 88110047798001935370746023268360368192/3596600833642675126319835720\ 30065*c_0101_4^16 - 310557707963978305708478366374798378876/3596600\ 83364267512631983572030065*c_0101_4^15 + 511955801431625246082625633469400367467/719320166728535025263967144\ 060130*c_0101_4^14 + 104568308827790126483697147557563541299/326963\ 71214933410239271233820915*c_0101_4^13 - 12853787272910987979542760436621934009/3596600833642675126319835720\ 30065*c_0101_4^12 - 2477471887625993849744848712008224988093/359660\ 083364267512631983572030065*c_0101_4^11 - 1161559762235485238125193092081701154392/35966008336426751263198357\ 2030065*c_0101_4^10 + 3402824677289753860913272480277473972192/3596\ 60083364267512631983572030065*c_0101_4^9 + 2190143949633365020791343207779457281823/35966008336426751263198357\ 2030065*c_0101_4^8 - 6351346537074497052116363894315550440051/71932\ 0166728535025263967144060130*c_0101_4^7 - 340732237880446139146974966100386348218/719320166728535025263967144\ 06013*c_0101_4^6 + 1987793712162120305868040010844812424856/3596600\ 83364267512631983572030065*c_0101_4^5 + 523890962935452415986469458251119401971/359660083364267512631983572\ 030065*c_0101_4^4 - 1448241081941973968492261884948071021703/719320\ 166728535025263967144060130*c_0101_4^3 + 17604404897704272124869142998040362507/7193201667285350252639671440\ 60130*c_0101_4^2 + 16272046476932440814533031956372207891/553323205\ 17579617327997472620010*c_0101_4 - 41525680770355353174708471655258651911/7193201667285350252639671440\ 60130, c_0011_0 - 1, c_0011_1 + 364698454184996758853267067559/84377732167570090940054796957\ 2*c_0101_4^20 + 1703557789743839553650877620835/8437773216757009094\ 00547969572*c_0101_4^19 - 3430298090696492154014984212969/210944330\ 418925227350136992393*c_0101_4^18 - 28872129823725990505314736613305/421888660837850454700273984786*c_0\ 101_4^17 + 23141958899485820263450036560743/21094433041892522735013\ 6992393*c_0101_4^16 + 98531981938246095445766302447805/210944330418\ 925227350136992393*c_0101_4^15 - 196089153728714980136927834568701/\ 843777321675700909400547969572*c_0101_4^14 - 343031107190135279800599074109820/210944330418925227350136992393*c_\ 0101_4^13 - 190992593138802931590826621552609/421888660837850454700\ 273984786*c_0101_4^12 + 1307096463205722947818916315995955/42188866\ 0837850454700273984786*c_0101_4^11 + 989802188241045139420937039104045/421888660837850454700273984786*c_\ 0101_4^10 - 1522294638556709183729510276356195/42188866083785045470\ 0273984786*c_0101_4^9 - 1457993242542097023480509016501607/42188866\ 0837850454700273984786*c_0101_4^8 + 2455845811310730759366583424697693/843777321675700909400547969572*c\ _0101_4^7 + 983777966769066241105372304164267/421888660837850454700\ 273984786*c_0101_4^6 - 360984635256637019303000722117894/2109443304\ 18925227350136992393*c_0101_4^5 - 281207816525032091844664094627665\ /421888660837850454700273984786*c_0101_4^4 + 523699781223752502732703015694413/843777321675700909400547969572*c_\ 0101_4^3 + 7593876361868036995337660746345/843777321675700909400547\ 969572*c_0101_4^2 - 5941019037847008208271145420881/649059478212077\ 62261580613044*c_0101_4 + 16006313400506944101014390537737/84377732\ 1675700909400547969572, c_0011_6 - 62457155346090885118638624684/210944330418925227350136992393\ *c_0101_4^20 - 553924983918888954044225461053/421888660837850454700\ 273984786*c_0101_4^19 + 2456076405840488971381734897479/21094433041\ 8925227350136992393*c_0101_4^18 + 9489940730168879864542854535944/2\ 10944330418925227350136992393*c_0101_4^17 - 19652676743935561952368854074069/210944330418925227350136992393*c_0\ 101_4^16 - 68944972410931035950295556933813/21094433041892522735013\ 6992393*c_0101_4^15 + 60913024341291208657065160378840/210944330418\ 925227350136992393*c_0101_4^14 + 522067430375695186771977681966301/\ 421888660837850454700273984786*c_0101_4^13 - 43089054395305810574798893752385/421888660837850454700273984786*c_0\ 101_4^12 - 1163637713495129549190231794626801/421888660837850454700\ 273984786*c_0101_4^11 - 466139432974589964916451809240645/421888660\ 837850454700273984786*c_0101_4^10 + 1681309936760696076128167599231739/421888660837850454700273984786*c\ _0101_4^9 + 982222109623013660450764195614945/421888660837850454700\ 273984786*c_0101_4^8 - 1665179687890697060490390976312545/421888660\ 837850454700273984786*c_0101_4^7 - 409462158143274798986349943410876/210944330418925227350136992393*c_\ 0101_4^6 + 549173028412883300944064301967047/2109443304189252273501\ 36992393*c_0101_4^5 + 131518994109132246285241132081064/21094433041\ 8925227350136992393*c_0101_4^4 - 207672698304847027679946816474370/\ 210944330418925227350136992393*c_0101_4^3 + 9977569130216595120717680339689/421888660837850454700273984786*c_01\ 01_4^2 + 2385900838921138458258517749374/16226486955301940565395153\ 261*c_0101_4 - 12772180196541435151467344553171/4218886608378504547\ 00273984786, c_0101_0 - 82853520277683065894574711879/210944330418925227350136992393\ *c_0101_4^20 - 807032718323904584047355702449/421888660837850454700\ 273984786*c_0101_4^19 + 3034707389621744160776788132942/21094433041\ 8925227350136992393*c_0101_4^18 + 13716653393123846969986130725801/\ 210944330418925227350136992393*c_0101_4^17 - 18199574640349085339812062206517/210944330418925227350136992393*c_0\ 101_4^16 - 92979522170652018450468763801474/21094433041892522735013\ 6992393*c_0101_4^15 + 24910121643584991763819557716120/210944330418\ 925227350136992393*c_0101_4^14 + 631261159666531239716439108959329/\ 421888660837850454700273984786*c_0101_4^13 + 309192867184969797713652028468207/421888660837850454700273984786*c_\ 0101_4^12 - 1117629408757359553313777549667679/42188866083785045470\ 0273984786*c_0101_4^11 - 1144331324557446200970422033083523/4218886\ 60837850454700273984786*c_0101_4^10 + 1127091881540892263352628439840799/421888660837850454700273984786*c\ _0101_4^9 + 1581830535098005128724132582351593/42188866083785045470\ 0273984786*c_0101_4^8 - 742629582379736848203741356390843/421888660\ 837850454700273984786*c_0101_4^7 - 540377777412122038090617156036986/210944330418925227350136992393*c_\ 0101_4^6 + 187623113072391655015627339254565/2109443304189252273501\ 36992393*c_0101_4^5 + 183063520374889211534711889000269/21094433041\ 8925227350136992393*c_0101_4^4 - 64034075009228856490464340911731/2\ 10944330418925227350136992393*c_0101_4^3 - 47168126504432267980602819377205/421888660837850454700273984786*c_0\ 101_4^2 + 681851074851805911537081860768/16226486955301940565395153\ 261*c_0101_4 - 377765192920557025459530041061/421888660837850454700\ 273984786, c_0101_1 - 209974198958459662507552591049/42188866083785045470027398478\ 6*c_0101_4^20 - 441877929571694102827978919425/21094433041892522735\ 0136992393*c_0101_4^19 + 4195233514579269683863699869753/2109443304\ 18925227350136992393*c_0101_4^18 + 14886906014549420066704695835271/210944330418925227350136992393*c_0\ 101_4^17 - 35015162873035821080997084788500/21094433041892522735013\ 6992393*c_0101_4^16 - 104191621243691120689404351412691/21094433041\ 8925227350136992393*c_0101_4^15 + 226152995985315153366951085235457\ /421888660837850454700273984786*c_0101_4^14 + 779260229266672430319688548379253/421888660837850454700273984786*c_\ 0101_4^13 - 157584115535551118330152669809397/421888660837850454700\ 273984786*c_0101_4^12 - 1748282496548739714421360827598979/42188866\ 0837850454700273984786*c_0101_4^11 - 510116594746510195429436301989993/421888660837850454700273984786*c_\ 0101_4^10 + 2533497166867189034943491989832097/42188866083785045470\ 0273984786*c_0101_4^9 + 1121818614145633175128479958894441/42188866\ 0837850454700273984786*c_0101_4^8 - 1224803583849342662868463760741439/210944330418925227350136992393*c\ _0101_4^7 - 417154356907885669258261532882674/210944330418925227350\ 136992393*c_0101_4^6 + 763150033441472345731074104635339/2109443304\ 18925227350136992393*c_0101_4^5 + 92660590974490320287545937717232/\ 210944330418925227350136992393*c_0101_4^4 - 536153784783805655389315058462533/421888660837850454700273984786*c_\ 0101_4^3 + 25004290986255745138875953682191/21094433041892522735013\ 6992393*c_0101_4^2 + 5801436915982862532943100966593/32452973910603\ 881130790306522*c_0101_4 - 8949537901845422876005948325839/21094433\ 0418925227350136992393, c_0101_3 + 312782058260069799589099424355/42188866083785045470027398478\ 6*c_0101_4^20 + 736557740798882969070886227635/21094433041892522735\ 0136992393*c_0101_4^19 - 5890031324432704607155985042832/2109443304\ 18925227350136992393*c_0101_4^18 - 25134435514107473356958517280077/210944330418925227350136992393*c_0\ 101_4^17 + 40079544926156163274450749440166/21094433041892522735013\ 6992393*c_0101_4^16 + 175345838445195446386850163046503/21094433041\ 8925227350136992393*c_0101_4^15 - 175758907106469766390852439401851\ /421888660837850454700273984786*c_0101_4^14 - 1245292236416388217652813092322973/421888660837850454700273984786*c\ _0101_4^13 - 316234484138833133809846587400239/42188866083785045470\ 0273984786*c_0101_4^12 + 2441801297079349163707375187450983/4218886\ 60837850454700273984786*c_0101_4^11 + 1783655580270168056620850247569333/421888660837850454700273984786*c\ _0101_4^10 - 2964414602365029363603046900493905/4218886608378504547\ 00273984786*c_0101_4^9 - 2795302012622449736701676035071381/4218886\ 60837850454700273984786*c_0101_4^8 + 1261458825553497881520755929212177/210944330418925227350136992393*c\ _0101_4^7 + 1017443751326530659944742743697040/21094433041892522735\ 0136992393*c_0101_4^6 - 783580158238647825988237931151996/210944330\ 418925227350136992393*c_0101_4^5 - 322551155250447903407082625868599/210944330418925227350136992393*c_\ 0101_4^4 + 597762619161974767588649971320845/4218886608378504547002\ 73984786*c_0101_4^3 + 11059859289535423306916516159339/210944330418\ 925227350136992393*c_0101_4^2 - 7019830380799005032141465786743/324\ 52973910603881130790306522*c_0101_4 + 8617333045743777681772004118772/210944330418925227350136992393, c_0101_4^21 + 4*c_0101_4^20 - 41*c_0101_4^19 - 134*c_0101_4^18 + 370*c_0101_4^17 + 940*c_0101_4^16 - 1351*c_0101_4^15 - 3589*c_0101_4^14 + 1774*c_0101_4^13 + 8544*c_0101_4^12 + 292*c_0101_4^11 - 13512*c_0101_4^10 - 2468*c_0101_4^9 + 14273*c_0101_4^8 + 1139*c_0101_4^7 - 9434*c_0101_4^6 + 1158*c_0101_4^5 + 3293*c_0101_4^4 - 1112*c_0101_4^3 - 354*c_0101_4^2 + 230*c_0101_4 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB