Magma V2.19-8 Tue Aug 20 2013 16:14:13 on localhost [Seed = 1090575726] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s180 geometric_solution 4.27693029 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 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 -1 0 1 -1 0 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.276558723778 0.134763529921 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 1 0 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 -1 1 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 2.147312723768 1.342084482543 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 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.673513259963 0.576145144462 2 4 4 5 0132 0321 1302 0132 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 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.609156670916 0.591566666323 3 5 2 3 2031 1023 0132 0321 0 0 0 0 0 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609156670916 0.591566666323 4 5 3 5 1023 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.608845031461 0.258959739057 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_2'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 15613872213526012739538079440217312581727183/5207958979506304740834\ 20572306117310049408*c_0110_5^20 - 38275332900526074446819585732130072656057001/1735986326502101580278\ 06857435372436683136*c_0110_5^19 + 150011438376734339106534111748380507891200995/520795897950630474083\ 420572306117310049408*c_0110_5^18 - 85511099023025522178411045980594544826553487/1735986326502101580278\ 06857435372436683136*c_0110_5^17 - 1579064479038169817599466831707819575214766543/52079589795063047408\ 3420572306117310049408*c_0110_5^16 - 69067223671052226081967168104908054273034415/1735986326502101580278\ 06857435372436683136*c_0110_5^15 + 4018833857870537469585871588100631007380680329/52079589795063047408\ 3420572306117310049408*c_0110_5^14 - 331691363559510486244848358174385518749928697/130198974487657618520\ 855143076529327512352*c_0110_5^13 - 13638896493486200538846904032280055425666378619/2603979489753152370\ 41710286153058655024704*c_0110_5^12 - 867473269668152551507805207559355275392128417/130198974487657618520\ 855143076529327512352*c_0110_5^11 + 5076264913263573355341450566341019083465114187/65099487243828809260\ 427571538264663756176*c_0110_5^10 + 4236635051411171286198934492061676362376019045/86799316325105079013\ 903428717686218341568*c_0110_5^9 - 54939018450365811438617879105930375628971597645/5207958979506304740\ 83420572306117310049408*c_0110_5^8 - 312231307594930760280061315907670004614705277/433996581625525395069\ 51714358843109170784*c_0110_5^7 + 408200793600665607885407026395897\ 82593845305449/173598632650210158027806857435372436683136*c_0110_5^\ 6 - 24019480926800754470366366124552775262342241095/173598632650210\ 158027806857435372436683136*c_0110_5^5 - 4819501865370829139150418934626501205050334603/65099487243828809260\ 427571538264663756176*c_0110_5^4 + 5405786581333934201733517572272820371826614601/17359863265021015802\ 7806857435372436683136*c_0110_5^3 - 290040575763070719371230957648736642026969769/867993163251050790139\ 03428717686218341568*c_0110_5^2 - 983994679824364949781944277752688\ 01864022253/10849914540638134876737928589710777292696*c_0110_5 - 91801664476780163254518172963551457080614401/6509948724382880926042\ 7571538264663756176, c_0011_0 - 1, c_0011_2 + 984515807873043538572913441921483079719/27124786351595337191\ 84482147427694323174*c_0110_5^20 - 7248560118693045795611012307422014593853/27124786351595337191844821\ 47427694323174*c_0110_5^19 + 47593582145051482152798538778133496514\ 10/1356239317579766859592241073713847161587*c_0110_5^18 - 8121240835862797220941946987658895349107/13562393175797668595922410\ 73713847161587*c_0110_5^17 - 49732637137867345560792138139923333236\ 199/1356239317579766859592241073713847161587*c_0110_5^16 - 6081689251518752836992056942007158017466/13562393175797668595922410\ 73713847161587*c_0110_5^15 + 12679243660536870073495672659648653409\ 3530/1356239317579766859592241073713847161587*c_0110_5^14 - 86059679221904260793697319529138804995763/2712478635159533719184482\ 147427694323174*c_0110_5^13 - 1719582067298127259260287604485175011\ 005409/2712478635159533719184482147427694323174*c_0110_5^12 - 101727856933847646769067489842929339952735/135623931757976685959224\ 1073713847161587*c_0110_5^11 + 128217232740668453193391593769223111\ 1196560/1356239317579766859592241073713847161587*c_0110_5^10 + 788285254072789814686216510085293430415733/135623931757976685959224\ 1073713847161587*c_0110_5^9 - 3480391918119129017325937316265907561\ 330509/2712478635159533719184482147427694323174*c_0110_5^8 - 101543631820595525834544841967061776366138/135623931757976685959224\ 1073713847161587*c_0110_5^7 + 3865264521652916031706384261921813782\ 735075/1356239317579766859592241073713847161587*c_0110_5^6 - 4618175252113979490690036861088045118760339/27124786351595337191844\ 82147427694323174*c_0110_5^5 - 239911885944795253379676710454040484\ 4316323/2712478635159533719184482147427694323174*c_0110_5^4 + 535500311757717567118064279096758022046600/135623931757976685959224\ 1073713847161587*c_0110_5^3 - 6785311667124544929560374598835944475\ 5900/1356239317579766859592241073713847161587*c_0110_5^2 - 294132439494879841018635561599149951549879/271247863515953371918448\ 2147427694323174*c_0110_5 - 216992600772312087069972926141997894419\ 02/1356239317579766859592241073713847161587, c_0011_4 + 8053867855499864553946780943098705571781/1084991454063813487\ 6737928589710777292696*c_0110_5^20 - 58954113267950084034025953715155860063577/1084991454063813487673792\ 8589710777292696*c_0110_5^19 + 752746291712968476494616920752908125\ 05757/10849914540638134876737928589710777292696*c_0110_5^18 - 129042208316900843634003449227117926494523/108499145406381348767379\ 28589710777292696*c_0110_5^17 - 82008545187217991752626753993058625\ 4548473/10849914540638134876737928589710777292696*c_0110_5^16 - 132895568613216957977035175674227058021787/108499145406381348767379\ 28589710777292696*c_0110_5^15 + 20768997045304540649581284798438738\ 28982319/10849914540638134876737928589710777292696*c_0110_5^14 - 76991961202027169348514430800970054197563/1356239317579766859592241\ 073713847161587*c_0110_5^13 - 7057221594437178572718630839645142390\ 456171/5424957270319067438368964294855388646348*c_0110_5^12 - 563614492566171011276507824319998599034817/271247863515953371918448\ 2147427694323174*c_0110_5^11 + 262800822610642552822622755813174610\ 2825576/1356239317579766859592241073713847161587*c_0110_5^10 + 6892279483712281653506803457447119414528809/54249572703190674383689\ 64294855388646348*c_0110_5^9 - 280963082206450140051952323649334907\ 50689719/10849914540638134876737928589710777292696*c_0110_5^8 - 737866298991489023495611768400772310704699/271247863515953371918448\ 2147427694323174*c_0110_5^7 + 6341861463688975094885794094527124080\ 7014965/10849914540638134876737928589710777292696*c_0110_5^6 - 35122500380427089620812494302421421706341983/1084991454063813487673\ 7928589710777292696*c_0110_5^5 - 5441012486222990719781214419043691\ 574048135/2712478635159533719184482147427694323174*c_0110_5^4 + 8330932963355583228247425316660468000030885/10849914540638134876737\ 928589710777292696*c_0110_5^3 - 32828329072366911154452882060660754\ 3997165/5424957270319067438368964294855388646348*c_0110_5^2 - 636014676809461848669049493490109934802949/271247863515953371918448\ 2147427694323174*c_0110_5 - 528227021233096990316941089150649482126\ 68/1356239317579766859592241073713847161587, c_0101_0 + 1852595159197419316500443714723680005227/1084991454063813487\ 6737928589710777292696*c_0110_5^20 - 14157878688638111662319732069672255788279/1084991454063813487673792\ 8589710777292696*c_0110_5^19 + 218827262743649199693409258017030624\ 29011/10849914540638134876737928589710777292696*c_0110_5^18 - 36774060469884190543443274946114493513645/1084991454063813487673792\ 8589710777292696*c_0110_5^17 - 176748972140910131500746328538366277\ 448175/10849914540638134876737928589710777292696*c_0110_5^16 + 26275728777755724595227179724084343299395/1084991454063813487673792\ 8589710777292696*c_0110_5^15 + 468671719134424628235856677656057308\ 686697/10849914540638134876737928589710777292696*c_0110_5^14 - 36638983873883137430994627550447185998707/1356239317579766859592241\ 073713847161587*c_0110_5^13 - 1575677289489642689441001320141464312\ 385181/5424957270319067438368964294855388646348*c_0110_5^12 + 124094829093387483253971153450804608142619/271247863515953371918448\ 2147427694323174*c_0110_5^11 + 583284888623225214168374013429246907\ 667913/1356239317579766859592241073713847161587*c_0110_5^10 + 830579020443278498195390579261960674762667/542495727031906743836896\ 4294855388646348*c_0110_5^9 - 6992205594901147452412376629606304437\ 577161/10849914540638134876737928589710777292696*c_0110_5^8 + 395413524495979228921229554513236816254483/271247863515953371918448\ 2147427694323174*c_0110_5^7 + 1406255521199599717146801850285998924\ 5332603/10849914540638134876737928589710777292696*c_0110_5^6 - 12615428911251066654736686891309930651193489/1084991454063813487673\ 7928589710777292696*c_0110_5^5 - 2265333591867002859470700104712429\ 10338055/2712478635159533719184482147427694323174*c_0110_5^4 + 2199655855563913176731122313827222523157451/10849914540638134876737\ 928589710777292696*c_0110_5^3 - 42817361897081973169353824135441739\ 9243079/5424957270319067438368964294855388646348*c_0110_5^2 - 76526719612885698460768739854229071842839/2712478635159533719184482\ 147427694323174*c_0110_5 + 817425640823171727810100006531633394520/\ 1356239317579766859592241073713847161587, c_0101_1 - 522601885555101761337040425601972645789/10849914540638134876\ 737928589710777292696*c_0110_5^20 + 3525494652217500662411151733923949376575/10849914540638134876737928\ 589710777292696*c_0110_5^19 - 2615925964474293929775497506916250325\ 747/10849914540638134876737928589710777292696*c_0110_5^18 + 5018272771549724547492854164428129807401/10849914540638134876737928\ 589710777292696*c_0110_5^17 + 5883450365130090611351399343227519867\ 6831/10849914540638134876737928589710777292696*c_0110_5^16 + 37798985780652355839057488175581712797109/1084991454063813487673792\ 8589710777292696*c_0110_5^15 - 136927003480725947929141548208995312\ 960825/10849914540638134876737928589710777292696*c_0110_5^14 - 18433180809831890845433873886751794845347/5424957270319067438368964\ 294855388646348*c_0110_5^13 + 4787225800040078105603362936217018677\ 59887/5424957270319067438368964294855388646348*c_0110_5^12 + 82721809502429733226441789925434165903937/1356239317579766859592241\ 073713847161587*c_0110_5^11 - 1757041700596573585826758821351543352\ 20932/1356239317579766859592241073713847161587*c_0110_5^10 - 833692462185338324516643563112793803637913/542495727031906743836896\ 4294855388646348*c_0110_5^9 + 1497501578597509311239683125618082209\ 801315/10849914540638134876737928589710777292696*c_0110_5^8 + 657933476957220778060785912415045936670429/542495727031906743836896\ 4294855388646348*c_0110_5^7 - 4277367169387616963905058176030392438\ 963317/10849914540638134876737928589710777292696*c_0110_5^6 - 40862007473925687179768501591912117098171/1084991454063813487673792\ 8589710777292696*c_0110_5^5 + 1644012964922760824549561911012856375\ 735457/5424957270319067438368964294855388646348*c_0110_5^4 - 185582310495044815401106804687389987487893/108499145406381348767379\ 28589710777292696*c_0110_5^3 - 436310465701170949667628919630992974\ 82979/1356239317579766859592241073713847161587*c_0110_5^2 + 35828208731655468801877875263264379882431/1356239317579766859592241\ 073713847161587*c_0110_5 + 1058092520473158659964868843980972049771\ 5/1356239317579766859592241073713847161587, c_0110_5^21 - 7*c_0110_5^20 + 7*c_0110_5^19 - 13*c_0110_5^18 - 107*c_0110_5^17 - 49*c_0110_5^16 + 253*c_0110_5^15 + 6*c_0110_5^14 - 1778*c_0110_5^13 - 840*c_0110_5^12 + 2528*c_0110_5^11 + 2546*c_0110_5^10 - 2951*c_0110_5^9 - 1486*c_0110_5^8 + 7773*c_0110_5^7 - 1845*c_0110_5^6 - 4130*c_0110_5^5 + 197*c_0110_5^4 + 252*c_0110_5^3 - 348*c_0110_5^2 - 152*c_0110_5 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB