Magma V2.19-8 Tue Aug 20 2013 16:18:21 on localhost [Seed = 324177470] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2564 geometric_solution 5.86704136 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -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.632909292577 0.376531480028 0 1 5 1 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657773965881 0.626921304415 2 0 2 5 2031 0132 1302 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 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.809351308985 0.638206362791 3 5 3 0 2031 0132 1302 0132 0 0 0 0 0 0 -1 1 1 0 -1 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.861624772047 0.752884795511 5 6 0 6 0132 0132 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 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.019718116452 0.713593165397 4 3 2 1 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632909292577 0.376531480028 6 4 6 4 2031 0132 1302 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.549467862007 0.209407773146 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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_0'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0101_5']})} 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_1, c_0101_5, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 207628725864921492436495366684938485755/154840268994996958437262496\ 00950835282*c_1001_0^20 + 480968655220593067286552591331546357744/7\ 742013449749847921863124800475417641*c_1001_0^19 + 4301094567131667858212603674750312576365/15484026899499695843726249\ 600950835282*c_1001_0^18 + 1374314199840288382702481728286556646148\ 5/15484026899499695843726249600950835282*c_1001_0^17 + 26316823107297781410866708692689968660891/1548402689949969584372624\ 9600950835282*c_1001_0^16 + 715143044514215175750901633881134836450\ 17/15484026899499695843726249600950835282*c_1001_0^15 + 39377127728388828001411779075688486265466/7742013449749847921863124\ 800475417641*c_1001_0^14 + 7438627499937894684832374797366437293291\ 1/7742013449749847921863124800475417641*c_1001_0^13 + 190792209166415038869595657548556454504013/154840268994996958437262\ 49600950835282*c_1001_0^12 - 44323698981423972948939942582200255326\ 887/7742013449749847921863124800475417641*c_1001_0^11 + 395765161982907916706848189984479430835219/154840268994996958437262\ 49600950835282*c_1001_0^10 - 24114923891658477964331990060328631683\ 030/703819404522713447442102254588674331*c_1001_0^9 - 94474062294521619322881066905362958294877/1548402689949969584372624\ 9600950835282*c_1001_0^8 + 1051915120827676882345258967031120506724\ 47/7742013449749847921863124800475417641*c_1001_0^7 - 498672152729716505204210872943748733286451/774201344974984792186312\ 4800475417641*c_1001_0^6 + 8188739697669661016501469239672101336479\ 51/15484026899499695843726249600950835282*c_1001_0^5 - 346517496738662147889131640994330054327079/154840268994996958437262\ 49600950835282*c_1001_0^4 + 158018639706262525337082060374142985203\ 107/15484026899499695843726249600950835282*c_1001_0^3 + 138696922475673549065140921029081358089135/154840268994996958437262\ 49600950835282*c_1001_0^2 - 372249141729462225505727369497680430987\ 08/7742013449749847921863124800475417641*c_1001_0 - 7203791722222200929336616571796895265173/77420134497498479218631248\ 00475417641, c_0011_0 - 1, c_0011_3 - 4830640130209777064764768373702486/4140114144251255573188836\ 7916980843*c_1001_0^20 - 16138622409183601064924124611418198/414011\ 41442512555731888367916980843*c_1001_0^19 - 73123614548779520237432496650450278/4140114144251255573188836791698\ 0843*c_1001_0^18 - 198262172895765837763884007705584947/41401141442\ 512555731888367916980843*c_1001_0^17 - 234099892548815393729614490781306866/414011414425125557318883679169\ 80843*c_1001_0^16 - 976588397581669109671769009436911211/4140114144\ 2512555731888367916980843*c_1001_0^15 + 151889108266236969092771055688854451/414011414425125557318883679169\ 80843*c_1001_0^14 - 1613897976388305540455876856054926266/414011414\ 42512555731888367916980843*c_1001_0^13 - 266124768379842282605477828410601058/414011414425125557318883679169\ 80843*c_1001_0^12 + 6850294057977191191026852342364107397/414011414\ 42512555731888367916980843*c_1001_0^11 - 12705094824927481070354081881742364055/4140114144251255573188836791\ 6980843*c_1001_0^10 + 26271627336634701027703281352488321941/414011\ 41442512555731888367916980843*c_1001_0^9 - 18014692241338685570991336938052559088/4140114144251255573188836791\ 6980843*c_1001_0^8 + 280936773824694721908866060618894904/414011414\ 42512555731888367916980843*c_1001_0^7 + 26560205426193850100484485889474808216/4140114144251255573188836791\ 6980843*c_1001_0^6 - 50285133826221645478306605166739263673/4140114\ 1442512555731888367916980843*c_1001_0^5 + 42801098780576455923138932465948045947/4140114144251255573188836791\ 6980843*c_1001_0^4 - 28387777400533275744901560494106945525/4140114\ 1442512555731888367916980843*c_1001_0^3 + 11320635884089675862433568148904806378/4140114144251255573188836791\ 6980843*c_1001_0^2 - 309619382843587578094058856453194927/414011414\ 42512555731888367916980843*c_1001_0 - 545818880246319103834477599471657730/414011414425125557318883679169\ 80843, c_0101_0 - 10039739134469195693201595207951352/414011414425125557318883\ 67916980843*c_1001_0^20 - 40702962906562416292442496101884276/41401\ 141442512555731888367916980843*c_1001_0^19 - 184296998283745658909680351779605088/414011414425125557318883679169\ 80843*c_1001_0^18 - 558288223478407230629012300534402483/4140114144\ 2512555731888367916980843*c_1001_0^17 - 951650668018794199687673330864117647/414011414425125557318883679169\ 80843*c_1001_0^16 - 2920906756318852311061934413923561464/414011414\ 42512555731888367916980843*c_1001_0^15 - 2173588046692134689026977662597305288/41401141442512555731888367916\ 980843*c_1001_0^14 - 6041949223111205179912551365104142910/41401141\ 442512555731888367916980843*c_1001_0^13 - 6077889498679401697600232694223820315/41401141442512555731888367916\ 980843*c_1001_0^12 + 7380211488906384569675692655691709125/41401141\ 442512555731888367916980843*c_1001_0^11 - 24244851221526440250070834434151657599/4140114144251255573188836791\ 6980843*c_1001_0^10 + 38357210036785900309931749415766249091/414011\ 41442512555731888367916980843*c_1001_0^9 - 17570379829761821998058834027250377838/4140114144251255573188836791\ 6980843*c_1001_0^8 - 2610644525601638276030691852477142177/41401141\ 442512555731888367916980843*c_1001_0^7 + 51660222152073909444417496122229450979/4140114144251255573188836791\ 6980843*c_1001_0^6 - 69203364099931574522136297469549180556/4140114\ 1442512555731888367916980843*c_1001_0^5 + 55935748678199856698239589899793298033/4140114144251255573188836791\ 6980843*c_1001_0^4 - 34781926327547746559746988054359763182/4140114\ 1442512555731888367916980843*c_1001_0^3 + 10220690486800935176089097356476259285/4140114144251255573188836791\ 6980843*c_1001_0^2 + 232283871782571800007872911545276714/414011414\ 42512555731888367916980843*c_1001_0 - 471411829906385962253698330107244208/414011414425125557318883679169\ 80843, c_0101_1 + 639857707026515898356154911461991/41401141442512555731888367\ 916980843*c_1001_0^20 + 5852696385528779325237571252299473/41401141\ 442512555731888367916980843*c_1001_0^19 + 26258629467208906708548771063996668/4140114144251255573188836791698\ 0843*c_1001_0^18 + 101136982352343867684301614125116473/41401141442\ 512555731888367916980843*c_1001_0^17 + 267800252109692309185892744561591574/414011414425125557318883679169\ 80843*c_1001_0^16 + 576697244098944446217660171505614880/4140114144\ 2512555731888367916980843*c_1001_0^15 + 1239239490552072505135143555838567159/41401141442512555731888367916\ 980843*c_1001_0^14 + 1524580755254773831689422335742311976/41401141\ 442512555731888367916980843*c_1001_0^13 + 2786153157062340422349661705392553168/41401141442512555731888367916\ 980843*c_1001_0^12 + 2446311219758057787704178958607955505/41401141\ 442512555731888367916980843*c_1001_0^11 + 278605733698612794652727580009285197/414011414425125557318883679169\ 80843*c_1001_0^10 + 4875395347290062422425068499211363584/414011414\ 42512555731888367916980843*c_1001_0^9 - 8366533733511395269949177284919402819/41401141442512555731888367916\ 980843*c_1001_0^8 + 1932261056012518742028158221486456033/414011414\ 42512555731888367916980843*c_1001_0^7 - 1549971016781869271317153265771876504/41401141442512555731888367916\ 980843*c_1001_0^6 - 11722999629713420542219816207483981988/41401141\ 442512555731888367916980843*c_1001_0^5 + 12375156901344072450885821569008861982/4140114144251255573188836791\ 6980843*c_1001_0^4 - 9234312550220206079744744840982748079/41401141\ 442512555731888367916980843*c_1001_0^3 + 5712541948022350215329896148862631756/41401141442512555731888367916\ 980843*c_1001_0^2 - 518254290782964408479609681211341433/4140114144\ 2512555731888367916980843*c_1001_0 - 325174489437744727597216255683424134/414011414425125557318883679169\ 80843, c_0101_5 + 10166622162019473287/124045216914074998211*c_1001_0^20 + 46038849058638895440/124045216914074998211*c_1001_0^19 + 207718818470921385575/124045216914074998211*c_1001_0^18 + 660652194636265437766/124045216914074998211*c_1001_0^17 + 1262281517498033473291/124045216914074998211*c_1001_0^16 + 3510102071904379715796/124045216914074998211*c_1001_0^15 + 3777774050325803273425/124045216914074998211*c_1001_0^14 + 7653826389109285457946/124045216914074998211*c_1001_0^13 + 9523867338299150723553/124045216914074998211*c_1001_0^12 - 3553508189035564671636/124045216914074998211*c_1001_0^11 + 22171011850245076197910/124045216914074998211*c_1001_0^10 - 28107096837066876400196/124045216914074998211*c_1001_0^9 + 2548184864309743170880/124045216914074998211*c_1001_0^8 + 6335365212378717239955/124045216914074998211*c_1001_0^7 - 50259941729308449176267/124045216914074998211*c_1001_0^6 + 46271932417661291131295/124045216914074998211*c_1001_0^5 - 30618942543951645249092/124045216914074998211*c_1001_0^4 + 16321669053822769567894/124045216914074998211*c_1001_0^3 + 1052330438065890414201/124045216914074998211*c_1001_0^2 - 1855984779234576259655/124045216914074998211*c_1001_0 - 97617103388607707002/124045216914074998211, c_0110_6 - 4799747712270256777383721534908698/4140114144251255573188836\ 7916980843*c_1001_0^20 - 20349929450689807856230548162347143/414011\ 41442512555731888367916980843*c_1001_0^19 - 92168212187618502752531398255605705/4140114144251255573188836791698\ 0843*c_1001_0^18 - 285298133437731687827247220899969704/41401141442\ 512555731888367916980843*c_1001_0^17 - 513726723919776952410720203014862000/414011414425125557318883679169\ 80843*c_1001_0^16 - 1510276626676075893790529749668850543/414011414\ 42512555731888367916980843*c_1001_0^15 - 1355014850024268846287824777336284776/41401141442512555731888367916\ 980843*c_1001_0^14 - 3238710785686642921200419710842925790/41401141\ 442512555731888367916980843*c_1001_0^13 - 3614567313348012763785099739128131222/41401141442512555731888367916\ 980843*c_1001_0^12 + 2639001224964607178870046792531135262/41401141\ 442512555731888367916980843*c_1001_0^11 - 11374213058458325653710841642530001600/4140114144251255573188836791\ 6980843*c_1001_0^10 + 16306691755929375844782690648344266476/414011\ 41442512555731888367916980843*c_1001_0^9 - 6005700153442356387425933880046302279/41401141442512555731888367916\ 980843*c_1001_0^8 - 1610775913866733770567013410082473892/414011414\ 42512555731888367916980843*c_1001_0^7 + 24280063029674272390180301006246634991/4140114144251255573188836791\ 6980843*c_1001_0^6 - 28721860785000663645239365651656263402/4140114\ 1442512555731888367916980843*c_1001_0^5 + 22713894561050982510314748310985312313/4140114144251255573188836791\ 6980843*c_1001_0^4 - 13644302586925176819279142804812074523/4140114\ 1442512555731888367916980843*c_1001_0^3 + 3269602985435902741093838864603572396/41401141442512555731888367916\ 980843*c_1001_0^2 + 175243614477401896345202407291868489/4140114144\ 2512555731888367916980843*c_1001_0 - 101098862553752412742879003975440448/414011414425125557318883679169\ 80843, c_1001_0^21 + 4*c_1001_0^20 + 18*c_1001_0^19 + 54*c_1001_0^18 + 89*c_1001_0^17 + 277*c_1001_0^16 + 184*c_1001_0^15 + 543*c_1001_0^14 + 523*c_1001_0^13 - 872*c_1001_0^12 + 2327*c_1001_0^11 - 3905*c_1001_0^10 + 1644*c_1001_0^9 + 559*c_1001_0^8 - 5232*c_1001_0^7 + 7104*c_1001_0^6 - 5257*c_1001_0^5 + 3106*c_1001_0^4 - 723*c_1001_0^3 - 233*c_1001_0^2 + 67*c_1001_0 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB