Magma V2.19-8 Tue Aug 20 2013 16:14:43 on localhost [Seed = 3221103523] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s693 geometric_solution 5.19750189 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 1 0 1 2031 0132 1302 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.729951880607 0.606018603440 0 0 3 2 3201 0132 0132 0132 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 1 -1 0 -1 0 0 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 1.015346870541 1.765331492011 4 3 1 5 0132 2031 0132 0132 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 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.569770017215 0.721474214041 2 4 5 1 1302 0132 2310 0132 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 -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.569770017215 0.721474214041 2 3 4 4 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346203744906 0.553769005502 5 3 2 5 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355866002534 0.572569685506 ==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' : d['1'], 's_3_5' : 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' : 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' : d['c_0011_5'], 'c_1100_4' : d['c_0101_4'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 80519531713488186351/1050899826504627556*c_0101_4^22 - 4241903893585245503/525449913252313778*c_0101_4^21 + 637078315462480709247/525449913252313778*c_0101_4^20 - 4993320239023518470/262724956626156889*c_0101_4^19 - 1438097792173985240228/262724956626156889*c_0101_4^18 + 640501319881588572289/262724956626156889*c_0101_4^17 + 14503432976240440255465/1050899826504627556*c_0101_4^16 - 3565865047273402417007/525449913252313778*c_0101_4^15 - 8078050524500164955769/262724956626156889*c_0101_4^14 + 5487970635699898163575/1050899826504627556*c_0101_4^13 + 57826999182954533605317/1050899826504627556*c_0101_4^12 - 4777794705591549371722/262724956626156889*c_0101_4^11 - 89611363973481979958293/1050899826504627556*c_0101_4^10 + 15565734257992328233325/525449913252313778*c_0101_4^9 + 81242095191334918374873/1050899826504627556*c_0101_4^8 - 6445380338490776467337/262724956626156889*c_0101_4^7 - 9598915088391966246780/262724956626156889*c_0101_4^6 + 16668242138392991015105/1050899826504627556*c_0101_4^5 + 7146009371505287685869/525449913252313778*c_0101_4^4 - 3946786921244302236245/1050899826504627556*c_0101_4^3 - 3403350927485576692007/1050899826504627556*c_0101_4^2 + 152466279594210277195/1050899826504627556*c_0101_4 + 80558262543052388293/262724956626156889, c_0011_0 - 1, c_0011_2 - 1158457682110030845/525449913252313778*c_0101_4^22 + 2279934134974867113/1050899826504627556*c_0101_4^21 + 35849608604982029673/1050899826504627556*c_0101_4^20 - 10051833549847725486/262724956626156889*c_0101_4^19 - 147934454041437181635/1050899826504627556*c_0101_4^18 + 61795236402388451002/262724956626156889*c_0101_4^17 + 262558383406520963525/1050899826504627556*c_0101_4^16 - 597001469340561066629/1050899826504627556*c_0101_4^15 - 267863919249462392159/525449913252313778*c_0101_4^14 + 505461272125672415769/525449913252313778*c_0101_4^13 + 1117249899534258090805/1050899826504627556*c_0101_4^12 - 1073020130747954867711/525449913252313778*c_0101_4^11 - 1280407003744058757019/1050899826504627556*c_0101_4^10 + 1591173314577588223955/525449913252313778*c_0101_4^9 + 176062250586496117091/525449913252313778*c_0101_4^8 - 623118123361563036866/262724956626156889*c_0101_4^7 + 511816197881301320133/1050899826504627556*c_0101_4^6 + 1034907278044929192153/1050899826504627556*c_0101_4^5 - 103288126731064310143/262724956626156889*c_0101_4^4 - 107565840783308025407/525449913252313778*c_0101_4^3 + 50645670111119630249/525449913252313778*c_0101_4^2 + 4318006153862379276/262724956626156889*c_0101_4 - 7069838242148481695/1050899826504627556, c_0011_5 + 388631465292869276/262724956626156889*c_0101_4^22 - 964527172335726633/525449913252313778*c_0101_4^21 - 12110138482801876037/525449913252313778*c_0101_4^20 + 33475891275387500437/1050899826504627556*c_0101_4^19 + 25223920687469977257/262724956626156889*c_0101_4^18 - 197280424328695259505/1050899826504627556*c_0101_4^17 - 84189357375065735215/525449913252313778*c_0101_4^16 + 487061751049338333335/1050899826504627556*c_0101_4^15 + 162317352828488622505/525449913252313778*c_0101_4^14 - 431780447277375916541/525449913252313778*c_0101_4^13 - 181527851018229061578/262724956626156889*c_0101_4^12 + 883323081231081747303/525449913252313778*c_0101_4^11 + 775638126762367360375/1050899826504627556*c_0101_4^10 - 2679158372567893553579/1050899826504627556*c_0101_4^9 - 48953513993311141741/1050899826504627556*c_0101_4^8 + 543949212534632712207/262724956626156889*c_0101_4^7 - 570567469080497008299/1050899826504627556*c_0101_4^6 - 900090380768311759639/1050899826504627556*c_0101_4^5 + 434539774276946900759/1050899826504627556*c_0101_4^4 + 191982331260971412009/1050899826504627556*c_0101_4^3 - 26055888479732755695/262724956626156889*c_0101_4^2 - 15340412207946330415/1050899826504627556*c_0101_4 + 6769161626167749219/1050899826504627556, c_0101_1 + 816974814399083937/525449913252313778*c_0101_4^22 + 32214553974833130/262724956626156889*c_0101_4^21 - 26219598911990103803/1050899826504627556*c_0101_4^20 + 1572327730521103781/1050899826504627556*c_0101_4^19 + 30507444912630825353/262724956626156889*c_0101_4^18 - 31551431631710603275/525449913252313778*c_0101_4^17 - 311928795805334239513/1050899826504627556*c_0101_4^16 + 195828179088510919069/1050899826504627556*c_0101_4^15 + 673652114634210637181/1050899826504627556*c_0101_4^14 - 220022597298394115969/1050899826504627556*c_0101_4^13 - 1218491540112785822583/1050899826504627556*c_0101_4^12 + 143911951864170569098/262724956626156889*c_0101_4^11 + 1918281818429857312245/1050899826504627556*c_0101_4^10 - 511074437608119129929/525449913252313778*c_0101_4^9 - 845702696138509924757/525449913252313778*c_0101_4^8 + 1014857634875964719059/1050899826504627556*c_0101_4^7 + 330746192964326748011/525449913252313778*c_0101_4^6 - 630697130730053861107/1050899826504627556*c_0101_4^5 - 68686838255854013009/525449913252313778*c_0101_4^4 + 40126276205763886939/262724956626156889*c_0101_4^3 + 6726716385188935807/1050899826504627556*c_0101_4^2 - 5731165947408172803/525449913252313778*c_0101_4 + 369255679798567422/262724956626156889, c_0101_2 - 725408273803390009/1050899826504627556*c_0101_4^22 - 708017122132495899/1050899826504627556*c_0101_4^21 + 5676613252673513245/525449913252313778*c_0101_4^20 + 2489652091135029253/262724956626156889*c_0101_4^19 - 25645866463325682845/525449913252313778*c_0101_4^18 - 12129359630922312655/525449913252313778*c_0101_4^17 + 150592910884022193399/1050899826504627556*c_0101_4^16 + 58952798032717454613/1050899826504627556*c_0101_4^15 - 89321464218779706637/262724956626156889*c_0101_4^14 - 215321286553322916107/1050899826504627556*c_0101_4^13 + 145880602734887804755/262724956626156889*c_0101_4^12 + 299191544241229087285/1050899826504627556*c_0101_4^11 - 991073214854351394945/1050899826504627556*c_0101_4^10 - 475725227006157743691/1050899826504627556*c_0101_4^9 + 1074221999198884546933/1050899826504627556*c_0101_4^8 + 431381678492156709615/1050899826504627556*c_0101_4^7 - 349780419857691039831/525449913252313778*c_0101_4^6 - 100013008019304216837/1050899826504627556*c_0101_4^5 + 350789373859174993563/1050899826504627556*c_0101_4^4 + 21183530112130300811/1050899826504627556*c_0101_4^3 - 39262543220351997665/525449913252313778*c_0101_4^2 - 909185809339431335/262724956626156889*c_0101_4 + 5503146088452315085/1050899826504627556, c_0101_4^23 - 16*c_0101_4^21 + 2*c_0101_4^20 + 74*c_0101_4^19 - 41*c_0101_4^18 - 188*c_0101_4^17 + 120*c_0101_4^16 + 416*c_0101_4^15 - 142*c_0101_4^14 - 762*c_0101_4^13 + 361*c_0101_4^12 + 1186*c_0101_4^11 - 611*c_0101_4^10 - 1103*c_0101_4^9 + 591*c_0101_4^8 + 532*c_0101_4^7 - 391*c_0101_4^6 - 167*c_0101_4^5 + 129*c_0101_4^4 + 30*c_0101_4^3 - 19*c_0101_4^2 - 2*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB