Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 2429619277] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1460 geometric_solution 5.28174742 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 1 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 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.549584094522 0.179028910029 0 1 1 0 0132 1230 3012 1023 0 0 0 0 0 -1 1 0 -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 1 -1 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 1.311091419219 0.861264264062 4 0 3 5 0132 0132 3201 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 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.321029147824 0.987216416187 2 5 4 0 2310 1023 0132 0132 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 -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.321029147824 0.987216416187 2 6 6 3 0132 0132 1023 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.004378476804 0.483390793445 3 5 2 5 1023 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.297895764428 0.916077530495 6 4 4 6 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 1.217690586353 0.271053320038 ==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_2_6' : d['1'], 's_1_6' : 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_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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(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_0110_5'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0110_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 80787680861057826269306/3104084747578228936673*c_0110_5^23 + 194102165843870904810815/3104084747578228936673*c_0110_5^22 - 710719585588334121869469/3104084747578228936673*c_0110_5^21 - 727777833052826259493606/3104084747578228936673*c_0110_5^20 + 1310249569439851206616928/3104084747578228936673*c_0110_5^19 + 2154908516697277118418678/3104084747578228936673*c_0110_5^18 - 2268581587249799511192147/3104084747578228936673*c_0110_5^17 + 282033822115223056443384/3104084747578228936673*c_0110_5^16 + 1439753212830871101282078/3104084747578228936673*c_0110_5^15 - 3414575802473711033451983/3104084747578228936673*c_0110_5^14 - 8374106607995795368379011/3104084747578228936673*c_0110_5^13 - 7468904870323096722346843/3104084747578228936673*c_0110_5^12 + 3208436604804632460825430/3104084747578228936673*c_0110_5^11 + 5562279538729135497989730/3104084747578228936673*c_0110_5^10 + 2247173195619183014244745/3104084747578228936673*c_0110_5^9 - 603294983850145168715606/3104084747578228936673*c_0110_5^8 + 1866364576224436964175150/3104084747578228936673*c_0110_5^7 + 3834711419525748541319232/3104084747578228936673*c_0110_5^6 + 1421877125953752627943279/3104084747578228936673*c_0110_5^5 - 686433009081572920546655/3104084747578228936673*c_0110_5^4 - 1627333513482738499380707/3104084747578228936673*c_0110_5^3 - 228940224066609974373412/3104084747578228936673*c_0110_5^2 + 262617521737132336845611/3104084747578228936673*c_0110_5 + 24523655468353509331831/3104084747578228936673, c_0011_0 - 1, c_0011_3 - 5233192201474655915315/3104084747578228936673*c_0110_5^23 - 13192727494260117085661/3104084747578228936673*c_0110_5^22 + 44691491896293821733135/3104084747578228936673*c_0110_5^21 + 53255019002191267042027/3104084747578228936673*c_0110_5^20 - 79830354551616762282369/3104084747578228936673*c_0110_5^19 - 153771410279175625640750/3104084747578228936673*c_0110_5^18 + 130733798914444681891914/3104084747578228936673*c_0110_5^17 + 7368732003892512907527/3104084747578228936673*c_0110_5^16 - 92461050932419861673936/3104084747578228936673*c_0110_5^15 + 201809741278263455225203/3104084747578228936673*c_0110_5^14 + 576560933366174117546666/3104084747578228936673*c_0110_5^13 + 543184988863945800038745/3104084747578228936673*c_0110_5^12 - 175609917677626559799345/3104084747578228936673*c_0110_5^11 - 429313341114155721068786/3104084747578228936673*c_0110_5^10 - 210986008336386871868498/3104084747578228936673*c_0110_5^9 + 39818349249582439774953/3104084747578228936673*c_0110_5^8 - 105783735883663325927709/3104084747578228936673*c_0110_5^7 - 256868955299251298195574/3104084747578228936673*c_0110_5^6 - 122520317830353419473315/3104084747578228936673*c_0110_5^5 + 51369304503015833197722/3104084747578228936673*c_0110_5^4 + 125732687672453022428547/3104084747578228936673*c_0110_5^3 + 33333809298172102220313/3104084747578228936673*c_0110_5^2 - 15854969298118465449421/3104084747578228936673*c_0110_5 - 7039241579648838454081/3104084747578228936673, c_0101_0 + 3057012569645442329833/3104084747578228936673*c_0110_5^23 + 8215745196876825488740/3104084747578228936673*c_0110_5^22 - 25115880861424573607785/3104084747578228936673*c_0110_5^21 - 35977357865358043722356/3104084747578228936673*c_0110_5^20 + 44368872904677379185176/3104084747578228936673*c_0110_5^19 + 98546768241198442307349/3104084747578228936673*c_0110_5^18 - 66711256189555163136223/3104084747578228936673*c_0110_5^17 - 22528974077295309195381/3104084747578228936673*c_0110_5^16 + 64595932306721340246596/3104084747578228936673*c_0110_5^15 - 114684815532688491499930/3104084747578228936673*c_0110_5^14 - 356804207175560611041678/3104084747578228936673*c_0110_5^13 - 364316617966874680522755/3104084747578228936673*c_0110_5^12 + 76369229399112134369367/3104084747578228936673*c_0110_5^11 + 280856476685161038283884/3104084747578228936673*c_0110_5^10 + 137440916141720451646583/3104084747578228936673*c_0110_5^9 - 16787975823832002144610/3104084747578228936673*c_0110_5^8 + 54215584030673449482139/3104084747578228936673*c_0110_5^7 + 168186319164964799937689/3104084747578228936673*c_0110_5^6 + 85134210819653740172568/3104084747578228936673*c_0110_5^5 - 26190938874310970072059/3104084747578228936673*c_0110_5^4 - 77525380134972036850971/3104084747578228936673*c_0110_5^3 - 22812787502062956268588/3104084747578228936673*c_0110_5^2 + 12591555492142729795421/3104084747578228936673*c_0110_5 + 2429529045437253859008/3104084747578228936673, c_0101_1 - 1153006471557717221017/3104084747578228936673*c_0110_5^23 - 3561898861808025311251/3104084747578228936673*c_0110_5^22 + 8074564670134402295448/3104084747578228936673*c_0110_5^21 + 17145980476806665623329/3104084747578228936673*c_0110_5^20 - 9716432746266637981670/3104084747578228936673*c_0110_5^19 - 43964383372942383121133/3104084747578228936673*c_0110_5^18 + 7725842963254597005560/3104084747578228936673*c_0110_5^17 + 17360201394985393613995/3104084747578228936673*c_0110_5^16 - 15956066600047266988228/3104084747578228936673*c_0110_5^15 + 26909257445429304983908/3104084747578228936673*c_0110_5^14 + 156438599976754245843811/3104084747578228936673*c_0110_5^13 + 197839475908096268919431/3104084747578228936673*c_0110_5^12 + 30804028959642221353296/3104084747578228936673*c_0110_5^11 - 108476704372968682610774/3104084747578228936673*c_0110_5^10 - 100533002061725329114398/3104084747578228936673*c_0110_5^9 - 23049878803482122658815/3104084747578228936673*c_0110_5^8 - 23152405375207249645949/3104084747578228936673*c_0110_5^7 - 65794571767094557126728/3104084747578228936673*c_0110_5^6 - 58982612942720871179702/3104084747578228936673*c_0110_5^5 - 7788192426229820497529/3104084747578228936673*c_0110_5^4 + 29914111481367477422493/3104084747578228936673*c_0110_5^3 + 23166115698940639663321/3104084747578228936673*c_0110_5^2 + 4985148774026465749744/3104084747578228936673*c_0110_5 - 4002369173843502480582/3104084747578228936673, c_0101_4 + 5183512252906243347708/3104084747578228936673*c_0110_5^23 + 12699586487270408327603/3104084747578228936673*c_0110_5^22 - 45117958457129061951239/3104084747578228936673*c_0110_5^21 - 49465589503976535475631/3104084747578228936673*c_0110_5^20 + 81980148666869193894992/3104084747578228936673*c_0110_5^19 + 146257659026704009052936/3104084747578228936673*c_0110_5^18 - 138132377458643045379684/3104084747578228936673*c_0110_5^17 + 3577978126192800404113/3104084747578228936673*c_0110_5^16 + 87956686154568481383027/3104084747578228936673*c_0110_5^15 - 206203296577912253918376/3104084747578228936673*c_0110_5^14 - 553941815327444460852321/3104084747578228936673*c_0110_5^13 - 502613249066394760157385/3104084747578228936673*c_0110_5^12 + 205631748889980138848230/3104084747578228936673*c_0110_5^11 + 412525280334254382173395/3104084747578228936673*c_0110_5^10 + 192056656848419484279699/3104084747578228936673*c_0110_5^9 - 46168703590555392001482/3104084747578228936673*c_0110_5^8 + 102951262250513667636131/3104084747578228936673*c_0110_5^7 + 244451319118731019163426/3104084747578228936673*c_0110_5^6 + 99366785645783089608669/3104084747578228936673*c_0110_5^5 - 56983589819116221016466/3104084747578228936673*c_0110_5^4 - 128995488571224385404361/3104084747578228936673*c_0110_5^3 - 27907006252259584632777/3104084747578228936673*c_0110_5^2 + 17884501917399934240475/3104084747578228936673*c_0110_5 + 6314790991461317756435/3104084747578228936673, c_0101_6 - 7036555088762713182751/3104084747578228936673*c_0110_5^23 - 20182058116943331109277/3104084747578228936673*c_0110_5^22 + 55838956318772813178270/3104084747578228936673*c_0110_5^21 + 97174532638223913749161/3104084747578228936673*c_0110_5^20 - 98913605632128785541192/3104084747578228936673*c_0110_5^19 - 262067119766201693565480/3104084747578228936673*c_0110_5^18 + 133823823101990819921859/3104084747578228936673*c_0110_5^17 + 121986039734801983746026/3104084747578228936673*c_0110_5^16 - 171360452785358552082387/3104084747578228936673*c_0110_5^15 + 235066816283250458701960/3104084747578228936673*c_0110_5^14 + 906386174491497515867440/3104084747578228936673*c_0110_5^13 + 915187683410364541192448/3104084747578228936673*c_0110_5^12 - 181991333502445987540631/3104084747578228936673*c_0110_5^11 - 848649943735850067460012/3104084747578228936673*c_0110_5^10 - 429218336047886305599170/3104084747578228936673*c_0110_5^9 + 72658189475179887724304/3104084747578228936673*c_0110_5^8 - 65843209459392300916150/3104084747578228936673*c_0110_5^7 - 393268215513869232371242/3104084747578228936673*c_0110_5^6 - 227027731575086935029318/3104084747578228936673*c_0110_5^5 + 104741352096671861284954/3104084747578228936673*c_0110_5^4 + 232576556391229046900042/3104084747578228936673*c_0110_5^3 + 96932272143479652756616/3104084747578228936673*c_0110_5^2 - 41816109076204730208491/3104084747578228936673*c_0110_5 - 23897429408386752153074/3104084747578228936673, c_0110_5^24 + 2*c_0110_5^23 - 10*c_0110_5^22 - 6*c_0110_5^21 + 22*c_0110_5^20 + 22*c_0110_5^19 - 43*c_0110_5^18 + 9*c_0110_5^17 + 24*c_0110_5^16 - 51*c_0110_5^15 - 91*c_0110_5^14 - 40*c_0110_5^13 + 100*c_0110_5^12 + 71*c_0110_5^11 - 13*c_0110_5^10 - 34*c_0110_5^9 + 22*c_0110_5^8 + 41*c_0110_5^7 - 7*c_0110_5^6 - 26*c_0110_5^5 - 19*c_0110_5^4 + 8*c_0110_5^3 + 9*c_0110_5^2 - c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB