Magma V2.19-8 Tue Aug 20 2013 16:14:36 on localhost [Seed = 3869735648] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s585 geometric_solution 5.05579618 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401048256472 0.280586787681 2 0 3 0 0132 2310 0132 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 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.924908593857 0.890629848288 1 4 3 5 0132 0132 3012 0132 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 -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 1.254562951174 1.021176881325 5 2 4 1 1023 1230 1023 0132 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 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 1.254562951174 1.021176881325 4 2 3 4 3201 0132 1023 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.126021322164 0.676531839988 5 3 2 5 3201 1023 0132 2310 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 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.680046519493 0.473530047684 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 626459357327246071199762483/469384899570443880667043328*c_0101_3^14 - 2906775343235412666398425601/234692449785221940333521664*c_0101_3\ ^13 + 7999572396066932212062076213/156461633190147960222347776*c_01\ 01_3^12 - 67231720595423619735288180121/469384899570443880667043328\ *c_0101_3^11 + 40455055554294611689174919011/1173462248926109701667\ 60832*c_0101_3^10 - 357976444253291197906737520475/2346924497852219\ 40333521664*c_0101_3^9 + 203288571400165782595067697679/15646163319\ 0147960222347776*c_0101_3^8 - 442853120240593915030890042837/156461\ 633190147960222347776*c_0101_3^7 + 1050996233608788989054757078695/469384899570443880667043328*c_0101_\ 3^6 + 28343650085597711483513159687/156461633190147960222347776*c_0\ 101_3^5 - 270055614593545282439249502265/15646163319014796022234777\ 6*c_0101_3^4 + 590542426724458588882799473095/156461633190147960222\ 347776*c_0101_3^3 - 566858687292923460594679760639/1173462248926109\ 70166760832*c_0101_3^2 + 3124830846033798573842601610/9167673819735\ 23204427819*c_0101_3 - 287472403359998243380185294/3055891273245077\ 34809273, c_0011_0 - 1, c_0011_1 - 739988457834697870912465/9778852074384247513896736*c_0101_3^\ 14 + 863863643489401439724923/1222356509298030939237092*c_0101_3^13 - 28731646100998004969310249/9778852074384247513896736*c_0101_3^12 + 80899009185430482917835981/9778852074384247513896736*c_0101_3^11 - 97560824769472408547793033/4889426037192123756948368*c_0101_3^10 + 427574007471370589683368153/4889426037192123756948368*c_0101_3^9 - 766078455938350265868833747/9778852074384247513896736*c_0101_3^8 + 1589381275476146795004552803/9778852074384247513896736*c_0101_3^7 - 1328614548769203357446218767/9778852074384247513896736*c_0101_3^6 - 66261644717740917407850661/9778852074384247513896736*c_0101_3^5 + 979421502438505332505456543/9778852074384247513896736*c_0101_3^4 - 2139078334550368515323684529/9778852074384247513896736*c_0101_3^3 + 1395575581805877261143560853/4889426037192123756948368*c_0101_3^2 - 62693536371923562396417228/305589127324507734809273*c_0101_3 + 18149822398373253132810097/305589127324507734809273, c_0011_3 - 285176570386264274464799/9778852074384247513896736*c_0101_3^\ 14 + 669516408443231182040847/2444713018596061878474184*c_0101_3^13 - 11197736854149916886973311/9778852074384247513896736*c_0101_3^12 + 31639642087946395980916807/9778852074384247513896736*c_0101_3^11 - 38197756512747971845072373/4889426037192123756948368*c_0101_3^10 + 166206660179997749269898111/4889426037192123756948368*c_0101_3^9 - 309990891765955022550744453/9778852074384247513896736*c_0101_3^8 + 615799162723715282935961817/9778852074384247513896736*c_0101_3^7 - 540393905488998207094715205/9778852074384247513896736*c_0101_3^6 - 13311345231370174123650503/9778852074384247513896736*c_0101_3^5 + 378963063394441149763514429/9778852074384247513896736*c_0101_3^4 - 832741400651168723779471219/9778852074384247513896736*c_0101_3^3 + 550355517445152411127477729/4889426037192123756948368*c_0101_3^2 - 50734650158807681138210509/611178254649015469618546*c_0101_3 + 7826661094128794907802263/305589127324507734809273, c_0101_0 - 42142090239765604926273/611178254649015469618546*c_0101_3^14 + 3141081745364528254833415/4889426037192123756948368*c_0101_3^13 - 6512695549462913851999969/2444713018596061878474184*c_0101_3^12 + 36603031658911710153855499/4889426037192123756948368*c_0101_3^11 - 88161888246405700508739125/4889426037192123756948368*c_0101_3^10 + 96931305147723711471759687/1222356509298030939237092*c_0101_3^9 - 170266435913720499077131195/2444713018596061878474184*c_0101_3^8 + 719947510674616408110575697/4889426037192123756948368*c_0101_3^7 - 581279524409069158748291867/4889426037192123756948368*c_0101_3^6 - 39487071271296723352810413/4889426037192123756948368*c_0101_3^5 + 446182475646008699018851337/4889426037192123756948368*c_0101_3^4 - 968796311000037429805610567/4889426037192123756948368*c_0101_3^3 + 1241200513797617435331066529/4889426037192123756948368*c_0101_3^2 - 219891202792557273320044355/1222356509298030939237092*c_0101_3 + 15765963637534636175764888/305589127324507734809273, c_0101_1 + 92840572593457600961587/9778852074384247513896736*c_0101_3^1\ 4 - 231339930686060451559053/2444713018596061878474184*c_0101_3^13 + 4127167471216954300232659/9778852074384247513896736*c_0101_3^12 - 12214558026795495777923299/9778852074384247513896736*c_0101_3^11 + 15014060602464166866241733/4889426037192123756948368*c_0101_3^10 - 60109236341621251089618251/4889426037192123756948368*c_0101_3^9 + 157349798101063575211762193/9778852074384247513896736*c_0101_3^8 - 233610007087950514417961917/9778852074384247513896736*c_0101_3^7 + 272048785924623814341816121/9778852074384247513896736*c_0101_3^6 - 24756942391651205329482685/9778852074384247513896736*c_0101_3^5 - 151696370944914512351726721/9778852074384247513896736*c_0101_3^4 + 351448420001157858301695791/9778852074384247513896736*c_0101_3^3 - 240515553936635840301508129/4889426037192123756948368*c_0101_3^2 + 11856274663344935613746578/305589127324507734809273*c_0101_3 - 4121083123144129173082649/305589127324507734809273, c_0101_3^15 - 10*c_0101_3^14 + 45*c_0101_3^13 - 135*c_0101_3^12 + 336*c_0101_3^11 - 1330*c_0101_3^10 + 1799*c_0101_3^9 - 2833*c_0101_3^8 + 3217*c_0101_3^7 - 1085*c_0101_3^6 - 1381*c_0101_3^5 + 3771*c_0101_3^4 - 5680*c_0101_3^3 + 5184*c_0101_3^2 - 2560*c_0101_3 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB