Magma V2.19-8 Tue Aug 20 2013 16:14:07 on localhost [Seed = 1528481634] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s066 geometric_solution 3.60588211 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.717687796481 0.037623602244 0 2 0 2 0132 0132 1023 1023 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 0 1 -1 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.464016438531 0.129597063986 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 -1 0 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 -1 0 0 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.906953984938 3.564796123539 2 2 5 4 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 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.031153010028 0.509417605632 5 5 3 5 1230 1023 0132 3012 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 -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.979646011565 0.999805263352 4 4 4 3 1023 3012 1230 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 0 0 -1 0 0 1 -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.979646011565 0.999805263352 ==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' : d['1'], 's_3_0' : 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_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_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_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 74299837396907607/9094052793896777*c_0101_3^18 + 366528750153366980/9094052793896777*c_0101_3^17 - 2126572608432646454/9094052793896777*c_0101_3^16 - 4498878856184711021/9094052793896777*c_0101_3^15 + 28778093509806979703/9094052793896777*c_0101_3^14 + 13598051644458612211/9094052793896777*c_0101_3^13 - 16567841709136490634/1299150399128111*c_0101_3^12 - 76357597170618636/1299150399128111*c_0101_3^11 + 212437230985185014889/9094052793896777*c_0101_3^10 - 40962977382909552613/9094052793896777*c_0101_3^9 - 206877977911734407576/9094052793896777*c_0101_3^8 + 57126583418121005150/9094052793896777*c_0101_3^7 + 113368514956418870839/9094052793896777*c_0101_3^6 - 31973668126991455512/9094052793896777*c_0101_3^5 - 5077197381200116106/1299150399128111*c_0101_3^4 + 8053640101921716300/9094052793896777*c_0101_3^3 + 863407240934316169/1299150399128111*c_0101_3^2 - 734858877796328217/9094052793896777*c_0101_3 - 376157883883823302/9094052793896777, c_0011_0 - 1, c_0011_4 + 19414543089857553/9094052793896777*c_0101_3^18 - 199355021504125148/27282158381690331*c_0101_3^17 + 1307585164910352263/27282158381690331*c_0101_3^16 + 5737739287417000865/27282158381690331*c_0101_3^15 - 5118206583755107275/9094052793896777*c_0101_3^14 - 38665677686257491631/27282158381690331*c_0101_3^13 + 50802428224849070237/27282158381690331*c_0101_3^12 + 34734558810943823350/9094052793896777*c_0101_3^11 - 75592120591660620223/27282158381690331*c_0101_3^10 - 143940071422676832431/27282158381690331*c_0101_3^9 + 54193735025529268459/27282158381690331*c_0101_3^8 + 37078613823842878346/9094052793896777*c_0101_3^7 - 4662903544833984571/9094052793896777*c_0101_3^6 - 2261820280524522805/1299150399128111*c_0101_3^5 - 3087781252154990698/27282158381690331*c_0101_3^4 + 457587341026527060/1299150399128111*c_0101_3^3 + 1681514191922409569/27282158381690331*c_0101_3^2 - 662063195298918730/27282158381690331*c_0101_3 - 127704050221136138/27282158381690331, c_0101_0 + 44260879602705874/27282158381690331*c_0101_3^18 - 59323569891391560/9094052793896777*c_0101_3^17 + 1102648000282640488/27282158381690331*c_0101_3^16 + 3691527572318444531/27282158381690331*c_0101_3^15 - 13819067236476220219/27282158381690331*c_0101_3^14 - 20877922321102871891/27282158381690331*c_0101_3^13 + 50359192569922588127/27282158381690331*c_0101_3^12 + 47411197524015912632/27282158381690331*c_0101_3^11 - 27697557995679314408/9094052793896777*c_0101_3^10 - 54800123073211548433/27282158381690331*c_0101_3^9 + 69428473481074801138/27282158381690331*c_0101_3^8 + 11816857731410517845/9094052793896777*c_0101_3^7 - 9302840957335369971/9094052793896777*c_0101_3^6 - 1841441668928245828/3897451197384333*c_0101_3^5 + 3740103316893155906/27282158381690331*c_0101_3^4 + 293603525091550082/3897451197384333*c_0101_3^3 + 198126575688137779/27282158381690331*c_0101_3^2 - 8634095420428530/9094052793896777*c_0101_3 - 38234967330944525/27282158381690331, c_0101_1 - 338045798494005151/27282158381690331*c_0101_3^18 + 1176540396719597836/27282158381690331*c_0101_3^17 - 7677968628650516912/27282158381690331*c_0101_3^16 - 10922861332172143818/9094052793896777*c_0101_3^15 + 90460137556169964691/27282158381690331*c_0101_3^14 + 217625760046462675258/27282158381690331*c_0101_3^13 - 100115098746953171215/9094052793896777*c_0101_3^12 - 579258223183017237605/27282158381690331*c_0101_3^11 + 445956809771852250176/27282158381690331*c_0101_3^10 + 791049460512450835778/27282158381690331*c_0101_3^9 - 105972034435281735447/9094052793896777*c_0101_3^8 - 201249865150774073827/9094052793896777*c_0101_3^7 + 27280085562037865765/9094052793896777*c_0101_3^6 + 36209900874346272064/3897451197384333*c_0101_3^5 + 5688897249104295847/9094052793896777*c_0101_3^4 - 7071649418291237582/3897451197384333*c_0101_3^3 - 9369156633905401805/27282158381690331*c_0101_3^2 + 3170288150661916772/27282158381690331*c_0101_3 + 256403967441648777/9094052793896777, c_0101_2 + 28202056584152392/9094052793896777*c_0101_3^18 - 285166153707067922/27282158381690331*c_0101_3^17 + 1882861071904965305/27282158381690331*c_0101_3^16 + 8438586268193267099/27282158381690331*c_0101_3^15 - 7298941120108222700/9094052793896777*c_0101_3^14 - 57497429547524241145/27282158381690331*c_0101_3^13 + 71289316646986307936/27282158381690331*c_0101_3^12 + 52146578494682773441/9094052793896777*c_0101_3^11 - 104013446398269606742/27282158381690331*c_0101_3^10 - 218117098857833304851/27282158381690331*c_0101_3^9 + 73004412032054951068/27282158381690331*c_0101_3^8 + 56546988277511602043/9094052793896777*c_0101_3^7 - 6049553126343378086/9094052793896777*c_0101_3^6 - 3449548719742034674/1299150399128111*c_0101_3^5 - 4441652873853698548/27282158381690331*c_0101_3^4 + 693990815452298267/1299150399128111*c_0101_3^3 + 2303969557683546335/27282158381690331*c_0101_3^2 - 1036573970608289422/27282158381690331*c_0101_3 - 190921739701609928/27282158381690331, c_0101_3^19 - 3*c_0101_3^18 + 21*c_0101_3^17 + 108*c_0101_3^16 - 222*c_0101_3^15 - 776*c_0101_3^14 + 591*c_0101_3^13 + 2163*c_0101_3^12 - 537*c_0101_3^11 - 3030*c_0101_3^10 - 120*c_0101_3^9 + 2309*c_0101_3^8 + 567*c_0101_3^7 - 916*c_0101_3^6 - 394*c_0101_3^5 + 141*c_0101_3^4 + 97*c_0101_3^3 + c_0101_3^2 - 7*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB