Magma V2.19-8 Tue Aug 20 2013 16:18:28 on localhost [Seed = 2160139696] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2662 geometric_solution 5.92767203 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620130556208 0.478584122722 3 0 3 4 0132 0132 0213 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.221438862828 0.790144265638 4 4 0 3 1023 1302 0132 2103 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 -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.989364671962 0.779955151411 1 1 5 2 0132 0213 0132 2103 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 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.274659103432 1.032577352114 5 2 1 2 2310 1023 0132 2031 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 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.027320814137 1.015302217012 6 6 4 3 0132 2310 3201 0132 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 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.077607578064 1.108669784894 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 1 0 -1 1 0 -1 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 -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.646895899561 0.693762003400 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_1010_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1010_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_1010_2']), 'c_1010_2' : d['c_1010_2'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_5, c_0101_2, c_0101_3, c_0101_5, c_1010_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 198598395080695309563008175/2698303429721239152526901*c_1010_2^19 + 551361898636792507621611457/2698303429721239152526901*c_1010_2^18 + 720687323152671001927071939/2698303429721239152526901*c_1010_2^17 - 4808493958044298484985326629/2698303429721239152526901*c_1010_2^16 - 285351969650483778817524845/2698303429721239152526901*c_1010_2^15 + 32743209718283292409583496164/2698303429721239152526901*c_1010_2^14 - 26843757954434176076571537086/2698303429721239152526901*c_1010_2^\ 13 - 94233618937697263938946771078/2698303429721239152526901*c_1010\ _2^12 + 123389230446197904132560644953/2698303429721239152526901*c_\ 1010_2^11 + 93969055054402536774705676108/2698303429721239152526901\ *c_1010_2^10 - 183692338441089036115889728755/269830342972123915252\ 6901*c_1010_2^9 - 7875897187918756291081465137/26983034297212391525\ 26901*c_1010_2^8 + 89316833297865079467587591359/269830342972123915\ 2526901*c_1010_2^7 + 10031541366597676201155584621/2698303429721239\ 152526901*c_1010_2^6 - 20554017463176760246715676327/26983034297212\ 39152526901*c_1010_2^5 - 28723145477368244243077462658/269830342972\ 1239152526901*c_1010_2^4 + 28264635662653057059564893069/2698303429\ 721239152526901*c_1010_2^3 - 13189259380028122972013059520/26983034\ 29721239152526901*c_1010_2^2 - 2400247201009681248214037393/2698303\ 429721239152526901*c_1010_2 + 1024750853666345527373868708/26983034\ 29721239152526901, c_0011_0 - 1, c_0011_2 + 80800624790414086213472/245300311792839922956991*c_1010_2^19 - 229208796717701276084553/245300311792839922956991*c_1010_2^18 - 279676343535244188328953/245300311792839922956991*c_1010_2^17 + 1975365513531556593896733/245300311792839922956991*c_1010_2^16 - 2542178890194600516561/245300311792839922956991*c_1010_2^15 - 13341448194583007987348780/245300311792839922956991*c_1010_2^14 + 11747837661298539193348364/245300311792839922956991*c_1010_2^13 + 37742997031945738130668167/245300311792839922956991*c_1010_2^12 - 52712953112390310547178422/245300311792839922956991*c_1010_2^11 - 35453968269878922809895633/245300311792839922956991*c_1010_2^10 + 77937908815516556547236060/245300311792839922956991*c_1010_2^9 - 1088613777704910755406119/245300311792839922956991*c_1010_2^8 - 38120823753727691929939639/245300311792839922956991*c_1010_2^7 - 1489081258575231528080659/245300311792839922956991*c_1010_2^6 + 9494098166363095189787927/245300311792839922956991*c_1010_2^5 + 10869401562242126424615677/245300311792839922956991*c_1010_2^4 - 12455606696645713511431902/245300311792839922956991*c_1010_2^3 + 5901402379594369467208596/245300311792839922956991*c_1010_2^2 + 898386529981543722699323/245300311792839922956991*c_1010_2 - 544148352298234673426794/245300311792839922956991, c_0011_5 + 463484811402361732912676/245300311792839922956991*c_1010_2^1\ 9 - 1287393798143190967028551/245300311792839922956991*c_1010_2^18 - 1681038189188167644556216/245300311792839922956991*c_1010_2^17 + 11223089647349987394474693/245300311792839922956991*c_1010_2^16 + 659220699828432570150286/245300311792839922956991*c_1010_2^15 - 76414115114546773912642253/245300311792839922956991*c_1010_2^14 + 62679004953572030568479447/245300311792839922956991*c_1010_2^13 + 219888270070334068971673215/245300311792839922956991*c_1010_2^12 - 287822614083274032013266125/245300311792839922956991*c_1010_2^11 - 219199208316500287301120323/245300311792839922956991*c_1010_2^10 + 427518404882629522132992765/245300311792839922956991*c_1010_2^9 + 18958487068434041222205576/245300311792839922956991*c_1010_2^8 - 206226829588237492552104212/245300311792839922956991*c_1010_2^7 - 25352846668528981259042796/245300311792839922956991*c_1010_2^6 + 46853733294378846492985191/245300311792839922956991*c_1010_2^5 + 68386493506864461102285887/245300311792839922956991*c_1010_2^4 - 65488258090585693185385937/245300311792839922956991*c_1010_2^3 + 30857986858882622165639993/245300311792839922956991*c_1010_2^2 + 5010718735990665866216411/245300311792839922956991*c_1010_2 - 2021938867278240215026256/245300311792839922956991, c_0101_2 + 57161151515446930856733/245300311792839922956991*c_1010_2^19 - 150434579722496564385502/245300311792839922956991*c_1010_2^18 - 230856919037296327261549/245300311792839922956991*c_1010_2^17 + 1352971630197804755728137/245300311792839922956991*c_1010_2^16 + 287654220984752390812255/245300311792839922956991*c_1010_2^15 - 9411086850820612887281124/245300311792839922956991*c_1010_2^14 + 6324544245791059758204548/245300311792839922956991*c_1010_2^13 + 28259695240933410272084712/245300311792839922956991*c_1010_2^12 - 31340533214710664991057904/245300311792839922956991*c_1010_2^11 - 32289239962044167402517781/245300311792839922956991*c_1010_2^10 + 48257734735789100375767622/245300311792839922956991*c_1010_2^9 + 10020132596096530295404857/245300311792839922956991*c_1010_2^8 - 24305945438216448731288420/245300311792839922956991*c_1010_2^7 - 6461844882405944647341889/245300311792839922956991*c_1010_2^6 + 4512658523533296894684414/245300311792839922956991*c_1010_2^5 + 8976827264772850616013887/245300311792839922956991*c_1010_2^4 - 6248758564476683055117798/245300311792839922956991*c_1010_2^3 + 2865948210350295294339442/245300311792839922956991*c_1010_2^2 + 913737417123380718280261/245300311792839922956991*c_1010_2 - 204254925448452686862735/245300311792839922956991, c_0101_3 + 124587697988185149877159/245300311792839922956991*c_1010_2^1\ 9 - 331341894125174226313577/245300311792839922956991*c_1010_2^18 - 491328078006280168017533/245300311792839922956991*c_1010_2^17 + 2963318852668021105262330/245300311792839922956991*c_1010_2^16 + 520429137291666331779506/245300311792839922956991*c_1010_2^15 - 20500035877677983238799232/245300311792839922956991*c_1010_2^14 + 14493324580253656917597327/245300311792839922956991*c_1010_2^13 + 60908635769800780734534145/245300311792839922956991*c_1010_2^12 - 70705104923255698885596576/245300311792839922956991*c_1010_2^11 - 67236319092347806986789585/245300311792839922956991*c_1010_2^10 + 108402297024013415532330144/245300311792839922956991*c_1010_2^9 + 17180219910783687719449136/245300311792839922956991*c_1010_2^8 - 54837585715135382597794655/245300311792839922956991*c_1010_2^7 - 12413544954403396228151430/245300311792839922956991*c_1010_2^6 + 11761946107541930328430783/245300311792839922956991*c_1010_2^5 + 19451394424849456089018970/245300311792839922956991*c_1010_2^4 - 15705224997923321835477551/245300311792839922956991*c_1010_2^3 + 6425785453841748269838869/245300311792839922956991*c_1010_2^2 + 2030905769056788339427016/245300311792839922956991*c_1010_2 - 456635496389233128177330/245300311792839922956991, c_0101_5 - 38379424951032862895572/245300311792839922956991*c_1010_2^19 + 111643812675976557698497/245300311792839922956991*c_1010_2^18 + 128302746498636546662308/245300311792839922956991*c_1010_2^17 - 956585584287149662608591/245300311792839922956991*c_1010_2^16 + 59476469262761091448564/245300311792839922956991*c_1010_2^15 + 6405688720868819126074759/245300311792839922956991*c_1010_2^14 - 6031552100263779854395656/245300311792839922956991*c_1010_2^13 - 17997433215779018205447309/245300311792839922956991*c_1010_2^12 + 26715162054131788169728466/245300311792839922956991*c_1010_2^11 + 16153874856002559718137802/245300311792839922956991*c_1010_2^10 - 39702367944729578498547053/245300311792839922956991*c_1010_2^9 + 2440079855241030752210173/245300311792839922956991*c_1010_2^8 + 19727069295891408507684577/245300311792839922956991*c_1010_2^7 - 702794808559574929730366/245300311792839922956991*c_1010_2^6 - 5242402896072227385782355/245300311792839922956991*c_1010_2^5 - 4896367110221232181467562/245300311792839922956991*c_1010_2^4 + 6547210049657131943432030/245300311792839922956991*c_1010_2^3 - 3372145818584840528272944/245300311792839922956991*c_1010_2^2 - 482908140453480801736540/245300311792839922956991*c_1010_2 + 419560654310049523549635/245300311792839922956991, c_1010_2^20 - 3*c_1010_2^19 - 3*c_1010_2^18 + 25*c_1010_2^17 - 4*c_1010_2^16 - 165*c_1010_2^15 + 172*c_1010_2^14 + 443*c_1010_2^13 - 726*c_1010_2^12 - 331*c_1010_2^11 + 1025*c_1010_2^10 - 169*c_1010_2^9 - 451*c_1010_2^8 + 48*c_1010_2^7 + 112*c_1010_2^6 + 122*c_1010_2^5 - 174*c_1010_2^4 + 99*c_1010_2^3 - 4*c_1010_2^2 - 7*c_1010_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB