Magma V2.19-8 Tue Aug 20 2013 16:15:56 on localhost [Seed = 3002281614] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0172 geometric_solution 3.96582612 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 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.366597377897 0.399735806114 0 1 1 0 0132 3201 2310 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.542157830455 0.032074134552 0 3 3 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.761512908428 0.479939937365 2 2 4 4 2310 0132 0132 3201 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 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.194685092001 0.307611969460 5 3 6 3 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.448490658324 0.901019866807 4 6 6 6 0132 1230 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524799307063 0.847441952387 5 5 5 4 3201 0213 3012 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 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.524799307063 0.847441952387 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : negation(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' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_6'], '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_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_6']), '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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 10393965763966050982577/576768122057226133427*c_0101_4^14 + 61907510057722349408676/576768122057226133427*c_0101_4^13 - 43087850193365172137131/576768122057226133427*c_0101_4^12 - 167132855289431288008764/576768122057226133427*c_0101_4^11 + 5545471281997701707910824/576768122057226133427*c_0101_4^10 - 11686409008465970324971847/576768122057226133427*c_0101_4^9 - 4485248374597228427755544/576768122057226133427*c_0101_4^8 + 18672140639222351404171948/576768122057226133427*c_0101_4^7 - 3607119831804396142074673/576768122057226133427*c_0101_4^6 - 6761133332045581496928345/576768122057226133427*c_0101_4^5 + 2752940991120205446449544/576768122057226133427*c_0101_4^4 - 433328365934757505714926/576768122057226133427*c_0101_4^3 - 22307809018305175662448/576768122057226133427*c_0101_4^2 + 192972804175861851559698/576768122057226133427*c_0101_4 - 52922995251952835265806/576768122057226133427, c_0011_0 - 1, c_0011_2 + 23411339903398045529/576768122057226133427*c_0101_4^14 + 93522002551306467972/576768122057226133427*c_0101_4^13 - 421445614227527391147/576768122057226133427*c_0101_4^12 - 522503601949868779161/576768122057226133427*c_0101_4^11 + 13219719386541402241482/576768122057226133427*c_0101_4^10 - 50009769245429283910411/576768122057226133427*c_0101_4^9 + 14914331332494684178359/576768122057226133427*c_0101_4^8 + 101722395559123521533961/576768122057226133427*c_0101_4^7 - 42962278813947255375029/576768122057226133427*c_0101_4^6 - 57692589779428101836690/576768122057226133427*c_0101_4^5 + 12875606875468561216335/576768122057226133427*c_0101_4^4 + 4107521553642655246184/576768122057226133427*c_0101_4^3 + 3282615706159358861260/576768122057226133427*c_0101_4^2 + 1760705866780343130376/576768122057226133427*c_0101_4 - 313982651813580705019/576768122057226133427, c_0011_4 + 85561764850003637614/576768122057226133427*c_0101_4^14 + 578255128879115942094/576768122057226133427*c_0101_4^13 + 76378604305826592941/576768122057226133427*c_0101_4^12 - 1509791767578035493042/576768122057226133427*c_0101_4^11 + 44572315431722774381296/576768122057226133427*c_0101_4^10 - 59934986707239303216812/576768122057226133427*c_0101_4^9 - 102485034287972867283832/576768122057226133427*c_0101_4^8 + 108572045547512701543085/576768122057226133427*c_0101_4^7 + 69295383297221753858357/576768122057226133427*c_0101_4^6 - 53106486748410869293142/576768122057226133427*c_0101_4^5 - 11054490096309907380469/576768122057226133427*c_0101_4^4 + 3070232675957022849541/576768122057226133427*c_0101_4^3 - 997737327167534487300/576768122057226133427*c_0101_4^2 + 1821347572972345949491/576768122057226133427*c_0101_4 + 159427987059704243011/576768122057226133427, c_0011_6 + 171130311311394707295/576768122057226133427*c_0101_4^14 + 1120856371745242428706/576768122057226133427*c_0101_4^13 - 61530517857076419068/576768122057226133427*c_0101_4^12 - 2894510409294356967567/576768122057226133427*c_0101_4^11 + 89644674861792537550111/576768122057226133427*c_0101_4^10 - 138903083656632218666781/576768122057226133427*c_0101_4^9 - 165596515329672244107205/576768122057226133427*c_0101_4^8 + 227654893837240646525768/576768122057226133427*c_0101_4^7 + 85826494545682190553154/576768122057226133427*c_0101_4^6 - 91287575937899267945184/576768122057226133427*c_0101_4^5 - 5560237513226997082642/576768122057226133427*c_0101_4^4 + 322996691316311351260/576768122057226133427*c_0101_4^3 - 3308879207314827137983/576768122057226133427*c_0101_4^2 + 2485156151921659615934/576768122057226133427*c_0101_4 + 210539500751274488370/576768122057226133427, c_0101_0 + 186615166057040642433/576768122057226133427*c_0101_4^14 + 1153742509338427171742/576768122057226133427*c_0101_4^13 - 498130368335176393114/576768122057226133427*c_0101_4^12 - 3016395006772748443286/576768122057226133427*c_0101_4^11 + 98902632479565063454286/576768122057226133427*c_0101_4^10 - 187648684621584265848807/576768122057226133427*c_0101_4^9 - 115567579210708639915748/576768122057226133427*c_0101_4^8 + 299194984220871961537049/576768122057226133427*c_0101_4^7 - 11587546041249320162319/576768122057226133427*c_0101_4^6 - 111340353884749384521569/576768122057226133427*c_0101_4^5 + 32820339467809328662926/576768122057226133427*c_0101_4^4 - 3145554982555787390733/576768122057226133427*c_0101_4^3 - 2802585599231254216057/576768122057226133427*c_0101_4^2 + 2694155700183637404909/576768122057226133427*c_0101_4 - 218337962198455938750/576768122057226133427, c_0101_1 + 113546199450364519485/576768122057226133427*c_0101_4^14 + 762342853708101216803/576768122057226133427*c_0101_4^13 + 60676814525557920465/576768122057226133427*c_0101_4^12 - 2075018874506477604409/576768122057226133427*c_0101_4^11 + 59083854178928240457457/576768122057226133427*c_0101_4^10 - 82081143529534595613870/576768122057226133427*c_0101_4^9 - 135644714100868701742602/576768122057226133427*c_0101_4^8 + 143162431455501575155026/576768122057226133427*c_0101_4^7 + 109465085812543133216157/576768122057226133427*c_0101_4^6 - 65751522459200640166380/576768122057226133427*c_0101_4^5 - 32494387617815964530632/576768122057226133427*c_0101_4^4 + 3467451280070692346041/576768122057226133427*c_0101_4^3 - 263474639187808954292/576768122057226133427*c_0101_4^2 + 1750120207335344665912/576768122057226133427*c_0101_4 + 619735779182602847406/576768122057226133427, c_0101_4^15 + 6*c_0101_4^14 - 4*c_0101_4^13 - 17*c_0101_4^12 + 533*c_0101_4^11 - 1099*c_0101_4^10 - 542*c_0101_4^9 + 1883*c_0101_4^8 - 176*c_0101_4^7 - 836*c_0101_4^6 + 209*c_0101_4^5 + 35*c_0101_4^4 - 8*c_0101_4^3 + 19*c_0101_4^2 - 4*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB