Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 2429619315] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0594 geometric_solution 4.60790329 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 1 0 -1 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 2 0 -2 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.560595517432 0.825830703181 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 1 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 -1 -1 2 0 0 0 0 0 2 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.897587883979 0.253426326753 0 2 2 0 3201 1230 3012 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 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.379367090621 0.150622782749 4 1 4 5 2103 0132 1302 0132 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 1 0 -1 0 0 0 0 1 -1 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735550305456 0.561874314491 3 5 3 1 2031 0132 2103 0132 0 0 0 0 0 0 -1 1 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 -1 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.735550305456 0.561874314491 6 4 3 6 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.419884642983 0.206737939147 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.446635259807 1.056589855521 ==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' : negation(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' : negation(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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1559306031263905/877526980619016*c_1001_1^16 - 1375618091729171/62680498615644*c_1001_1^15 + 109055937585829093/877526980619016*c_1001_1^14 - 394081819761368509/877526980619016*c_1001_1^13 + 356268893512937161/292508993539672*c_1001_1^12 - 591202876676327585/219381745154754*c_1001_1^11 + 1106522154118242905/219381745154754*c_1001_1^10 - 593415630764545237/73127248384918*c_1001_1^9 + 748864146211981397/67502075432232*c_1001_1^8 - 1805013325440388423/146254496769836*c_1001_1^7 + 9059045920414965463/877526980619016*c_1001_1^6 - 363001648206800299/73127248384918*c_1001_1^5 - 154371574529059214/109690872577377*c_1001_1^4 + 219618381554330247/41786999077096*c_1001_1^3 - 582749222475955868/109690872577377*c_1001_1^2 + 119548132178728853/41786999077096*c_1001_1 - 254405344764496715/438763490309508, c_0011_0 - 1, c_0011_2 - 6058765819/7276021353*c_1001_1^16 + 72367714136/7276021353*c_1001_1^15 - 396617968108/7276021353*c_1001_1^14 + 1397041175372/7276021353*c_1001_1^13 - 1241292845935/2425340451*c_1001_1^12 + 8125836454055/7276021353*c_1001_1^11 - 15022061113816/7276021353*c_1001_1^10 + 7963873080655/2425340451*c_1001_1^9 - 32185879387988/7276021353*c_1001_1^8 + 35126695167017/7276021353*c_1001_1^7 - 28556854591958/7276021353*c_1001_1^6 + 1412184732912/808446817*c_1001_1^5 + 5115813438382/7276021353*c_1001_1^4 - 15243467805025/7276021353*c_1001_1^3 + 4892339402774/2425340451*c_1001_1^2 - 7493511454709/7276021353*c_1001_1 + 1468205922026/7276021353, c_0011_4 + 408197017/12935149072*c_1001_1^16 - 87945285319/116416341648*c_1001_1^15 + 236048154115/38805447216*c_1001_1^14 - 1554634747463/58208170824*c_1001_1^13 + 522630763711/6467574536*c_1001_1^12 - 7495475255587/38805447216*c_1001_1^11 + 22397031478849/58208170824*c_1001_1^10 - 6343580215157/9701361804*c_1001_1^9 + 12329037015701/12935149072*c_1001_1^8 - 133151136382583/116416341648*c_1001_1^7 + 123090609812299/116416341648*c_1001_1^6 - 8165469580751/12935149072*c_1001_1^5 + 36982054837/6467574536*c_1001_1^4 + 52182479365231/116416341648*c_1001_1^3 - 62606151246095/116416341648*c_1001_1^2 + 39186770200655/116416341648*c_1001_1 - 8669728205815/116416341648, c_0101_0 + 1396714505/7276021353*c_1001_1^16 - 5502816719/2425340451*c_1001_1^15 + 89592051854/7276021353*c_1001_1^14 - 34791515038/808446817*c_1001_1^13 + 276648570899/2425340451*c_1001_1^12 - 1802842569970/7276021353*c_1001_1^11 + 1106641256920/2425340451*c_1001_1^10 - 584440932575/808446817*c_1001_1^9 + 7051487002738/7276021353*c_1001_1^8 - 7646177434973/7276021353*c_1001_1^7 + 683763783870/808446817*c_1001_1^6 - 296082306192/808446817*c_1001_1^5 - 1195798502690/7276021353*c_1001_1^4 + 3344593116463/7276021353*c_1001_1^3 - 3170148985792/7276021353*c_1001_1^2 + 1593034162946/7276021353*c_1001_1 - 33378496327/808446817, c_0101_1 + 20093117165/58208170824*c_1001_1^16 - 232725081947/58208170824*c_1001_1^15 + 1238243378213/58208170824*c_1001_1^14 - 2129889512815/29104085412*c_1001_1^13 + 1860912333025/9701361804*c_1001_1^12 - 24027816907405/58208170824*c_1001_1^11 + 21932039718845/29104085412*c_1001_1^10 - 5742611313109/4850680902*c_1001_1^9 + 91369207614937/58208170824*c_1001_1^8 - 32530606065337/19402723608*c_1001_1^7 + 76651394148359/58208170824*c_1001_1^6 - 3412107316243/6467574536*c_1001_1^5 - 8976735062767/29104085412*c_1001_1^4 + 14482890805625/19402723608*c_1001_1^3 - 39478373763851/58208170824*c_1001_1^2 + 2090484108251/6467574536*c_1001_1 - 3421931474387/58208170824, c_0101_6 + 947010811/14552042706*c_1001_1^16 - 9349988807/9701361804*c_1001_1^15 + 90692515447/14552042706*c_1001_1^14 - 79268632147/3233787268*c_1001_1^13 + 678843315695/9701361804*c_1001_1^12 - 4681183326421/29104085412*c_1001_1^11 + 1507523151047/4850680902*c_1001_1^10 - 416007011674/808446817*c_1001_1^9 + 10597948874543/14552042706*c_1001_1^8 - 24592372312409/29104085412*c_1001_1^7 + 1210915855357/1616893634*c_1001_1^6 - 1332032387483/3233787268*c_1001_1^5 - 566141836753/14552042706*c_1001_1^4 + 4990013507603/14552042706*c_1001_1^3 - 11115813299839/29104085412*c_1001_1^2 + 1646402884790/7276021353*c_1001_1 - 153894924337/3233787268, c_1001_1^17 - 14*c_1001_1^16 + 90*c_1001_1^15 - 365*c_1001_1^14 + 1088*c_1001_1^13 - 2603*c_1001_1^12 + 5233*c_1001_1^11 - 9034*c_1001_1^10 + 13409*c_1001_1^9 - 16706*c_1001_1^8 + 16620*c_1001_1^7 - 11780*c_1001_1^6 + 3467*c_1001_1^5 + 4249*c_1001_1^4 - 7592*c_1001_1^3 + 6216*c_1001_1^2 - 2784*c_1001_1 + 497 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB