Magma V2.19-8 Tue Aug 20 2013 16:17:49 on localhost [Seed = 930524117] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2048 geometric_solution 5.57808760 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.512075205844 0.245199785772 2 0 3 0 0132 2310 0132 0132 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 1 -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.899326020556 0.515477697768 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 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 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.872285403497 0.919034355534 5 2 4 1 1023 1230 0132 0132 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 1 0 -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.872285403497 0.919034355534 4 2 4 3 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.015714656327 1.010316622241 6 3 2 6 0132 1023 0132 1023 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 -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.885409869842 0.672490284049 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 -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 1.669821759495 0.406078689391 ==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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_3']), '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 6306959058/35291249*c_0101_6^12 - 174704371/5041607*c_0101_6^11 - 4422365577/5041607*c_0101_6^10 - 330225792/35291249*c_0101_6^9 + 55151183894/35291249*c_0101_6^8 + 89999199168/35291249*c_0101_6^7 - 184788762742/35291249*c_0101_6^6 - 381511134261/35291249*c_0101_6^5 + 260123757588/35291249*c_0101_6^4 + 192727566622/35291249*c_0101_6^3 - 259301114113/35291249*c_0101_6^2 - 51507514439/35291249*c_0101_6 + 1441205083/5041607, c_0011_0 - 1, c_0011_1 + 31111956/35291249*c_0101_6^12 - 9255438/35291249*c_0101_6^11 - 21785430/5041607*c_0101_6^10 + 13187964/35291249*c_0101_6^9 + 275313645/35291249*c_0101_6^8 + 418208992/35291249*c_0101_6^7 - 963181255/35291249*c_0101_6^6 - 1794140953/35291249*c_0101_6^5 + 1478152350/35291249*c_0101_6^4 + 874637796/35291249*c_0101_6^3 - 1383477684/35291249*c_0101_6^2 - 149447458/35291249*c_0101_6 + 123525768/35291249, c_0011_3 + 71813214/35291249*c_0101_6^12 - 19420858/35291249*c_0101_6^11 - 50547160/5041607*c_0101_6^10 + 23704992/35291249*c_0101_6^9 + 639447350/35291249*c_0101_6^8 + 976060958/35291249*c_0101_6^7 - 2199390479/35291249*c_0101_6^6 - 602411444/5041607*c_0101_6^5 + 3357859089/35291249*c_0101_6^4 + 2102401022/35291249*c_0101_6^3 - 3202862028/35291249*c_0101_6^2 - 53109193/5041607*c_0101_6 + 235507264/35291249, c_0101_0 - 41092444/35291249*c_0101_6^12 + 11637557/35291249*c_0101_6^11 + 28719616/5041607*c_0101_6^10 - 16320870/35291249*c_0101_6^9 - 359125616/35291249*c_0101_6^8 - 553439427/35291249*c_0101_6^7 + 179585822/5041607*c_0101_6^6 + 2376628893/35291249*c_0101_6^5 - 274653770/5041607*c_0101_6^4 - 1085226808/35291249*c_0101_6^3 + 1800619522/35291249*c_0101_6^2 + 181208584/35291249*c_0101_6 - 109807316/35291249, c_0101_1 - 83450771/35291249*c_0101_6^12 + 3406538/5041607*c_0101_6^11 + 58749062/5041607*c_0101_6^10 - 34411372/35291249*c_0101_6^9 - 743487027/35291249*c_0101_6^8 - 1123665724/35291249*c_0101_6^7 + 2575955334/35291249*c_0101_6^6 + 4865590734/35291249*c_0101_6^5 - 3998514929/35291249*c_0101_6^4 - 2382600116/35291249*c_0101_6^3 + 3761317436/35291249*c_0101_6^2 + 399386779/35291249*c_0101_6 - 39514244/5041607, c_0101_3 - 9255438/35291249*c_0101_6^12 + 3061770/35291249*c_0101_6^11 + 6328560/5041607*c_0101_6^10 - 4693959/35291249*c_0101_6^9 - 79582304/35291249*c_0101_6^8 - 123158443/35291249*c_0101_6^7 + 290360099/35291249*c_0101_6^6 + 73383102/5041607*c_0101_6^5 - 432064356/35291249*c_0101_6^4 - 232335312/35291249*c_0101_6^3 + 410567750/35291249*c_0101_6^2 + 13799015/5041607*c_0101_6 - 31111956/35291249, c_0101_6^13 - 5*c_0101_6^11 - c_0101_6^10 + 9*c_0101_6^9 + 16*c_0101_6^8 - 27*c_0101_6^7 - 67*c_0101_6^6 + 31*c_0101_6^5 + 42*c_0101_6^4 - 37*c_0101_6^3 - 18*c_0101_6^2 + 2*c_0101_6 + 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 288514021387/29429646495*c_0101_6^17 - 1142878318783/29429646495*c_0101_6^16 - 1279865857/5885929299*c_0101_6^15 + 325586017827/9809882165*c_0101_6^14 - 4127292867829/29429646495*c_0101_6^13 + 1176834968702/29429646495*c_0101_6^12 + 21894915856516/29429646495*c_0101_6^11 + 753082036845/1961976433*c_0101_6^10 - 1013314141784/5885929299*c_0101_6^9 + 3365851034664/1961976433*c_0101_6^8 + 43345998545518/29429646495*c_0101_6^7 - 8088285386032/1961976433*c_0101_6^6 - 59816142552126/9809882165*c_0101_6^5 - 5649090824245/5885929299*c_0101_6^4 + 34164057856337/29429646495*c_0101_6^3 - 4747880209127/9809882165*c_0101_6^2 - 11933660751556/29429646495*c_0101_6 + 967360521123/9809882165, c_0011_0 - 1, c_0011_1 + 7083656396/5885929299*c_0101_6^17 + 822799548/1961976433*c_0101_6^16 - 14515677377/5885929299*c_0101_6^15 + 24716057294/5885929299*c_0101_6^14 + 24036800255/5885929299*c_0101_6^13 - 133011993863/5885929299*c_0101_6^12 - 27934324735/1961976433*c_0101_6^11 + 44053583891/1961976433*c_0101_6^10 - 84927599371/1961976433*c_0101_6^9 - 139858621185/1961976433*c_0101_6^8 + 635699484949/5885929299*c_0101_6^7 + 1095495512101/5885929299*c_0101_6^6 - 1917303980/1961976433*c_0101_6^5 - 108735885703/1961976433*c_0101_6^4 + 158533351004/5885929299*c_0101_6^3 + 64421295769/5885929299*c_0101_6^2 - 48900898327/5885929299*c_0101_6 + 570407814/1961976433, c_0011_3 + 11495501666/29429646495*c_0101_6^17 + 1592703698/9809882165*c_0101_6^16 - 3923393686/5885929299*c_0101_6^15 + 36645723772/29429646495*c_0101_6^14 + 11919478974/9809882165*c_0101_6^13 - 194727930181/29429646495*c_0101_6^12 - 51516022206/9809882165*c_0101_6^11 + 27693629921/5885929299*c_0101_6^10 - 25479545605/1961976433*c_0101_6^9 - 131407778186/5885929299*c_0101_6^8 + 799874657576/29429646495*c_0101_6^7 + 358567095149/5885929299*c_0101_6^6 + 493248421739/29429646495*c_0101_6^5 - 62319506078/5885929299*c_0101_6^4 + 36477728939/29429646495*c_0101_6^3 + 171918303203/29429646495*c_0101_6^2 + 18938869783/29429646495*c_0101_6 - 45300614677/29429646495, c_0101_0 - 47057265886/29429646495*c_0101_6^17 - 15399581144/29429646495*c_0101_6^16 + 19740053774/5885929299*c_0101_6^15 - 53519099404/9809882165*c_0101_6^14 - 159755424902/29429646495*c_0101_6^13 + 294627894097/9809882165*c_0101_6^12 + 565276258133/29429646495*c_0101_6^11 - 183566357794/5885929299*c_0101_6^10 + 106402265574/1961976433*c_0101_6^9 + 551853841648/5885929299*c_0101_6^8 - 4274749299106/29429646495*c_0101_6^7 - 500080912686/1961976433*c_0101_6^6 + 161334499711/29429646495*c_0101_6^5 + 583777003318/5885929299*c_0101_6^4 - 497186520349/29429646495*c_0101_6^3 - 173112021011/9809882165*c_0101_6^2 + 75668193034/9809882165*c_0101_6 + 4918011924/9809882165, c_0101_1 + 1257709614/1961976433*c_0101_6^17 + 325730147/1961976433*c_0101_6^16 - 2890810879/1961976433*c_0101_6^15 + 13881525320/5885929299*c_0101_6^14 + 13061691526/5885929299*c_0101_6^13 - 75389149235/5885929299*c_0101_6^12 - 13171690695/1961976433*c_0101_6^11 + 89382021358/5885929299*c_0101_6^10 - 46057048245/1961976433*c_0101_6^9 - 224727687784/5885929299*c_0101_6^8 + 395046853528/5885929299*c_0101_6^7 + 195134706592/1961976433*c_0101_6^6 - 133785499096/5885929299*c_0101_6^5 - 260335736125/5885929299*c_0101_6^4 + 39278388021/1961976433*c_0101_6^3 + 29546558545/5885929299*c_0101_6^2 - 46633603822/5885929299*c_0101_6 + 14225921360/5885929299, c_0101_3 + 9931226444/9809882165*c_0101_6^17 - 544070659/9809882165*c_0101_6^16 - 13279688590/5885929299*c_0101_6^15 + 125540263679/29429646495*c_0101_6^14 + 62253577514/29429646495*c_0101_6^13 - 199760551169/9809882165*c_0101_6^12 - 142478936926/29429646495*c_0101_6^11 + 47855433448/1961976433*c_0101_6^10 - 246550680241/5885929299*c_0101_6^9 - 270240039629/5885929299*c_0101_6^8 + 1126371950464/9809882165*c_0101_6^7 + 742167576491/5885929299*c_0101_6^6 - 1904294443037/29429646495*c_0101_6^5 - 120955596035/1961976433*c_0101_6^4 + 960302510978/29429646495*c_0101_6^3 + 178651838206/29429646495*c_0101_6^2 - 244738204409/29429646495*c_0101_6 + 15637927882/9809882165, c_0101_6^18 + c_0101_6^17 - 2*c_0101_6^16 + 2*c_0101_6^15 + 6*c_0101_6^14 - 17*c_0101_6^13 - 25*c_0101_6^12 + 14*c_0101_6^11 - 20*c_0101_6^10 - 85*c_0101_6^9 + 56*c_0101_6^8 + 227*c_0101_6^7 + 89*c_0101_6^6 - 82*c_0101_6^5 - 21*c_0101_6^4 + 31*c_0101_6^3 - c_0101_6^2 - 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB