Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 3381155100] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1541 geometric_solution 5.33356016 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 1 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 1.249892945073 0.906922589443 0 5 5 4 0132 0132 3201 0213 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 1 -1 0 0 0 -1 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.305865673461 0.355539460604 6 0 6 4 0132 0132 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833696906675 0.685848139304 4 3 3 0 0213 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 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 1.165396788372 0.706027377342 3 2 0 1 0213 1302 0132 0213 0 0 0 0 0 0 -1 1 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 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.475878945593 0.380302349668 1 1 5 5 2310 0132 2031 1302 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 0 0 0 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 1.369771013009 1.959199705510 2 6 2 6 0132 1302 1023 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.548619227117 0.171604812544 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : 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_6' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0101_6']})} 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_3, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 185331949001455/115029162848256*c_0101_6^19 - 6110251631553079/287572907120640*c_0101_6^18 + 70247045342682361/575145814241280*c_0101_6^17 - 2349286927441831/5991102231680*c_0101_6^16 + 27618155098016551/38343054282752*c_0101_6^15 - 82189631335073557/143786453560320*c_0101_6^14 - 286584284964991303/575145814241280*c_0101_6^13 + 992810077954708217/575145814241280*c_0101_6^12 - 283559018863247853/191715271413760*c_0101_6^11 - 14426904816260663/35946613390080*c_0101_6^10 + 357507812559065253/191715271413760*c_0101_6^9 - 395399455123885429/287572907120640*c_0101_6^8 - 2222653155057381/23964408926720*c_0101_6^7 + 162751590374618141/191715271413760*c_0101_6^6 - 2348633720364415/3594661339008*c_0101_6^5 + 3029014161157277/14378645356032*c_0101_6^4 + 14394829401481007/287572907120640*c_0101_6^3 - 24177411569029789/191715271413760*c_0101_6^2 + 6801690059612271/95857635706880*c_0101_6 - 13046843089171463/575145814241280, c_0011_0 - 1, c_0011_3 - 1793724661521/9585763570688*c_0101_6^19 + 11621697105093/4792881785344*c_0101_6^18 - 130039832837115/9585763570688*c_0101_6^17 + 12472608796653/299555111584*c_0101_6^16 - 669126137037131/9585763570688*c_0101_6^15 + 90154115450263/2396440892672*c_0101_6^14 + 835438621916549/9585763570688*c_0101_6^13 - 1836154753558683/9585763570688*c_0101_6^12 + 1012652305775493/9585763570688*c_0101_6^11 + 70426277186573/599110223168*c_0101_6^10 - 2041270630432541/9585763570688*c_0101_6^9 + 400399778863519/4792881785344*c_0101_6^8 + 89714724325697/1198220446336*c_0101_6^7 - 938974930254325/9585763570688*c_0101_6^6 + 11927649740939/299555111584*c_0101_6^5 + 1912276998421/1198220446336*c_0101_6^4 - 62339789417533/4792881785344*c_0101_6^3 + 122491646145493/9585763570688*c_0101_6^2 - 20952805097959/4792881785344*c_0101_6 - 1827838759483/9585763570688, c_0011_4 + 75230917833/299555111584*c_0101_6^19 - 474699839637/149777555792*c_0101_6^18 + 5123207279219/299555111584*c_0101_6^17 - 465135967912/9361097237*c_0101_6^16 + 22357972230579/299555111584*c_0101_6^15 - 1387411499403/74888777896*c_0101_6^14 - 40145262414349/299555111584*c_0101_6^13 + 64773103075939/299555111584*c_0101_6^12 - 15697210910669/299555111584*c_0101_6^11 - 3862086562057/18722194474*c_0101_6^10 + 68402551962965/299555111584*c_0101_6^9 - 1576194258383/149777555792*c_0101_6^8 - 5138040617011/37444388948*c_0101_6^7 + 27753011569885/299555111584*c_0101_6^6 - 79521676756/9361097237*c_0101_6^5 - 668618475809/37444388948*c_0101_6^4 + 2380016865493/149777555792*c_0101_6^3 - 3402072358605/299555111584*c_0101_6^2 - 39229401321/149777555792*c_0101_6 + 417936298099/299555111584, c_0101_0 - 124186974241/9585763570688*c_0101_6^19 + 765100678677/4792881785344*c_0101_6^18 - 7977035543979/9585763570688*c_0101_6^17 + 688181834589/299555111584*c_0101_6^16 - 30330717339131/9585763570688*c_0101_6^15 + 968072194183/2396440892672*c_0101_6^14 + 50931904314325/9585763570688*c_0101_6^13 - 61742872524363/9585763570688*c_0101_6^12 - 2472862370347/9585763570688*c_0101_6^11 + 2904441358557/599110223168*c_0101_6^10 - 15609545947373/9585763570688*c_0101_6^9 + 409569975951/4792881785344*c_0101_6^8 - 2815313591791/1198220446336*c_0101_6^7 - 10407844035397/9585763570688*c_0101_6^6 + 1481998883003/299555111584*c_0101_6^5 + 5207062117/1198220446336*c_0101_6^4 - 19330135645197/4792881785344*c_0101_6^3 + 9436092285221/9585763570688*c_0101_6^2 + 9747787774121/4792881785344*c_0101_6 - 649669925867/9585763570688, c_0101_2 + 246773494815/599110223168*c_0101_6^19 - 1555871886723/299555111584*c_0101_6^18 + 16801520706597/599110223168*c_0101_6^17 - 765139534144/9361097237*c_0101_6^16 + 74326926296037/599110223168*c_0101_6^15 - 5244396150549/149777555792*c_0101_6^14 - 128576343612987/599110223168*c_0101_6^13 + 214774726688501/599110223168*c_0101_6^12 - 62342029362747/599110223168*c_0101_6^11 - 12067362102179/37444388948*c_0101_6^10 + 229845225561555/599110223168*c_0101_6^9 - 13322511674825/299555111584*c_0101_6^8 - 15806606135821/74888777896*c_0101_6^7 + 97157013314603/599110223168*c_0101_6^6 - 270748048218/9361097237*c_0101_6^5 - 1776584466511/74888777896*c_0101_6^4 + 8360323227843/299555111584*c_0101_6^3 - 13281621075931/599110223168*c_0101_6^2 + 339477495457/299555111584*c_0101_6 + 1082646091013/599110223168, c_0101_5 + 720409457345/4792881785344*c_0101_6^19 - 4708553500397/2396440892672*c_0101_6^18 + 53263475483803/4792881785344*c_0101_6^17 - 2588659274421/74888777896*c_0101_6^16 + 282366093847547/4792881785344*c_0101_6^15 - 38993054258499/1198220446336*c_0101_6^14 - 364835208172805/4792881785344*c_0101_6^13 + 827890493390635/4792881785344*c_0101_6^12 - 481543916570309/4792881785344*c_0101_6^11 - 32055802627569/299555111584*c_0101_6^10 + 979280777374285/4792881785344*c_0101_6^9 - 196811576956519/2396440892672*c_0101_6^8 - 45823163790119/599110223168*c_0101_6^7 + 477620883549909/4792881785344*c_0101_6^6 - 2839502027845/74888777896*c_0101_6^5 - 2790002244857/599110223168*c_0101_6^4 + 35166987181181/2396440892672*c_0101_6^3 - 65241330241989/4792881785344*c_0101_6^2 + 12264425118479/2396440892672*c_0101_6 + 3417991718587/4792881785344, c_0101_6^20 - 13*c_0101_6^19 + 73*c_0101_6^18 - 225*c_0101_6^17 + 379*c_0101_6^16 - 205*c_0101_6^15 - 481*c_0101_6^14 + 1066*c_0101_6^13 - 598*c_0101_6^12 - 657*c_0101_6^11 + 1213*c_0101_6^10 - 485*c_0101_6^9 - 430*c_0101_6^8 + 573*c_0101_6^7 - 239*c_0101_6^6 - 8*c_0101_6^5 + 82*c_0101_6^4 - 83*c_0101_6^3 + 29*c_0101_6^2 + c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB