Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 2084429982] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0599 geometric_solution 4.60986228 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.729706127952 0.289050421640 0 0 3 2 2310 0132 0132 0132 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 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 1.182983056687 1.111630127342 4 3 1 3 0132 2031 0132 3012 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 -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.684991100300 0.622334105759 2 4 2 1 1302 2310 1230 0132 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 -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.684991100300 0.622334105759 2 5 5 3 0132 0132 1023 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399329641133 0.237254064403 6 4 4 6 0132 0132 1023 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 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 1.267857957408 0.722637727884 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 0 0 0 0 0 0 0 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.682925230393 0.248430750554 ==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_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0011_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_2, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 259781259774170783051487/5914335130328352241445*c_0101_6^16 + 49302385971599271390249/5914335130328352241445*c_0101_6^15 + 724544396119188625233847/1182867026065670448289*c_0101_6^14 + 900993901476830095612192/1182867026065670448289*c_0101_6^13 - 6393043823062124923446500/1182867026065670448289*c_0101_6^12 - 1616587410148372946804540/1182867026065670448289*c_0101_6^11 + 173309672567667317716735711/5914335130328352241445*c_0101_6^10 - 239157967454132028965774751/5914335130328352241445*c_0101_6^9 - 54644746128604108636599373/5914335130328352241445*c_0101_6^8 + 332324004884662784292217052/5914335130328352241445*c_0101_6^7 - 31039839172655263645442312/1182867026065670448289*c_0101_6^6 - 47985437591908671449211086/5914335130328352241445*c_0101_6^5 + 32994955003756936585258248/5914335130328352241445*c_0101_6^4 - 26845102766503041320210449/5914335130328352241445*c_0101_6^3 + 15919600496338003441916669/5914335130328352241445*c_0101_6^2 + 238050044934964362573781/1182867026065670448289*c_0101_6 + 465386180767850908463471/5914335130328352241445, c_0011_0 - 1, c_0011_2 - 89361784400233049161/1182867026065670448289*c_0101_6^16 - 76830035939844900265/1182867026065670448289*c_0101_6^15 + 1169879899076773116507/1182867026065670448289*c_0101_6^14 + 2775507550368091577406/1182867026065670448289*c_0101_6^13 - 8127714861889977820954/1182867026065670448289*c_0101_6^12 - 11362113734802724952724/1182867026065670448289*c_0101_6^11 + 48044087450429343649498/1182867026065670448289*c_0101_6^10 - 32260711688380742794283/1182867026065670448289*c_0101_6^9 - 54066486060514274851784/1182867026065670448289*c_0101_6^8 + 63824679537107107295899/1182867026065670448289*c_0101_6^7 + 4933352690700806086176/1182867026065670448289*c_0101_6^6 - 9234688334822796434147/1182867026065670448289*c_0101_6^5 + 11298235040413224054873/1182867026065670448289*c_0101_6^4 - 6218306207664947425472/1182867026065670448289*c_0101_6^3 - 2986664918640783023476/1182867026065670448289*c_0101_6^2 - 1692724410134592608851/1182867026065670448289*c_0101_6 - 608881586859282605588/1182867026065670448289, c_0101_0 + 32169724271028062/1182867026065670448289*c_0101_6^16 + 21725186834362200412/1182867026065670448289*c_0101_6^15 + 51136914028590927559/1182867026065670448289*c_0101_6^14 - 238901448097256614832/1182867026065670448289*c_0101_6^13 - 1085548931377820338111/1182867026065670448289*c_0101_6^12 + 727880385395423787481/1182867026065670448289*c_0101_6^11 + 5186528357132350089695/1182867026065670448289*c_0101_6^10 - 5913685286520868445852/1182867026065670448289*c_0101_6^9 - 7799038305309679381363/1182867026065670448289*c_0101_6^8 + 15388031047702950566106/1182867026065670448289*c_0101_6^7 + 11593179490818423367029/1182867026065670448289*c_0101_6^6 - 14173377583335854591556/1182867026065670448289*c_0101_6^5 - 14489623006376038243218/1182867026065670448289*c_0101_6^4 + 1171236167672350558876/1182867026065670448289*c_0101_6^3 + 3610918011536453319142/1182867026065670448289*c_0101_6^2 + 779244865787634581246/1182867026065670448289*c_0101_6 + 1031858361538023029224/1182867026065670448289, c_0101_1 - 31430806671423172676/1182867026065670448289*c_0101_6^16 + 106265876819069369754/1182867026065670448289*c_0101_6^15 + 505244264857874275526/1182867026065670448289*c_0101_6^14 - 813800694808515922451/1182867026065670448289*c_0101_6^13 - 6770195426792513938141/1182867026065670448289*c_0101_6^12 + 9115195311455827559959/1182867026065670448289*c_0101_6^11 + 33058660514496520276374/1182867026065670448289*c_0101_6^10 - 87559380565394815546216/1182867026065670448289*c_0101_6^9 + 34940070365148883699159/1182867026065670448289*c_0101_6^8 + 108478221715019318719941/1182867026065670448289*c_0101_6^7 - 104335718026209083181457/1182867026065670448289*c_0101_6^6 - 23717668519079829689630/1182867026065670448289*c_0101_6^5 + 30486797631393033886209/1182867026065670448289*c_0101_6^4 - 3439847636087289967632/1182867026065670448289*c_0101_6^3 + 5330022101303125599259/1182867026065670448289*c_0101_6^2 + 1334565780802812920278/1182867026065670448289*c_0101_6 - 654213600105206516142/1182867026065670448289, c_0101_4 - 148313098450502481031/1182867026065670448289*c_0101_6^16 - 13130076561382630521/1182867026065670448289*c_0101_6^15 + 2044376799707000373245/1182867026065670448289*c_0101_6^14 + 3125543930605725186168/1182867026065670448289*c_0101_6^13 - 17109865959863241924527/1182867026065670448289*c_0101_6^12 - 8771535570483763518915/1182867026065670448289*c_0101_6^11 + 94564204117735775134154/1182867026065670448289*c_0101_6^10 - 112702338156154365768721/1182867026065670448289*c_0101_6^9 - 51183949458604197311808/1182867026065670448289*c_0101_6^8 + 167397451899859233795589/1182867026065670448289*c_0101_6^7 - 55060794450300816024422/1182867026065670448289*c_0101_6^6 - 25819131830135176627999/1182867026065670448289*c_0101_6^5 + 12306153287806490243259/1182867026065670448289*c_0101_6^4 - 15799543092172288163263/1182867026065670448289*c_0101_6^3 + 7082058883641627609580/1182867026065670448289*c_0101_6^2 + 2210854433167766247924/1182867026065670448289*c_0101_6 + 398723860509918623960/1182867026065670448289, c_0101_5 + 122652581240727952419/1182867026065670448289*c_0101_6^16 + 27520175921137825147/1182867026065670448289*c_0101_6^15 - 1643318424214799304010/1182867026065670448289*c_0101_6^14 - 2763050368282127909837/1182867026065670448289*c_0101_6^13 + 13208651392128718616815/1182867026065670448289*c_0101_6^12 + 7590497274045044048543/1182867026065670448289*c_0101_6^11 - 73421116901606417336047/1182867026065670448289*c_0101_6^10 + 89558534442717371821648/1182867026065670448289*c_0101_6^9 + 31975834147946897834280/1182867026065670448289*c_0101_6^8 - 123175241069642718852319/1182867026065670448289*c_0101_6^7 + 58134632774633713516187/1182867026065670448289*c_0101_6^6 + 5723669792081972480820/1182867026065670448289*c_0101_6^5 - 21473506429987787802727/1182867026065670448289*c_0101_6^4 + 11936809302287412511420/1182867026065670448289*c_0101_6^3 - 2715894405420715947042/1182867026065670448289*c_0101_6^2 + 1533013665912155902994/1182867026065670448289*c_0101_6 + 469987702379552678744/1182867026065670448289, c_0101_6^17 - 14*c_0101_6^15 - 20*c_0101_6^14 + 120*c_0101_6^13 + 55*c_0101_6^12 - 663*c_0101_6^11 + 792*c_0101_6^10 + 395*c_0101_6^9 - 1248*c_0101_6^8 + 348*c_0101_6^7 + 308*c_0101_6^6 - 93*c_0101_6^5 + 84*c_0101_6^4 - 43*c_0101_6^3 - 19*c_0101_6^2 - 3*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB