Magma V2.19-8 Tue Aug 20 2013 16:15:59 on localhost [Seed = 2699115673] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0232 geometric_solution 4.20361658 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 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 -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.286182527617 0.084817770518 0 0 3 3 0132 2310 2310 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 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 3.202287953655 1.754444393578 0 0 2 2 2310 0132 1230 3012 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 3.065246922696 0.230480406333 4 1 1 5 0132 3201 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 1 0 -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.073805753075 0.595081885402 3 6 5 6 0132 0132 1302 1023 0 0 0 0 0 -1 1 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 -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 0 0 0 0 0 0 0.502380396391 1.072709084931 4 6 3 6 2031 3201 0132 2310 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 -1 1 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.502380396391 1.072709084931 5 4 5 4 3201 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441311047380 0.316100542931 ==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' : negation(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' : 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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_0'], '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_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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_0101_0'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(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_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 56132587519853612173909/2609687441776269796113920*c_0110_6^14 - 198680888132773826960077/2609687441776269796113920*c_0110_6^13 + 199626102852425599109469/521937488355253959222784*c_0110_6^12 + 28956954931658377582077/34337992654950918369920*c_0110_6^11 + 379667640179392221544059/326210930222033724514240*c_0110_6^10 - 7925583994466075268679981/2609687441776269796113920*c_0110_6^9 - 4912652545395087626170981/521937488355253959222784*c_0110_6^8 + 20198837373652337531084969/326210930222033724514240*c_0110_6^7 + 12083661434267237753153197/163105465111016862257120*c_0110_6^6 - 7596902269507606670590293/65242186044406744902848*c_0110_6^5 - 21565323755620546065789519/163105465111016862257120*c_0110_6^4 + 13402868956137867448780433/81552732555508431128560*c_0110_6^3 + 835847471045882124460141/4077636627775421556428*c_0110_6^2 - 161346926354942701347339/20388183138877107782140*c_0110_6 - 201935513630089441084302/5097045784719276945535, c_0011_0 - 1, c_0011_3 + 578416912394547075/382652117562502902656*c_0110_6^14 + 1023204648332936813/382652117562502902656*c_0110_6^13 - 11451741693637289993/382652117562502902656*c_0110_6^12 - 58718141646610383/10069792567434286912*c_0110_6^11 - 10358643704148188025/95663029390625725664*c_0110_6^10 + 172100323775510899251/382652117562502902656*c_0110_6^9 - 103142687200044364975/382652117562502902656*c_0110_6^8 - 607699642212054146417/191326058781251451328*c_0110_6^7 - 65436251180644669035/95663029390625725664*c_0110_6^6 + 159166059698851753721/23915757347656431416*c_0110_6^5 + 21176136507503170059/11957878673828215708*c_0110_6^4 - 26353951988567341641/2989469668457053927*c_0110_6^3 - 15893984777126926354/2989469668457053927*c_0110_6^2 + 13016181279479765519/5978939336914107854*c_0110_6 + 7124452415437430108/2989469668457053927, c_0011_5 + 92143360962959747/191326058781251451328*c_0110_6^14 + 250158729198154105/191326058781251451328*c_0110_6^13 - 859013707269560141/95663029390625725664*c_0110_6^12 - 108982377672724757/10069792567434286912*c_0110_6^11 - 5967944829807423235/191326058781251451328*c_0110_6^10 + 19375516713114988631/191326058781251451328*c_0110_6^9 + 15594763660181498801/191326058781251451328*c_0110_6^8 - 233124518163285807523/191326058781251451328*c_0110_6^7 - 173729121967752438225/191326058781251451328*c_0110_6^6 + 6122470821378822013/2989469668457053927*c_0110_6^5 + 99370370710858121221/47831514695312862832*c_0110_6^4 - 30019436679655426633/11957878673828215708*c_0110_6^3 - 42203210919786508723/11957878673828215708*c_0110_6^2 + 1991121497287011873/5978939336914107854*c_0110_6 + 3022151303594717601/2989469668457053927, c_0101_0 + 50345263693227155/382652117562502902656*c_0110_6^14 + 288317493721523883/382652117562502902656*c_0110_6^13 - 815997965928839241/382652117562502902656*c_0110_6^12 - 108749091807831511/10069792567434286912*c_0110_6^11 - 309317339658667753/191326058781251451328*c_0110_6^10 - 4918819307658836713/382652117562502902656*c_0110_6^9 + 65439132404220741871/382652117562502902656*c_0110_6^8 - 109142342238816277861/191326058781251451328*c_0110_6^7 - 151179983528980557183/191326058781251451328*c_0110_6^6 + 92261760653396392445/95663029390625725664*c_0110_6^5 + 14345391999825373369/11957878673828215708*c_0110_6^4 - 4725648938495050866/2989469668457053927*c_0110_6^3 - 17429590835633841555/11957878673828215708*c_0110_6^2 + 1073255405673960456/2989469668457053927*c_0110_6 - 98203395364988383/2989469668457053927, c_0101_1 + 5655584058748531049/765304235125005805312*c_0110_6^14 + 9551880136009659247/765304235125005805312*c_0110_6^13 - 113249348142919376371/765304235125005805312*c_0110_6^12 - 281069634149386137/20139585134868573824*c_0110_6^11 - 98088474987122713931/191326058781251451328*c_0110_6^10 + 1656097398051769695257/765304235125005805312*c_0110_6^9 - 1041844211003467205093/765304235125005805312*c_0110_6^8 - 6129393056895055181823/382652117562502902656*c_0110_6^7 - 69641178703604342217/191326058781251451328*c_0110_6^6 + 1498314722552674077525/47831514695312862832*c_0110_6^5 + 38116645869292399219/23915757347656431416*c_0110_6^4 - 247953410284761826021/5978939336914107854*c_0110_6^3 - 47296592056585951890/2989469668457053927*c_0110_6^2 + 34925205919579331691/2989469668457053927*c_0110_6 + 17577987952992216934/2989469668457053927, c_0101_2 + 2959234483911139207/382652117562502902656*c_0110_6^14 + 4997955500014783505/382652117562502902656*c_0110_6^13 - 59192917789232745357/382652117562502902656*c_0110_6^12 - 146016138752029169/10069792567434286912*c_0110_6^11 - 12909386724798622185/23915757347656431416*c_0110_6^10 + 868079903491180801043/382652117562502902656*c_0110_6^9 - 551817266361828274379/382652117562502902656*c_0110_6^8 - 3196196653593713455969/191326058781251451328*c_0110_6^7 - 23765921279776257893/47831514695312862832*c_0110_6^6 + 3111983480134751650033/95663029390625725664*c_0110_6^5 + 23489683736902456843/11957878673828215708*c_0110_6^4 - 1034565557481822162799/23915757347656431416*c_0110_6^3 - 208846465577057191363/11957878673828215708*c_0110_6^2 + 35906915232843358174/2989469668457053927*c_0110_6 + 19183207499402538913/2989469668457053927, c_0110_6^15 + c_0110_6^14 - 21*c_0110_6^13 + 12*c_0110_6^12 - 72*c_0110_6^11 + 345*c_0110_6^10 - 403*c_0110_6^9 - 1968*c_0110_6^8 + 1328*c_0110_6^7 + 3976*c_0110_6^6 - 2304*c_0110_6^5 - 5376*c_0110_6^4 + 1088*c_0110_6^3 + 2688*c_0110_6^2 - 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB