Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 2176851367] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s107 geometric_solution 3.97164928 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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.666039670683 0.083742860746 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.855914206770 0.102095635165 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 1 -1 -1 0 0 1 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.802485296014 0.293836244467 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 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 0 1 -1 -1 0 0 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.442519317501 0.865380234642 3 5 5 5 0132 0213 2310 1230 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 1 0 0 -1 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.485490179427 0.840975429467 4 4 4 3 3012 3201 0213 0132 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 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.485490179427 0.840975429467 ==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_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_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_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_1']), '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_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), '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_5'], 'c_0110_4' : d['c_0011_5'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 24075133840297567160/279466574916688981*c_0101_4^16 + 124679924244942587151/279466574916688981*c_0101_4^15 - 361652270118022522452/279466574916688981*c_0101_4^14 - 1935857751705760792254/279466574916688981*c_0101_4^13 - 1014260228935677548786/279466574916688981*c_0101_4^12 + 7636490543197533860531/279466574916688981*c_0101_4^11 + 7488143748779021891685/279466574916688981*c_0101_4^10 - 12768111869922774846281/279466574916688981*c_0101_4^9 - 13271525931628388314872/279466574916688981*c_0101_4^8 + 14352473849337669569097/279466574916688981*c_0101_4^7 + 18664225679613486334654/279466574916688981*c_0101_4^6 - 2902750528433727973257/279466574916688981*c_0101_4^5 - 9362006528143381263881/279466574916688981*c_0101_4^4 - 686971213981148110639/279466574916688981*c_0101_4^3 + 1874969447894194378619/279466574916688981*c_0101_4^2 + 133291261916186142840/279466574916688981*c_0101_4 - 109573765589110108473/279466574916688981, c_0011_0 - 1, c_0011_1 + 129150846131376900/279466574916688981*c_0101_4^16 + 775079509774588114/279466574916688981*c_0101_4^15 - 1413798335088416107/279466574916688981*c_0101_4^14 - 12053935120548296432/279466574916688981*c_0101_4^13 - 13395881724631123463/279466574916688981*c_0101_4^12 + 37516766176025133249/279466574916688981*c_0101_4^11 + 71461843555892002216/279466574916688981*c_0101_4^10 - 43159874562752860419/279466574916688981*c_0101_4^9 - 119833030318085473173/279466574916688981*c_0101_4^8 + 36712680666139513629/279466574916688981*c_0101_4^7 + 150273061823430529862/279466574916688981*c_0101_4^6 + 44163666989881080867/279466574916688981*c_0101_4^5 - 52816741063241999998/279466574916688981*c_0101_4^4 - 25319046111827043220/279466574916688981*c_0101_4^3 + 6474052220364563893/279466574916688981*c_0101_4^2 + 2576440407502705230/279466574916688981*c_0101_4 - 302942171507889767/279466574916688981, c_0011_5 + 36048780096122002/279466574916688981*c_0101_4^16 + 205850812724008010/279466574916688981*c_0101_4^15 - 428901702465030735/279466574916688981*c_0101_4^14 - 3109518415078404918/279466574916688981*c_0101_4^13 - 3219366942037374618/279466574916688981*c_0101_4^12 + 9447713184181115920/279466574916688981*c_0101_4^11 + 16110035656886654112/279466574916688981*c_0101_4^10 - 9431050322116726090/279466574916688981*c_0101_4^9 - 23804529542842182819/279466574916688981*c_0101_4^8 + 6616179536551066828/279466574916688981*c_0101_4^7 + 29707999280816828431/279466574916688981*c_0101_4^6 + 14071170297465673130/279466574916688981*c_0101_4^5 - 4171831175306583474/279466574916688981*c_0101_4^4 - 4496583379019655707/279466574916688981*c_0101_4^3 - 614624455707675726/279466574916688981*c_0101_4^2 - 74260503540942121/279466574916688981*c_0101_4 - 28184735669787474/279466574916688981, c_0101_0 + 332466260153697994/279466574916688981*c_0101_4^16 + 1638455607117846056/279466574916688981*c_0101_4^15 - 5303304157035870163/279466574916688981*c_0101_4^14 - 24964788015583258268/279466574916688981*c_0101_4^13 - 9625665847556379313/279466574916688981*c_0101_4^12 + 101401940225177753111/279466574916688981*c_0101_4^11 + 78783970371466057364/279466574916688981*c_0101_4^10 - 166053766335469727519/279466574916688981*c_0101_4^9 - 135472904655015256405/279466574916688981*c_0101_4^8 + 180109239879205771188/279466574916688981*c_0101_4^7 + 202731948656079072917/279466574916688981*c_0101_4^6 - 34143737746942060355/279466574916688981*c_0101_4^5 - 93663961071833182231/279466574916688981*c_0101_4^4 - 8022726141910714075/279466574916688981*c_0101_4^3 + 14905392116550880425/279466574916688981*c_0101_4^2 + 1247291754315463964/279466574916688981*c_0101_4 - 637759817106428239/279466574916688981, c_0101_1 - 103109856945216952/279466574916688981*c_0101_4^16 - 545003816490355780/279466574916688981*c_0101_4^15 + 1454692366759205965/279466574916688981*c_0101_4^14 + 8297760291725961718/279466574916688981*c_0101_4^13 + 5915541602558275529/279466574916688981*c_0101_4^12 - 29948600061199588842/279466574916688981*c_0101_4^11 - 35802186111857713280/279466574916688981*c_0101_4^10 + 40792532181923762092/279466574916688981*c_0101_4^9 + 60753291510651342633/279466574916688981*c_0101_4^8 - 38722349302801742560/279466574916688981*c_0101_4^7 - 83473413182003562881/279466574916688981*c_0101_4^6 - 12901488321046522850/279466574916688981*c_0101_4^5 + 31662204827038380008/279466574916688981*c_0101_4^4 + 12007344498392472688/279466574916688981*c_0101_4^3 - 4175006865203633648/279466574916688981*c_0101_4^2 - 1453360683736611992/279466574916688981*c_0101_4 + 383444567031390710/279466574916688981, c_0101_4^17 + 5*c_0101_4^16 - 16*c_0101_4^15 - 78*c_0101_4^14 - 27*c_0101_4^13 + 329*c_0101_4^12 + 257*c_0101_4^11 - 602*c_0101_4^10 - 474*c_0101_4^9 + 720*c_0101_4^8 + 698*c_0101_4^7 - 287*c_0101_4^6 - 407*c_0101_4^5 + 43*c_0101_4^4 + 99*c_0101_4^3 - 7*c_0101_4^2 - 8*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB