Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 2118116106] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2906 geometric_solution 6.11228341 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 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 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 0 0 0 0 -0.460535511879 0.611420703794 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 1 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.471123550017 1.640379782165 4 5 1 6 0132 0132 0132 0132 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 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.084926679527 0.847098224888 5 4 6 1 3201 0132 0132 0132 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 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.084926679527 0.847098224888 2 3 4 4 0132 0132 1230 3012 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227775406629 0.735693441964 5 2 5 3 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682811604202 1.151200426105 6 6 2 3 1302 2031 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -1 1 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 -1 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.064468827813 0.805838620238 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_1100_1'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1100_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 66302934764518699398030684838980/1226749920374232626284895652923*c_\ 1100_1^25 + 1366240283838220209884128833931633/36802497611226978788\ 54686958769*c_1100_1^24 + 30501907307749087496293645879369/11152272\ 0034021147844081422993*c_1100_1^23 - 12106705451788356638606541334865996/3680249761122697878854686958769\ *c_1100_1^22 - 17077860930703580885721535959950182/3680249761122697\ 878854686958769*c_1100_1^21 + 83450634914587358920452879559203160/3\ 680249761122697878854686958769*c_1100_1^20 + 15491147193939396030308025555355141/334568160102063443532244268979*\ c_1100_1^19 - 373358284961288751735321017527966333/3680249761122697\ 878854686958769*c_1100_1^18 - 110814968120272374982325807756079302/\ 334568160102063443532244268979*c_1100_1^17 + 316869561533622015963242111392609996/368024976112269787885468695876\ 9*c_1100_1^16 + 1428583609537943115338121726961216218/1226749920374\ 232626284895652923*c_1100_1^15 + 2829317588353366771320148062055844\ 870/3680249761122697878854686958769*c_1100_1^14 - 2530967946223522566570141533386880984/12267499203742326262848956529\ 23*c_1100_1^13 - 11584622526225793558182121432617822649/36802497611\ 22697878854686958769*c_1100_1^12 + 1372436944107233432931560161193979481/12267499203742326262848956529\ 23*c_1100_1^11 + 20906531578948718099528590418481338530/36802497611\ 22697878854686958769*c_1100_1^10 + 12461404585640089095126621772972581505/3680249761122697878854686958\ 769*c_1100_1^9 - 11483250617528863674799406588309047186/36802497611\ 22697878854686958769*c_1100_1^8 - 205850126007036625688924150113215\ 33863/3680249761122697878854686958769*c_1100_1^7 - 3111079929059803527194428674086231144/12267499203742326262848956529\ 23*c_1100_1^6 + 3384192559470665791877279303764450877/3680249761122\ 697878854686958769*c_1100_1^5 + 61413392493923436150853162922162121\ 08/3680249761122697878854686958769*c_1100_1^4 + 1081668005588500942370894223904119896/12267499203742326262848956529\ 23*c_1100_1^3 + 290297375415779731336130716517986290/12267499203742\ 32626284895652923*c_1100_1^2 + 10768868492167430613158856504941863/\ 334568160102063443532244268979*c_1100_1 + 6712917789742202625165878102833507/3680249761122697878854686958769, c_0011_0 - 1, c_0011_2 + 9594036165907844569095504739079/1349424912411655888913385218\ 2153*c_1100_1^25 + 60847867875405870828542841649955/134942491241165\ 58889133852182153*c_1100_1^24 + 1536655999197642370458114998306/122\ 6749920374232626284895652923*c_1100_1^23 - 589541334102893495878660012878868/13494249124116558889133852182153*\ c_1100_1^22 - 509413928725623221822022912893048/1349424912411655888\ 9133852182153*c_1100_1^21 + 4261149505929836193264921570733279/1349\ 4249124116558889133852182153*c_1100_1^20 + 537895423913391300126366293091959/1226749920374232626284895652923*c\ _1100_1^19 - 20887083782426631182927419872129741/134942491241165588\ 89133852182153*c_1100_1^18 - 4296671131694201767740905847412478/122\ 6749920374232626284895652923*c_1100_1^17 + 39015175461432713157910531023747677/1349424912411655888913385218215\ 3*c_1100_1^16 + 182577580820391123930199310623277168/13494249124116\ 558889133852182153*c_1100_1^15 + 4228758743461450089400286209020552\ 5/13494249124116558889133852182153*c_1100_1^14 - 375177520397554604309364951507378226/134942491241165588891338521821\ 53*c_1100_1^13 - 357366807911217665532572785680155437/1349424912411\ 6558889133852182153*c_1100_1^12 + 358867477187804268603444237636462\ 952/13494249124116558889133852182153*c_1100_1^11 + 794184821681286247244810402499800927/134942491241165588891338521821\ 53*c_1100_1^10 + 212849137190988927555320239053905425/1349424912411\ 6558889133852182153*c_1100_1^9 - 6101035953460619297684498349019576\ 56/13494249124116558889133852182153*c_1100_1^8 - 667025552466625546423739157025065651/134942491241165588891338521821\ 53*c_1100_1^7 - 148104067192475972492747098678248130/13494249124116\ 558889133852182153*c_1100_1^6 + 20292255508563681575825356325055269\ 3/13494249124116558889133852182153*c_1100_1^5 + 191074994180176764222318492268827936/134942491241165588891338521821\ 53*c_1100_1^4 + 72785520493836403860672952915791131/134942491241165\ 58889133852182153*c_1100_1^3 + 12865141354629019125097776968309982/\ 13494249124116558889133852182153*c_1100_1^2 + 60851374302687932304865113456315/1226749920374232626284895652923*c_\ 1100_1 - 20383601536437467109935246408210/1349424912411655888913385\ 2182153, c_0011_6 - 4822885937338800131020428953583/1349424912411655888913385218\ 2153*c_1100_1^25 - 30396266565122735400227144701268/134942491241165\ 58889133852182153*c_1100_1^24 - 735647061839306190550864065232/1226\ 749920374232626284895652923*c_1100_1^23 + 293953908591497932858050398624156/13494249124116558889133852182153*\ c_1100_1^22 + 252804162076209336184925350001484/1349424912411655888\ 9133852182153*c_1100_1^21 - 2121116766477078161921642553354088/1349\ 4249124116558889133852182153*c_1100_1^20 - 268760069521767120065792285013720/1226749920374232626284895652923*c\ _1100_1^19 + 10383137645134301419322294634870134/134942491241165588\ 89133852182153*c_1100_1^18 + 2152393145555316717709720622027152/122\ 6749920374232626284895652923*c_1100_1^17 - 19224821718257382794516762878482282/1349424912411655888913385218215\ 3*c_1100_1^16 - 91617112622412535740297166695967520/134942491241165\ 58889133852182153*c_1100_1^15 - 22234843790959685030127363541084751\ /13494249124116558889133852182153*c_1100_1^14 + 188611652547702393906220055536680478/134942491241165588891338521821\ 53*c_1100_1^13 + 181844940924118525144378754530041069/1349424912411\ 6558889133852182153*c_1100_1^12 - 180945211060087887735404028227846\ 867/13494249124116558889133852182153*c_1100_1^11 - 403484049825460295730891351411687862/134942491241165588891338521821\ 53*c_1100_1^10 - 106364879008579766901879593413160994/1349424912411\ 6558889133852182153*c_1100_1^9 + 3134269524841668052330893040711167\ 71/13494249124116558889133852182153*c_1100_1^8 + 337481531058466994872446761123377366/134942491241165588891338521821\ 53*c_1100_1^7 + 68833936723541391338115131161912783/134942491241165\ 58889133852182153*c_1100_1^6 - 107087171164928741948164658148133052\ /13494249124116558889133852182153*c_1100_1^5 - 95837287087343484043973449888552270/1349424912411655888913385218215\ 3*c_1100_1^4 - 34401471298092934180405990761453570/1349424912411655\ 8889133852182153*c_1100_1^3 - 5413736099461402525073940281779313/13\ 494249124116558889133852182153*c_1100_1^2 - 16694196201691044235825566362534/1226749920374232626284895652923*c_\ 1100_1 + 8157971579035711820148734342112/13494249124116558889133852\ 182153, c_0101_0 - 6601019913942815221/23273242057205527607*c_1100_1^25 - 41147468638449182166/23273242057205527607*c_1100_1^24 - 712130726020818389/2115749277927775237*c_1100_1^23 + 403821038874130823334/23273242057205527607*c_1100_1^22 + 312246210016046877180/23273242057205527607*c_1100_1^21 - 2936579820098641239990/23273242057205527607*c_1100_1^20 - 344674714353390091397/2115749277927775237*c_1100_1^19 + 14563676062160388850582/23273242057205527607*c_1100_1^18 + 2826421823081609072244/2115749277927775237*c_1100_1^17 - 29011250046934973908670/23273242057205527607*c_1100_1^16 - 122288880440597259416616/23273242057205527607*c_1100_1^15 - 19651987310706802650513/23273242057205527607*c_1100_1^14 + 257306558878834462419552/23273242057205527607*c_1100_1^13 + 224619750088131014708831/23273242057205527607*c_1100_1^12 - 261553965626469114961389/23273242057205527607*c_1100_1^11 - 522431035549154368910019/23273242057205527607*c_1100_1^10 - 106129781243500685034130/23273242057205527607*c_1100_1^9 + 423996711714999772124029/23273242057205527607*c_1100_1^8 + 422521629568162227594638/23273242057205527607*c_1100_1^7 + 69401055862009618155456/23273242057205527607*c_1100_1^6 - 142077449028795522731880/23273242057205527607*c_1100_1^5 - 118372728941677380147284/23273242057205527607*c_1100_1^4 - 40950724293443193421813/23273242057205527607*c_1100_1^3 - 6472025170597950990152/23273242057205527607*c_1100_1^2 - 31442077682393822974/2115749277927775237*c_1100_1 - 10141592279900971851/23273242057205527607, c_0101_1 + 20436041724409583058/23273242057205527607*c_1100_1^25 + 129217270260400313569/23273242057205527607*c_1100_1^24 + 3140586247682396995/2115749277927775237*c_1100_1^23 - 1252875514202852348146/23273242057205527607*c_1100_1^22 - 1071933446765779282640/23273242057205527607*c_1100_1^21 + 9056720176860023127008/23273242057205527607*c_1100_1^20 + 1137957245081832532898/2115749277927775237*c_1100_1^19 - 44427872730556408458837/23273242057205527607*c_1100_1^18 - 9115683366604018664099/2115749277927775237*c_1100_1^17 + 83323617852037936986541/23273242057205527607*c_1100_1^16 + 388230115736986558043119/23273242057205527607*c_1100_1^15 + 88521908413494919514507/23273242057205527607*c_1100_1^14 - 800337162544580323258988/23273242057205527607*c_1100_1^13 - 758254789177758749961772/23273242057205527607*c_1100_1^12 + 771980593721416702458395/23273242057205527607*c_1100_1^11 + 1691802100210877901999190/23273242057205527607*c_1100_1^10 + 437862308837916945673355/23273242057205527607*c_1100_1^9 - 1312499042032280970758761/23273242057205527607*c_1100_1^8 - 1411308497222600049963414/23273242057205527607*c_1100_1^7 - 295659226808153291992640/23273242057205527607*c_1100_1^6 + 439508266340357673047414/23273242057205527607*c_1100_1^5 + 401175269037379446522196/23273242057205527607*c_1100_1^4 + 148949713415899194891454/23273242057205527607*c_1100_1^3 + 25693595838631490895795/23273242057205527607*c_1100_1^2 + 130842501394958960545/2115749277927775237*c_1100_1 - 10294449444508611207/23273242057205527607, c_0101_3 + 6448023415477116538209063516139/1349424912411655888913385218\ 2153*c_1100_1^25 + 40991919055892926500185154675617/134942491241165\ 58889133852182153*c_1100_1^24 + 1207429867758057993604900048787/122\ 6749920374232626284895652923*c_1100_1^23 - 391016301591695307164936397648614/13494249124116558889133852182153*\ c_1100_1^22 - 360122991641837862720829103519394/1349424912411655888\ 9133852182153*c_1100_1^21 + 2801883385821615193869320071320417/1349\ 4249124116558889133852182153*c_1100_1^20 + 373325105016319630363100071685310/1226749920374232626284895652923*c\ _1100_1^19 - 13546887104655380192804975353718002/134942491241165588\ 89133852182153*c_1100_1^18 - 2941427322685037857344635998314173/122\ 6749920374232626284895652923*c_1100_1^17 + 23333245544461652063047039770013848/1349424912411655888913385218215\ 3*c_1100_1^16 + 123181642559768513532525268449478306/13494249124116\ 558889133852182153*c_1100_1^15 + 3825392027164021576426654049468164\ 2/13494249124116558889133852182153*c_1100_1^14 - 247175093868356397108762540596964644/134942491241165588891338521821\ 53*c_1100_1^13 - 259243554617475990975629727750336552/1349424912411\ 6558889133852182153*c_1100_1^12 + 220133683676976574106284745778000\ 277/13494249124116558889133852182153*c_1100_1^11 + 551462367156854306102661426907419937/134942491241165588891338521821\ 53*c_1100_1^10 + 183835398121221762332895366526100580/1349424912411\ 6558889133852182153*c_1100_1^9 - 4012640074957239561475108348586164\ 20/13494249124116558889133852182153*c_1100_1^8 - 479675048414248797028189364673413656/134942491241165588891338521821\ 53*c_1100_1^7 - 129203105612724507746557293945065309/13494249124116\ 558889133852182153*c_1100_1^6 + 13292420542070923234295452455990042\ 4/13494249124116558889133852182153*c_1100_1^5 + 138679115645692739033164455348775706/134942491241165588891338521821\ 53*c_1100_1^4 + 56574528903264096223871881820846065/134942491241165\ 58889133852182153*c_1100_1^3 + 11105892820903397301544042533151751/\ 13494249124116558889133852182153*c_1100_1^2 + 72295768263406585473164123033872/1226749920374232626284895652923*c_\ 1100_1 - 9666097216899842570064589185686/13494249124116558889133852\ 182153, c_1100_1^26 + 7*c_1100_1^25 + 6*c_1100_1^24 - 60*c_1100_1^23 - 94*c_1100_1^22 + 406*c_1100_1^21 + 912*c_1100_1^20 - 1747*c_1100_1^19 - 6368*c_1100_1^18 + 692*c_1100_1^17 + 21655*c_1100_1^16 + 17345*c_1100_1^15 - 35793*c_1100_1^14 - 63676*c_1100_1^13 + 11663*c_1100_1^12 + 107762*c_1100_1^11 + 78647*c_1100_1^10 - 47992*c_1100_1^9 - 112537*c_1100_1^8 - 62852*c_1100_1^7 + 10435*c_1100_1^6 + 34185*c_1100_1^5 + 21127*c_1100_1^4 + 6542*c_1100_1^3 + 1011*c_1100_1^2 + 53*c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB