Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 1916006077] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0377 geometric_solution 4.43400236 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 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 2.430822575665 0.153700385594 0 2 2 0 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 -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.824661071471 0.354342679541 1 1 3 3 2310 0132 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 1 0 -1 0 0 1 -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.373399712356 0.346823501321 4 2 5 2 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 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.190509903444 0.447112228557 3 5 5 6 0132 1230 3012 0132 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 -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 1.114391700518 0.759346363209 6 4 4 3 3201 1230 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.114391700518 0.759346363209 6 6 4 5 1230 3012 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 -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.806516515674 0.793595100680 ==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_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' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_6']), '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' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 123224949846643720474467321/5787557144007972044183203*c_0101_3^15 - 115610813004790667797029895/5787557144007972044183203*c_0101_3^14 + 3457468228188650567626318110/5787557144007972044183203*c_0101_3^13 + 1265564693598914456697590372/5787557144007972044183203*c_0101_3^12 - 34827865208961824770065369967/5787557144007972044183203*c_0101_3^11 + 16186062451045087040299615920/5787557144007972044183203*c_0101_3^\ 10 + 91912632906388008152527672813/5787557144007972044183203*c_0101\ _3^9 - 54592918642172336616328756720/5787557144007972044183203*c_01\ 01_3^8 - 124728411407708163613791976347/5787557144007972044183203*c\ _0101_3^7 + 321101043749483319758166330393/578755714400797204418320\ 3*c_0101_3^6 - 273473822363197858928569725264/578755714400797204418\ 3203*c_0101_3^5 - 12152055355318946613656685114/5787557144007972044\ 183203*c_0101_3^4 + 101254734491046619133719174080/5787557144007972\ 044183203*c_0101_3^3 - 57272046272002116352220816318/57875571440079\ 72044183203*c_0101_3^2 - 2605433783946535533948103792/5787557144007\ 972044183203*c_0101_3 + 5362797207658821297404351614/57875571440079\ 72044183203, c_0011_0 - 1, c_0011_3 + 24113631829067128681550/5787557144007972044183203*c_0101_3^1\ 5 + 21068978140702400660975/5787557144007972044183203*c_0101_3^14 - 680543392468508936510238/5787557144007972044183203*c_0101_3^13 - 219126119980413462027967/5787557144007972044183203*c_0101_3^12 + 6866532748944784062162559/5787557144007972044183203*c_0101_3^11 - 3307271396787747052002331/5787557144007972044183203*c_0101_3^10 - 17932994991549222023559867/5787557144007972044183203*c_0101_3^9 + 9962015522444683817675800/5787557144007972044183203*c_0101_3^8 + 24370465394156050324474105/5787557144007972044183203*c_0101_3^7 - 61006478723951970464631534/5787557144007972044183203*c_0101_3^6 + 54534548766525284438439024/5787557144007972044183203*c_0101_3^5 - 2747119046406999664655910/5787557144007972044183203*c_0101_3^4 - 7905638744148817587018214/5787557144007972044183203*c_0101_3^3 + 844250431752220173658998/5787557144007972044183203*c_0101_3^2 + 3782188628211964969692761/5787557144007972044183203*c_0101_3 + 2293397733241106681680670/5787557144007972044183203, c_0011_6 + 57639305561893489174378/5787557144007972044183203*c_0101_3^1\ 5 + 46418706563022944785687/5787557144007972044183203*c_0101_3^14 - 1622279229635549501140294/5787557144007972044183203*c_0101_3^13 - 374235421404812240051686/5787557144007972044183203*c_0101_3^12 + 16304051021556292611453285/5787557144007972044183203*c_0101_3^11 - 9808874398459008301881630/5787557144007972044183203*c_0101_3^10 - 41299911013421449933822486/5787557144007972044183203*c_0101_3^9 + 31714274858136716961129792/5787557144007972044183203*c_0101_3^8 + 52998585372486619377150182/5787557144007972044183203*c_0101_3^7 - 160120792537445835519888549/5787557144007972044183203*c_0101_3^6 + 149098290968306855909013636/5787557144007972044183203*c_0101_3^5 - 12775553408175420962579750/5787557144007972044183203*c_0101_3^4 - 44369139636902205513365303/5787557144007972044183203*c_0101_3^3 + 33982679128478724012133225/5787557144007972044183203*c_0101_3^2 + 995409731586668718162688/5787557144007972044183203*c_0101_3 - 2213520282981867035265412/5787557144007972044183203, c_0101_0 - 158029152498003528582968/5787557144007972044183203*c_0101_3^\ 15 - 101041422477432376933839/5787557144007972044183203*c_0101_3^14 + 4486197381447437835669204/5787557144007972044183203*c_0101_3^13 + 307727830764782188698192/5787557144007972044183203*c_0101_3^12 - 45383784139593472322530612/5787557144007972044183203*c_0101_3^11 + 33907422811910391189021702/5787557144007972044183203*c_0101_3^10 + 114157478929240053435731672/5787557144007972044183203*c_0101_3^9 - 104780703557223072534565678/5787557144007972044183203*c_0101_3^8 - 147161828704373257554113127/5787557144007972044183203*c_0101_3^7 + 458937538579546035376637312/5787557144007972044183203*c_0101_3^6 - 461265437968862492459082601/5787557144007972044183203*c_0101_3^5 + 71483286324018333527655360/5787557144007972044183203*c_0101_3^4 + 133984997011045583861792578/5787557144007972044183203*c_0101_3^3 - 94873433367013233758872174/5787557144007972044183203*c_0101_3^2 + 8497883715442059016827803/5787557144007972044183203*c_0101_3 + 6784318363574302748406955/5787557144007972044183203, c_0101_1 - 147269595761209404564422/5787557144007972044183203*c_0101_3^\ 15 - 173046772139693833118190/5787557144007972044183203*c_0101_3^14 + 4092633892573684068983101/5787557144007972044183203*c_0101_3^13 + 2467544954747256755036332/5787557144007972044183203*c_0101_3^12 - 41125676648019555927036898/5787557144007972044183203*c_0101_3^11 + 9932931010697620613200033/5787557144007972044183203*c_0101_3^10 + 113382379855445443875393285/5787557144007972044183203*c_0101_3^9 - 41431361560817879283608214/5787557144007972044183203*c_0101_3^8 - 162490983851002226128744543/5787557144007972044183203*c_0101_3^7 + 352515689386520743496189152/5787557144007972044183203*c_0101_3^6 - 239503593956976449888743602/5787557144007972044183203*c_0101_3^5 - 87383004825167018647937206/5787557144007972044183203*c_0101_3^4 + 124016250151007625708631999/5787557144007972044183203*c_0101_3^3 - 41071628371797597460928886/5787557144007972044183203*c_0101_3^2 - 23968127265840147984218704/5787557144007972044183203*c_0101_3 + 3767828222284209147879300/5787557144007972044183203, c_0101_2 - 181359644291068111449194/5787557144007972044183203*c_0101_3^\ 15 - 214959472802436233109017/5787557144007972044183203*c_0101_3^14 + 5018941552547420839228946/5787557144007972044183203*c_0101_3^13 + 3097706003675686781043704/5787557144007972044183203*c_0101_3^12 - 50001894196878204777538439/5787557144007972044183203*c_0101_3^11 + 11392213776334967293066599/5787557144007972044183203*c_0101_3^10 + 132944297791554533496099225/5787557144007972044183203*c_0101_3^9 - 43226063994627874380231023/5787557144007972044183203*c_0101_3^8 - 180512018531069223603819715/5787557144007972044183203*c_0101_3^7 + 415936925987749400420753535/5787557144007972044183203*c_0101_3^6 - 318696525271880859308259408/5787557144007972044183203*c_0101_3^5 - 45220859389460616409827902/5787557144007972044183203*c_0101_3^4 + 89921497318131683037056384/5787557144007972044183203*c_0101_3^3 - 56267002286921850863464746/5787557144007972044183203*c_0101_3^2 - 5974553757929503405726355/5787557144007972044183203*c_0101_3 + 2227481369268325500923447/5787557144007972044183203, c_0101_3^16 + c_0101_3^15 - 28*c_0101_3^14 - 12*c_0101_3^13 + 282*c_0101_3^12 - 114*c_0101_3^11 - 754*c_0101_3^10 + 398*c_0101_3^9 + 1039*c_0101_3^8 - 2546*c_0101_3^7 + 2060*c_0101_3^6 + 239*c_0101_3^5 - 825*c_0101_3^4 + 422*c_0101_3^3 + 50*c_0101_3^2 - 45*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB