Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 2715827562] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1641 geometric_solution 5.38389309 oriented_manifold CS_known -0.0000000000000002 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521455716753 0.097205242631 2 0 2 0 0132 2310 1023 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 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.625236806816 0.248272229623 1 3 1 4 0132 0132 1023 0132 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 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.914970764287 1.870722000738 4 2 6 5 3201 0132 0132 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 0 0 0 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.014944756741 0.979964949653 5 6 2 3 3201 1023 0132 2310 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 -1 0 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.014944756741 0.979964949653 5 5 3 4 1302 2031 0132 2310 0 0 0 0 0 0 0 0 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 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.482232728692 0.502125740011 4 6 6 3 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.005046507916 1.035997203767 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : 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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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_4'], 'c_1100_5' : d['c_0011_4'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_5'], '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0101_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 398206924850796295221/1442181586097635927*c_0101_6^14 - 8640804492639482326073/1442181586097635927*c_0101_6^13 + 21342700472695494296391/1442181586097635927*c_0101_6^12 + 3769075645950770934633/1442181586097635927*c_0101_6^11 - 30690350507481757181065/1442181586097635927*c_0101_6^10 + 53851221727546478561799/1442181586097635927*c_0101_6^9 - 16669761939073476627630/1442181586097635927*c_0101_6^8 - 5284199837795304603640/1442181586097635927*c_0101_6^7 - 3220510664817930596028/1442181586097635927*c_0101_6^6 + 8547020364700713794624/1442181586097635927*c_0101_6^5 + 154936473742776197089/1442181586097635927*c_0101_6^4 - 17222545479888359253804/1442181586097635927*c_0101_6^3 - 11737174789240947449415/1442181586097635927*c_0101_6^2 - 109266820104083239763/75904294005138733*c_0101_6 + 3500118884270100046538/1442181586097635927, c_0011_0 - 1, c_0011_1 - 113741509573938713/1442181586097635927*c_0101_6^14 - 2421453762416966379/1442181586097635927*c_0101_6^13 + 7113709997881950756/1442181586097635927*c_0101_6^12 - 1326461077012478082/1442181586097635927*c_0101_6^11 - 9758016073564739311/1442181586097635927*c_0101_6^10 + 20014626847192364637/1442181586097635927*c_0101_6^9 - 11456682661219297386/1442181586097635927*c_0101_6^8 - 969471217189034890/1442181586097635927*c_0101_6^7 + 2559590097933136147/1442181586097635927*c_0101_6^6 - 1169449171020860147/1442181586097635927*c_0101_6^5 + 165077815954331286/1442181586097635927*c_0101_6^4 - 5546197098923879316/1442181586097635927*c_0101_6^3 - 2192811448345393895/1442181586097635927*c_0101_6^2 + 30382442529899898/75904294005138733*c_0101_6 + 810629815739250366/1442181586097635927, c_0011_4 + 56700000841584734/1442181586097635927*c_0011_5*c_0101_6^14 + 1244666887769178213/1442181586097635927*c_0011_5*c_0101_6^13 - 2713276785494351661/1442181586097635927*c_0011_5*c_0101_6^12 - 952001182637383667/1442181586097635927*c_0011_5*c_0101_6^11 + 4006106561381206246/1442181586097635927*c_0011_5*c_0101_6^10 - 8240136903778577296/1442181586097635927*c_0011_5*c_0101_6^9 + 1455406049559207179/1442181586097635927*c_0011_5*c_0101_6^8 + 2101740372086088057/1442181586097635927*c_0011_5*c_0101_6^7 - 3532594604152012026/1442181586097635927*c_0011_5*c_0101_6^6 + 64237956330976137/1442181586097635927*c_0011_5*c_0101_6^5 + 2470805014149795600/1442181586097635927*c_0011_5*c_0101_6^4 + 57724730982991412/1442181586097635927*c_0011_5*c_0101_6^3 + 2824975559189665475/1442181586097635927*c_0011_5*c_0101_6^2 + 115194599146228271/75904294005138733*c_0011_5*c_0101_6 + 720677663030111579/1442181586097635927*c_0011_5, c_0011_5^2 - 717569669705945401/128354161162689597503*c_0101_6^14 - 12541773716849412131/128354161162689597503*c_0101_6^13 + 102857699833407162470/128354161162689597503*c_0101_6^12 - 183778532408839752444/128354161162689597503*c_0101_6^11 + 1186707145926672481/128354161162689597503*c_0101_6^10 + 333511137527795726523/128354161162689597503*c_0101_6^9 - 554447084059282620174/128354161162689597503*c_0101_6^8 + 276316219753661041594/128354161162689597503*c_0101_6^7 - 173999893467549902527/128354161162689597503*c_0101_6^6 + 11402600051522277880/128354161162689597503*c_0101_6^5 - 42572211545368722793/128354161162689597503*c_0101_6^4 - 83572273281389578436/128354161162689597503*c_0101_6^3 + 76008577468916305534/128354161162689597503*c_0101_6^2 + 562614550108739979/6755482166457347237*c_0101_6 - 10268590020109085624/128354161162689597503, c_0101_0 - 118068059426956103/1442181586097635927*c_0101_6^14 - 2620081679385581322/1442181586097635927*c_0101_6^13 + 5040900986068503830/1442181586097635927*c_0101_6^12 + 3671882867156161622/1442181586097635927*c_0101_6^11 - 6698072320780689222/1442181586097635927*c_0101_6^10 + 10320639839842877374/1442181586097635927*c_0101_6^9 + 1703389217060048537/1442181586097635927*c_0101_6^8 + 984584143736465825/1442181586097635927*c_0101_6^7 - 6675441330332728776/1442181586097635927*c_0101_6^6 + 4590746271802364465/1442181586097635927*c_0101_6^5 - 717420955763077492/1442181586097635927*c_0101_6^4 - 3559221464938582619/1442181586097635927*c_0101_6^3 - 7268017687783760258/1442181586097635927*c_0101_6^2 - 211505333695861000/75904294005138733*c_0101_6 + 561562886838863324/1442181586097635927, c_0101_1 + 49231738555913746/1442181586097635927*c_0101_6^14 + 1044139515311809401/1442181586097635927*c_0101_6^13 - 3144319400744146545/1442181586097635927*c_0101_6^12 + 1245889342828116068/1442181586097635927*c_0101_6^11 + 3397863583986964294/1442181586097635927*c_0101_6^10 - 9348888742039541785/1442181586097635927*c_0101_6^9 + 6244031117538034490/1442181586097635927*c_0101_6^8 - 2109757269433560062/1442181586097635927*c_0101_6^7 - 963394378491889635/1442181586097635927*c_0101_6^6 - 584775034874087985/1442181586097635927*c_0101_6^5 + 600737642520608001/1442181586097635927*c_0101_6^4 + 1652415319084215835/1442181586097635927*c_0101_6^3 + 117657323412382248/1442181586097635927*c_0101_6^2 - 15107139174990612/75904294005138733*c_0101_6 + 403165698964332856/1442181586097635927, c_0101_6^15 + 22*c_0101_6^14 - 47*c_0101_6^13 - 24*c_0101_6^12 + 71*c_0101_6^11 - 114*c_0101_6^10 + 6*c_0101_6^9 + 18*c_0101_6^8 + 12*c_0101_6^7 - 18*c_0101_6^6 - 6*c_0101_6^5 + 42*c_0101_6^4 + 42*c_0101_6^3 + 17*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB