Magma V2.19-8 Tue Aug 20 2013 16:14:08 on localhost [Seed = 4206585564] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s077 geometric_solution 3.61725153 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.212105053655 0.202813608652 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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.517003297317 0.218908110433 1 1 3 4 0132 2310 0132 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 1 0 -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.523919458589 0.372611070680 5 4 5 2 0132 3012 3012 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 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.793735976310 0.407059594973 3 5 2 5 1230 3201 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.793735976310 0.407059594973 3 3 4 4 0132 1230 2310 2103 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 -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.990499830936 1.954739623467 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(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' : negation(d['1']), 's_0_2' : 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_3']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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' : 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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 360217110550468001703/29571272330198650480*c_0101_3^14 - 2486867222486510541/268829748456351368*c_0101_3^13 - 1815098420965743951893/5914254466039730096*c_0101_3^12 + 322589291331546078825/2957127233019865048*c_0101_3^11 + 2697660086150021473567/5914254466039730096*c_0101_3^10 + 71270008779552556881753/14785636165099325240*c_0101_3^9 + 109454166743300889863813/29571272330198650480*c_0101_3^8 + 112703069245396674320047/14785636165099325240*c_0101_3^7 - 5044473997394300321109/3696409041274831310*c_0101_3^6 + 670464714460622757888/168018592785219605*c_0101_3^5 - 73801751859701338419079/29571272330198650480*c_0101_3^4 + 13329827024522675524933/3696409041274831310*c_0101_3^3 - 3703271093033853066383/2957127233019865048*c_0101_3^2 + 10438379719960047781027/29571272330198650480*c_0101_3 - 14962364617895316593/29571272330198650480, c_0011_0 - 1, c_0011_3 - 10924425102319490/33603718557043921*c_0101_3^14 + 1123443096996014/3054883505185811*c_0101_3^13 + 272877407709359088/33603718557043921*c_0101_3^12 - 200412402473288822/33603718557043921*c_0101_3^11 - 391073999542918943/33603718557043921*c_0101_3^10 - 4172504580007507440/33603718557043921*c_0101_3^9 - 1685695867666703523/33603718557043921*c_0101_3^8 - 5289235316198489384/33603718557043921*c_0101_3^7 + 4106883754881954587/33603718557043921*c_0101_3^6 - 314282739124984951/3054883505185811*c_0101_3^5 + 3551686025714769721/33603718557043921*c_0101_3^4 - 3893601259733829808/33603718557043921*c_0101_3^3 + 2114346669423743542/33603718557043921*c_0101_3^2 - 519644624784707856/33603718557043921*c_0101_3 + 66414941298050359/33603718557043921, c_0101_0 - 10597159776316044/33603718557043921*c_0101_3^14 + 676473990893323/3054883505185811*c_0101_3^13 + 267748892568004036/33603718557043921*c_0101_3^12 - 80030893807627023/33603718557043921*c_0101_3^11 - 409532635205576192/33603718557043921*c_0101_3^10 - 4208814440133070907/33603718557043921*c_0101_3^9 - 3452882925386936213/33603718557043921*c_0101_3^8 - 6704536398953535590/33603718557043921*c_0101_3^7 + 838535949875480437/33603718557043921*c_0101_3^6 - 295266406270435784/3054883505185811*c_0101_3^5 + 1852623600933174401/33603718557043921*c_0101_3^4 - 2926604987313533483/33603718557043921*c_0101_3^3 + 797972161653238763/33603718557043921*c_0101_3^2 - 152817195240358952/33603718557043921*c_0101_3 - 39979486344425609/33603718557043921, c_0101_1 + 25359037777704843/33603718557043921*c_0101_3^14 - 1480172078750678/3054883505185811*c_0101_3^13 - 642017041256259909/33603718557043921*c_0101_3^12 + 151745020820322526/33603718557043921*c_0101_3^11 + 998356624010997513/33603718557043921*c_0101_3^10 + 10164202195192202018/33603718557043921*c_0101_3^9 + 8842168316815077215/33603718557043921*c_0101_3^8 + 16398518775834957600/33603718557043921*c_0101_3^7 - 1628014429451431584/33603718557043921*c_0101_3^6 + 647113441427188253/3054883505185811*c_0101_3^5 - 4769140293605653491/33603718557043921*c_0101_3^4 + 6619806075118352588/33603718557043921*c_0101_3^3 - 1827277508081547760/33603718557043921*c_0101_3^2 + 340183508410180561/33603718557043921*c_0101_3 + 7660051952761799/33603718557043921, c_0101_2 - 2136471211876332/33603718557043921*c_0101_3^14 + 126230780528718/3054883505185811*c_0101_3^13 + 53959617523378966/33603718557043921*c_0101_3^12 - 13186974107287674/33603718557043921*c_0101_3^11 - 80958200421792554/33603718557043921*c_0101_3^10 - 855057880129430334/33603718557043921*c_0101_3^9 - 743604960448383412/33603718557043921*c_0101_3^8 - 1424222722980291719/33603718557043921*c_0101_3^7 + 90403309844732189/33603718557043921*c_0101_3^6 - 63698851305802866/3054883505185811*c_0101_3^5 + 357236878417802353/33603718557043921*c_0101_3^4 - 654553321411479002/33603718557043921*c_0101_3^3 + 151831237045253343/33603718557043921*c_0101_3^2 - 41885177958380920/33603718557043921*c_0101_3 + 17769868772131389/33603718557043921, c_0101_3^15 - c_0101_3^14 - 25*c_0101_3^13 + 15*c_0101_3^12 + 35*c_0101_3^11 + 387*c_0101_3^10 + 209*c_0101_3^9 + 557*c_0101_3^8 - 262*c_0101_3^7 + 360*c_0101_3^6 - 289*c_0101_3^5 + 351*c_0101_3^4 - 178*c_0101_3^3 + 59*c_0101_3^2 - 10*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB