Magma V2.19-8 Tue Aug 20 2013 16:18:30 on localhost [Seed = 105356090] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2697 geometric_solution 5.95100461 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819184810682 0.591792474443 0 0 1 1 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476138624991 0.229358203796 4 0 4 5 0132 0132 0213 0132 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.217488061909 1.085377347329 5 5 0 4 1023 1302 0132 2103 0 0 0 0 0 1 -1 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 -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.910593216752 1.066988704297 2 2 6 3 0132 0213 0132 2103 0 0 0 0 0 1 -1 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 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.272050198379 1.573181174164 6 3 2 3 2310 1023 0132 2031 0 0 0 0 0 0 0 0 1 0 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 -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.169717481606 1.534929905914 6 6 5 4 1302 2031 3201 0132 0 0 0 0 0 0 -1 1 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 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.242261514339 0.523554306537 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(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_1010_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_1010_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_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_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_1010_3']), 'c_1010_3' : d['c_1010_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_6']})} 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_4, c_1010_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1833971942084187453625302825413290659899117632/90980931028284172180\ 60806361654604406229597*c_1010_3^27 - 16014188407048349930939141439003470245733568560/9098093102828417218\ 060806361654604406229597*c_1010_3^25 - 14846965708262403892442600934940737501710287932/9098093102828417218\ 060806361654604406229597*c_1010_3^23 + 130812546226847191907560461064143715318864674958/909809310282841721\ 8060806361654604406229597*c_1010_3^21 + 648677681119128355323140540053901207773766772814/909809310282841721\ 8060806361654604406229597*c_1010_3^19 + 1351432543691908310366688295386532373971613777861/90980931028284172\ 18060806361654604406229597*c_1010_3^17 - 1120614986952049954572456092348035362416877831173/90980931028284172\ 18060806361654604406229597*c_1010_3^15 - 2522918008118081539029089823920737464854582256014/90980931028284172\ 18060806361654604406229597*c_1010_3^13 + 4535222931396333638032167723002313728044669821370/90980931028284172\ 18060806361654604406229597*c_1010_3^11 - 3571448396216465108661488310964743698751735182310/90980931028284172\ 18060806361654604406229597*c_1010_3^9 + 1227764988681038560269301193182035849069032065001/90980931028284172\ 18060806361654604406229597*c_1010_3^7 - 449075755275168261687075908709986106826652713796/909809310282841721\ 8060806361654604406229597*c_1010_3^5 + 190937187674353415620564665839086255524962861713/909809310282841721\ 8060806361654604406229597*c_1010_3^3 - 1549201723926733170021959076638863970019663808/90980931028284172180\ 60806361654604406229597*c_1010_3, c_0011_0 - 1, c_0011_3 - 4292541943984232325493604606198120273422848/9098093102828417\ 218060806361654604406229597*c_1010_3^26 + 37620168777461603778452007240929173563942272/9098093102828417218060\ 806361654604406229597*c_1010_3^24 + 33545867274030431668516916419619379105608672/9098093102828417218060\ 806361654604406229597*c_1010_3^22 - 307282578484538286055672943612202699420410256/909809310282841721806\ 0806361654604406229597*c_1010_3^20 - 1508439263986897881808365454049168554127252304/90980931028284172180\ 60806361654604406229597*c_1010_3^18 - 3114431377038340235855086411123220613578624992/90980931028284172180\ 60806361654604406229597*c_1010_3^16 + 2724119475190412381840641063936907998167080224/90980931028284172180\ 60806361654604406229597*c_1010_3^14 + 5819879330310704441804907124090530277570173344/90980931028284172180\ 60806361654604406229597*c_1010_3^12 - 10805469176872316494913079806856945555041976768/9098093102828417218\ 060806361654604406229597*c_1010_3^10 + 8697245636441019740273483107767836268801501648/90980931028284172180\ 60806361654604406229597*c_1010_3^8 - 3147890649810630704280816498564159219065535504/90980931028284172180\ 60806361654604406229597*c_1010_3^6 + 1150156949513328691953841052080888787517041149/90980931028284172180\ 60806361654604406229597*c_1010_3^4 - 484697943635685705486271658603183300211335685/909809310282841721806\ 0806361654604406229597*c_1010_3^2 + 15336176582975481767769196183349353778200992/9098093102828417218060\ 806361654604406229597, c_0011_6 + 1973631998669108553431104905086746727433728/9098093102828417\ 218060806361654604406229597*c_1010_3^26 - 17313973243960936054747849434275366602183808/9098093102828417218060\ 806361654604406229597*c_1010_3^24 - 15263823383124031478363419557526661349138848/9098093102828417218060\ 806361654604406229597*c_1010_3^22 + 141313938357002964347097669910441288709976656/909809310282841721806\ 0806361654604406229597*c_1010_3^20 + 692234040298123501308206045197586376415016976/909809310282841721806\ 0806361654604406229597*c_1010_3^18 + 1426838306098064127535376694114583962495109064/90980931028284172180\ 60806361654604406229597*c_1010_3^16 - 1260480901658075183870697511309906674924405744/90980931028284172180\ 60806361654604406229597*c_1010_3^14 - 2655862596076470707904891979397063730879808056/90980931028284172180\ 60806361654604406229597*c_1010_3^12 + 4984745146743788628593518637921489030202000952/90980931028284172180\ 60806361654604406229597*c_1010_3^10 - 4060343867369092777175198063063950736444625504/90980931028284172180\ 60806361654604406229597*c_1010_3^8 + 1503237081468224755113721333729468651664654152/90980931028284172180\ 60806361654604406229597*c_1010_3^6 - 561545623293001488285623918947268461057067424/909809310282841721806\ 0806361654604406229597*c_1010_3^4 + 240925897919128908444280085764641215583919219/909809310282841721806\ 0806361654604406229597*c_1010_3^2 - 12159013779691997648618896078333446707596500/9098093102828417218060\ 806361654604406229597, c_0101_0 + 22575320162930115574825580986964848081864384/909809310282841\ 7218060806361654604406229597*c_1010_3^26 - 197208183291922628674720846792237376097360912/909809310282841721806\ 0806361654604406229597*c_1010_3^24 - 181966452037583574784602615708610463650609492/909809310282841721806\ 0806361654604406229597*c_1010_3^22 + 1610200707596680458478885373290511923271025466/90980931028284172180\ 60806361654604406229597*c_1010_3^20 + 7978144387674566957826525561207431654179855006/90980931028284172180\ 60806361654604406229597*c_1010_3^18 + 16612331521604496102373407392663237653757438133/9098093102828417218\ 060806361654604406229597*c_1010_3^16 - 13822052628787533509366830137324923412098830871/9098093102828417218\ 060806361654604406229597*c_1010_3^14 - 30930484970878390946772106584805118583817390531/9098093102828417218\ 060806361654604406229597*c_1010_3^12 + 55921351832471455361857981299793800830900053704/9098093102828417218\ 060806361654604406229597*c_1010_3^10 - 44280083539665353748196497750699099170738773634/9098093102828417218\ 060806361654604406229597*c_1010_3^8 + 15437064177257327572173137237060362396254473183/9098093102828417218\ 060806361654604406229597*c_1010_3^6 - 5676554649908209729418900564757171312375147383/90980931028284172180\ 60806361654604406229597*c_1010_3^4 + 2381697598872864339309385940670317894170396320/90980931028284172180\ 60806361654604406229597*c_1010_3^2 - 41117926286508964604496368177357336511503487/9098093102828417218060\ 806361654604406229597, c_0101_1 - 212059933306723380393137698678583248784629248/90980931028284\ 17218060806361654604406229597*c_1010_3^27 + 1853204722807717029326136137736606645364960384/90980931028284172180\ 60806361654604406229597*c_1010_3^25 + 1703475599488950424536546773992963075727574176/90980931028284172180\ 60806361654604406229597*c_1010_3^23 - 15136832278616167756075604726422684788362147824/9098093102828417218\ 060806361654604406229597*c_1010_3^21 - 74896643171498452878904749433904300088789836592/9098093102828417218\ 060806361654604406229597*c_1010_3^19 - 155740549825130998075283417862567446433076262032/909809310282841721\ 8060806361654604406229597*c_1010_3^17 + 130630465751361338585799550231175078305461763040/909809310282841721\ 8060806361654604406229597*c_1010_3^15 + 290665283608430177743988744753863901845270953632/909809310282841721\ 8060806361654604406229597*c_1010_3^13 - 526493896192803013534005779632796032840406974992/909809310282841721\ 8060806361654604406229597*c_1010_3^11 + 416864447812972568171760481504927597872828717120/909809310282841721\ 8060806361654604406229597*c_1010_3^9 - 145058594210039898414998255219004547741672326064/909809310282841721\ 8060806361654604406229597*c_1010_3^7 + 53021799512257405118915727922834858562908810397/9098093102828417218\ 060806361654604406229597*c_1010_3^5 - 22454910173716324777842539405526393471954595550/9098093102828417218\ 060806361654604406229597*c_1010_3^3 + 374173500758678124713009048614109702464440025/909809310282841721806\ 0806361654604406229597*c_1010_3, c_0101_4 + 203338419410142983625619206721018052518687488/90980931028284\ 17218060806361654604406229597*c_1010_3^27 - 1776892259893435982952105559107796585992526400/90980931028284172180\ 60806361654604406229597*c_1010_3^25 - 1634304899601510600252056611154734598828840400/90980931028284172180\ 60806361654604406229597*c_1010_3^23 + 14514060618327749960803319183480666223188476584/9098093102828417218\ 060806361654604406229597*c_1010_3^21 + 71823698505383236145024443842230529481124146168/9098093102828417218\ 060806361654604406229597*c_1010_3^19 + 149364452091208074371372440818870317263825258788/909809310282841721\ 8060806361654604406229597*c_1010_3^17 - 125211466455005363094662426777431707655930499044/909809310282841721\ 8060806361654604406229597*c_1010_3^15 - 278820419811770650347433691820200640865803012604/909809310282841721\ 8060806361654604406229597*c_1010_3^13 + 504737228998663537553466959643149437760143725832/909809310282841721\ 8060806361654604406229597*c_1010_3^11 - 399391442737843753205990563924688315352986329372/909809310282841721\ 8060806361654604406229597*c_1010_3^9 + 138783404333947829659465411995819175541800497228/909809310282841721\ 8060806361654604406229597*c_1010_3^7 - 50673686313326727040880896664462251164243288412/9098093102828417218\ 060806361654604406229597*c_1010_3^5 + 21473607179780186519711466796096838371817618723/9098093102828417218\ 060806361654604406229597*c_1010_3^3 - 334471584481037312643363046274353002222601078/909809310282841721806\ 0806361654604406229597*c_1010_3, c_1010_3^28 - 35/4*c_1010_3^26 - 127/16*c_1010_3^24 + 2287/32*c_1010_3^22 + 11277/32*c_1010_3^20 + 46755/64*c_1010_3^18 - 39941/64*c_1010_3^16 - 87297/64*c_1010_3^14 + 39965/16*c_1010_3^12 - 127539/64*c_1010_3^10 + 45141/64*c_1010_3^8 - 16467/64*c_1010_3^6 + 217/2*c_1010_3^4 - 91/32*c_1010_3^2 + 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB