Magma V2.19-8 Tue Aug 20 2013 16:14:53 on localhost [Seed = 4155927455] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s868 geometric_solution 5.54398420 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 -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.429338259533 0.285572271867 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 1 -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.955897051280 0.788480670265 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 1 -1 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 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.301764740305 0.975665856673 2 5 4 1 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 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.301764740305 0.975665856673 4 2 3 4 3201 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694719254239 0.853441750215 5 3 5 2 2031 0132 1302 0132 0 0 0 0 0 1 0 -1 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 -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.206060339248 1.133212947241 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(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_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], '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' : 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_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 10089251671832392071504431/2500865830772724314*c_0101_4^23 - 23261941054610403991808193/1250432915386362157*c_0101_4^22 + 233883646644915316530073411/2500865830772724314*c_0101_4^21 + 3240421558372384896089475/14049808038049013*c_0101_4^20 - 2240381875124417905648323983/2500865830772724314*c_0101_4^19 - 2650728638385039472593581047/2500865830772724314*c_0101_4^18 + 9578857513258632880751522147/2500865830772724314*c_0101_4^17 + 6256907127339787871814441153/1250432915386362157*c_0101_4^16 - 19375808715989457901872153040/1250432915386362157*c_0101_4^15 - 15433236345201979197763913947/2500865830772724314*c_0101_4^14 + 38662081224844760379677644098/1250432915386362157*c_0101_4^13 - 935798484451318499042199360/1250432915386362157*c_0101_4^12 - 37851761846069316116139585758/1250432915386362157*c_0101_4^11 + 5535795283875665447430420989/2500865830772724314*c_0101_4^10 + 45001818851033515141269704415/2500865830772724314*c_0101_4^9 + 2942680413469521463122636124/1250432915386362157*c_0101_4^8 - 10994512030540013142821785415/1250432915386362157*c_0101_4^7 - 5923938808140119413329421133/2500865830772724314*c_0101_4^6 + 8011997789901495897134347523/2500865830772724314*c_0101_4^5 + 1487039457594767147159190087/2500865830772724314*c_0101_4^4 - 1401508738937764834979676957/2500865830772724314*c_0101_4^3 - 210940279982713686241877761/2500865830772724314*c_0101_4^2 + 46515070600866900140928562/1250432915386362157*c_0101_4 + 16506497136185065604883291/2500865830772724314, c_0011_0 - 1, c_0011_1 + 778634076975485260/139107010277713*c_0101_4^23 + 3590130038181459605/139107010277713*c_0101_4^22 - 18051577066493350496/139107010277713*c_0101_4^21 - 44507119576516561579/139107010277713*c_0101_4^20 + 172922713666452143870/139107010277713*c_0101_4^19 + 204507278924944318022/139107010277713*c_0101_4^18 - 739359112145339702434/139107010277713*c_0101_4^17 - 965501171977272491788/139107010277713*c_0101_4^16 + 2991159598578376566666/139107010277713*c_0101_4^15 + 1190081072958174848275/139107010277713*c_0101_4^14 - 5968376207429876335041/139107010277713*c_0101_4^13 + 146345758415394953169/139107010277713*c_0101_4^12 + 5843159145321189348949/139107010277713*c_0101_4^11 - 428967088841628607664/139107010277713*c_0101_4^10 - 3473627681875312886820/139107010277713*c_0101_4^9 - 453368998513102111898/139107010277713*c_0101_4^8 + 1697560969882343599655/139107010277713*c_0101_4^7 + 456909410695590110015/139107010277713*c_0101_4^6 - 618581916512200896733/139107010277713*c_0101_4^5 - 114697362300295473370/139107010277713*c_0101_4^4 + 108204225599332275746/139107010277713*c_0101_4^3 + 16275415495456043796/139107010277713*c_0101_4^2 - 7182407509882958403/139107010277713*c_0101_4 - 1274151550580861405/139107010277713, c_0011_3 - 6478687182461253084669/1250432915386362157*c_0101_4^23 - 29888576355923604313379/1250432915386362157*c_0101_4^22 + 150113644496567109571408/1250432915386362157*c_0101_4^21 + 4164727560632264330234/14049808038049013*c_0101_4^20 - 1437683845583517169731619/1250432915386362157*c_0101_4^19 - 1704648419099533125913116/1250432915386362157*c_0101_4^18 + 6145894000421030625242799/1250432915386362157*c_0101_4^17 + 8045722780672244563556324/1250432915386362157*c_0101_4^16 - 24861052556511700476488347/1250432915386362157*c_0101_4^15 - 9949878583906288663973004/1250432915386362157*c_0101_4^14 + 49609621571939621959660910/1250432915386362157*c_0101_4^13 - 1122188278136600857285460/1250432915386362157*c_0101_4^12 - 48570359061040462957974285/1250432915386362157*c_0101_4^11 + 3478175320710035479420407/1250432915386362157*c_0101_4^10 + 28862228857286096208989175/1250432915386362157*c_0101_4^9 + 3817541805975065527361487/1250432915386362157*c_0101_4^8 - 14090899556749716264957871/1250432915386362157*c_0101_4^7 - 3815748689686162699282897/1250432915386362157*c_0101_4^6 + 5130865191601475738643210/1250432915386362157*c_0101_4^5 + 957262153279856757713071/1250432915386362157*c_0101_4^4 - 897047772004778934931083/1250432915386362157*c_0101_4^3 - 135536206367967261818828/1250432915386362157*c_0101_4^2 + 59505599616265812510330/1250432915386362157*c_0101_4 + 10573170818454465510604/1250432915386362157, c_0101_0 + 39177138761418524707974/1250432915386362157*c_0101_4^23 + 180651980911648477555574/1250432915386362157*c_0101_4^22 - 908196899959479748533244/1250432915386362157*c_0101_4^21 - 25164735357924300606302/14049808038049013*c_0101_4^20 + 8699692249076264097915313/1250432915386362157*c_0101_4^19 + 10292300676250894289862803/1250432915386362157*c_0101_4^18 - 37195958979892477416309148/1250432915386362157*c_0101_4^17 - 48589231118085309261878621/1250432915386362157*c_0101_4^16 + 150478064047072412514285292/1250432915386362157*c_0101_4^15 + 59917509444827805564640926/1250432915386362157*c_0101_4^14 - 300257350708606672307974807/1250432915386362157*c_0101_4^13 + 7287702481303829872474198/1250432915386362157*c_0101_4^12 + 293958406600656335418512415/1250432915386362157*c_0101_4^11 - 21513573219564062478664185/1250432915386362157*c_0101_4^10 - 174741226738510279458175222/1250432915386362157*c_0101_4^9 - 22843826459579196224520392/1250432915386362157*c_0101_4^8 + 85384953484806155568998634/1250432915386362157*c_0101_4^7 + 22998290075204056207882014/1250432915386362157*c_0101_4^6 - 31111605959961352987476112/1250432915386362157*c_0101_4^5 - 5772475422723696795963189/1250432915386362157*c_0101_4^4 + 5442071587522544327146800/1250432915386362157*c_0101_4^3 + 818836532685735754264675/1250432915386362157*c_0101_4^2 - 361225952159963875254447/1250432915386362157*c_0101_4 - 64083204406515541187375/1250432915386362157, c_0101_1 - 2000441646091084603/139107010277713*c_0101_4^23 - 9223574153479937755/139107010277713*c_0101_4^22 + 46378038683069721528/139107010277713*c_0101_4^21 + 114345452398493008961/139107010277713*c_0101_4^20 - 444275170223432295589/139107010277713*c_0101_4^19 - 525408545610547896300/139107010277713*c_0101_4^18 + 1899588960475500331052/139107010277713*c_0101_4^17 + 2480521334750276466598/139107010277713*c_0101_4^16 - 7685010967599894114387/139107010277713*c_0101_4^15 - 3057490102519010342467/139107010277713*c_0101_4^14 + 15334388685176401007005/139107010277713*c_0101_4^13 - 376138338717057344646/139107010277713*c_0101_4^12 - 15013056344914777607647/139107010277713*c_0101_4^11 + 1102370653084131177707/139107010277713*c_0101_4^10 + 8925225354368226557418/139107010277713*c_0101_4^9 + 1164651224919719366369/139107010277713*c_0101_4^8 - 4361837788080373298737/139107010277713*c_0101_4^7 - 1173947791860171669847/139107010277713*c_0101_4^6 + 1589470836778438987427/139107010277713*c_0101_4^5 + 294739643887451494880/139107010277713*c_0101_4^4 - 278058855367702352577/139107010277713*c_0101_4^3 - 41826364418540662239/139107010277713*c_0101_4^2 + 18458628183908965110/139107010277713*c_0101_4 + 3274454089661668295/139107010277713, c_0101_4^24 + 4*c_0101_4^23 - 26*c_0101_4^22 - 43*c_0101_4^21 + 257*c_0101_4^20 + 127*c_0101_4^19 - 1110*c_0101_4^18 - 660*c_0101_4^17 + 4599*c_0101_4^16 - 818*c_0101_4^15 - 8599*c_0101_4^14 + 4870*c_0101_4^13 + 7390*c_0101_4^12 - 5135*c_0101_4^11 - 4125*c_0101_4^10 + 2143*c_0101_4^9 + 2536*c_0101_4^8 - 745*c_0101_4^7 - 1153*c_0101_4^6 + 338*c_0101_4^5 + 229*c_0101_4^4 - 64*c_0101_4^3 - 22*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