Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 1393741630] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s809 geometric_solution 5.36484318 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 1230 3012 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 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.375860456680 0.634352876979 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734238690753 1.001716127904 3 0 4 1 3201 0132 2310 3012 0 0 0 0 0 0 0 0 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 -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.734238690753 1.001716127904 3 1 3 2 2310 0132 3201 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.107191670635 0.931515883352 5 2 1 5 0132 3201 0132 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726884338802 0.511960040167 4 5 5 4 0132 3201 2310 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.227160715695 0.445341949616 ==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' : 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_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 19909740698384704818279632486874274245807636/5945956218492811547460\ 367082476249159973*c_0101_5^18 + 3156887497055436815866070995845189\ 5302788570/5945956218492811547460367082476249159973*c_0101_5^17 - 248130605913399500208442700292472706084952108/594595621849281154746\ 0367082476249159973*c_0101_5^16 + 909002188914654949254591829403264\ 976426798/5945956218492811547460367082476249159973*c_0101_5^15 + 799482445309182573294691892783601222972125764/594595621849281154746\ 0367082476249159973*c_0101_5^14 - 192740598809316588243181788628102\ 5629890633340/5945956218492811547460367082476249159973*c_0101_5^13 - 1117241630086647988716926677017850711278233193/59459562184928115474\ 60367082476249159973*c_0101_5^12 + 6105538531241069982161253232005401104191327960/59459562184928115474\ 60367082476249159973*c_0101_5^11 + 3380947756497294695449848380663181715845321802/59459562184928115474\ 60367082476249159973*c_0101_5^10 - 557370873499530727816676153063617330255726064/594595621849281154746\ 0367082476249159973*c_0101_5^9 + 1726281949728772855668863518998290\ 6263227078/5945956218492811547460367082476249159973*c_0101_5^8 - 1283669124800841141145555617665224177538325469/59459562184928115474\ 60367082476249159973*c_0101_5^7 + 927915648486490610385805143853780\ 70986427199/5945956218492811547460367082476249159973*c_0101_5^6 + 498306674355993490494756273583870584601242306/594595621849281154746\ 0367082476249159973*c_0101_5^5 - 1394426765770268347721843079721720\ 6427827487/5945956218492811547460367082476249159973*c_0101_5^4 + 141142849165814011068930754296990691774126033/594595621849281154746\ 0367082476249159973*c_0101_5^3 + 1406856894701747997996757439428773\ 3403819081/5945956218492811547460367082476249159973*c_0101_5^2 + 4717075448774719031149071112339371414085055/59459562184928115474603\ 67082476249159973*c_0101_5 - 91868656660343749171671759948865051739\ 93804/5945956218492811547460367082476249159973, c_0011_0 - 1, c_0011_4 + 2837815732289145287638304653689319630302/5945956218492811547\ 460367082476249159973*c_0101_5^18 + 6353184292455867713324312052273023402163/59459562184928115474603670\ 82476249159973*c_0101_5^17 - 32705917221970467613115571303714704655\ 501/5945956218492811547460367082476249159973*c_0101_5^16 - 22724357411719135864217831847252644996363/5945956218492811547460367\ 082476249159973*c_0101_5^15 + 1182748670506505343052906026499825760\ 01802/5945956218492811547460367082476249159973*c_0101_5^14 - 209144383393602985379158159543674374563965/594595621849281154746036\ 7082476249159973*c_0101_5^13 - 345646820361713471729654574042596202\ 339932/5945956218492811547460367082476249159973*c_0101_5^12 + 817929698661551610302801936742448160426207/594595621849281154746036\ 7082476249159973*c_0101_5^11 + 988276929102306330883381174390189838\ 260373/5945956218492811547460367082476249159973*c_0101_5^10 + 148789021073363180532822061626570466190867/594595621849281154746036\ 7082476249159973*c_0101_5^9 + 1079930205573952212952458885070381127\ 27271/5945956218492811547460367082476249159973*c_0101_5^8 - 150096590243799062437986801989977347449974/594595621849281154746036\ 7082476249159973*c_0101_5^7 - 1256917751599410621475978997704685204\ 13601/5945956218492811547460367082476249159973*c_0101_5^6 + 120521470280500367709922256226650822132135/594595621849281154746036\ 7082476249159973*c_0101_5^5 + 1480834971499043352621069215428175153\ 6745/5945956218492811547460367082476249159973*c_0101_5^4 + 21275601461636206988092422331247476894797/5945956218492811547460367\ 082476249159973*c_0101_5^3 + 16379650295882775677590543310994523815\ 070/5945956218492811547460367082476249159973*c_0101_5^2 - 841316988174561239139391761514575887701/594595621849281154746036708\ 2476249159973*c_0101_5 + 939905441084479721534174018448013912643/59\ 45956218492811547460367082476249159973, c_0101_0 - 3308696289677805346041399185210216271171/5945956218492811547\ 460367082476249159973*c_0101_5^18 - 6018639982571230942890387549130299064710/59459562184928115474603670\ 82476249159973*c_0101_5^17 + 38808283142950167054158529277637537310\ 564/5945956218492811547460367082476249159973*c_0101_5^16 + 7379800986708180133728716566655300267390/59459562184928115474603670\ 82476249159973*c_0101_5^15 - 11802663858578322725482818937052463433\ 7619/5945956218492811547460367082476249159973*c_0101_5^14 + 291839376254878372108967823046491348782716/594595621849281154746036\ 7082476249159973*c_0101_5^13 + 209809209102590215109534268802795766\ 395682/5945956218492811547460367082476249159973*c_0101_5^12 - 862085289704574195789795254278927494330048/594595621849281154746036\ 7082476249159973*c_0101_5^11 - 705440440856947209607017409859216694\ 165083/5945956218492811547460367082476249159973*c_0101_5^10 - 415688281007397622090287962204715355320248/594595621849281154746036\ 7082476249159973*c_0101_5^9 - 2511398465747926308995500613128029451\ 58832/5945956218492811547460367082476249159973*c_0101_5^8 + 273825308567965074916604253063350774211095/594595621849281154746036\ 7082476249159973*c_0101_5^7 + 6039318575695943521903973441393063889\ 7027/5945956218492811547460367082476249159973*c_0101_5^6 - 24259409305938360038248576515331811717185/5945956218492811547460367\ 082476249159973*c_0101_5^5 - 14682375057870411850438624138196361033\ 971/5945956218492811547460367082476249159973*c_0101_5^4 - 61146923459291256858546436113548920462434/5945956218492811547460367\ 082476249159973*c_0101_5^3 - 34005789393036972709308691623352435772\ 62/5945956218492811547460367082476249159973*c_0101_5^2 - 10089565256387396117655171785081898521105/5945956218492811547460367\ 082476249159973*c_0101_5 + 1261097698135779953392742974407733547837\ /5945956218492811547460367082476249159973, c_0101_1 - 11608518278011223061101494529056104484491/594595621849281154\ 7460367082476249159973*c_0101_5^18 - 20574728139013372674423581607626779942542/5945956218492811547460367\ 082476249159973*c_0101_5^17 + 1412768207427194795604688036148950883\ 89665/5945956218492811547460367082476249159973*c_0101_5^16 + 26117888121090176733934129887211074720447/5945956218492811547460367\ 082476249159973*c_0101_5^15 - 4673810553594067351860677594065745882\ 30744/5945956218492811547460367082476249159973*c_0101_5^14 + 1042298332547672320988556473306749684226468/59459562184928115474603\ 67082476249159973*c_0101_5^13 + 86218894404563959681939841518080672\ 5250244/5945956218492811547460367082476249159973*c_0101_5^12 - 3459776601632770493805932287224675620528071/59459562184928115474603\ 67082476249159973*c_0101_5^11 - 25939271444356638493121805665829033\ 22637851/5945956218492811547460367082476249159973*c_0101_5^10 - 12054150087243484790601765989166743271197/5945956218492811547460367\ 082476249159973*c_0101_5^9 - 79134359075521847779706266188261269033\ 667/5945956218492811547460367082476249159973*c_0101_5^8 + 685912902308605410251127761942623812569840/594595621849281154746036\ 7082476249159973*c_0101_5^7 + 1068694717832732652145336770200292681\ 79162/5945956218492811547460367082476249159973*c_0101_5^6 - 286988594965348558482727711069556885967523/594595621849281154746036\ 7082476249159973*c_0101_5^5 - 1542907981307338548390043891952148692\ 6159/5945956218492811547460367082476249159973*c_0101_5^4 - 99416946198166971901046386521509184956919/5945956218492811547460367\ 082476249159973*c_0101_5^3 - 32090986984636782078030154797941134413\ 218/5945956218492811547460367082476249159973*c_0101_5^2 - 3951926784020716146184041264307938275403/59459562184928115474603670\ 82476249159973*c_0101_5 + 491356780538686145236331437623647271798/5\ 945956218492811547460367082476249159973, c_0101_2 + 22104156864298355025557567964527563541289/594595621849281154\ 7460367082476249159973*c_0101_5^18 + 35313358395542552606545258740745769737740/5945956218492811547460367\ 082476249159973*c_0101_5^17 - 2747884846599022115500214597627349438\ 87561/5945956218492811547460367082476249159973*c_0101_5^16 - 1655375932692567303566601887411086562627/59459562184928115474603670\ 82476249159973*c_0101_5^15 + 88448017294042698512815283450656853707\ 2978/5945956218492811547460367082476249159973*c_0101_5^14 - 2131690701491998422469873543913988138339748/59459562184928115474603\ 67082476249159973*c_0101_5^13 - 12536463682137221291259759115079520\ 29245104/5945956218492811547460367082476249159973*c_0101_5^12 + 6742591320968078940146506377856285717296386/59459562184928115474603\ 67082476249159973*c_0101_5^11 + 37963063579069803551226345975520093\ 01905384/5945956218492811547460367082476249159973*c_0101_5^10 - 483693401984276085834108874058060963573154/594595621849281154746036\ 7082476249159973*c_0101_5^9 + 1009859969087102760549419606523765381\ 20169/5945956218492811547460367082476249159973*c_0101_5^8 - 1434389421708787833974494278903928205730313/59459562184928115474603\ 67082476249159973*c_0101_5^7 + 141237348285479176364894551069860494\ 392316/5945956218492811547460367082476249159973*c_0101_5^6 + 572728194046684849875274819527108118950890/594595621849281154746036\ 7082476249159973*c_0101_5^5 - 3177546934073382041774905959479259192\ 3669/5945956218492811547460367082476249159973*c_0101_5^4 + 163688085280830262463527839298162558025733/594595621849281154746036\ 7082476249159973*c_0101_5^3 + 1056670125401608106998793366930266285\ 8836/5945956218492811547460367082476249159973*c_0101_5^2 + 6976470919094224071967340538000443465594/59459562184928115474603670\ 82476249159973*c_0101_5 - 5945275164833466666646469202732050772110/\ 5945956218492811547460367082476249159973, c_0101_5^19 + 5/3*c_0101_5^18 - 37/3*c_0101_5^17 - 26/27*c_0101_5^16 + 1084/27*c_0101_5^15 - 842/9*c_0101_5^14 - 1726/27*c_0101_5^13 + 8155/27*c_0101_5^12 + 5254/27*c_0101_5^11 - 377/27*c_0101_5^10 - 31/27*c_0101_5^9 - 1739/27*c_0101_5^8 - 17/27*c_0101_5^7 + 76/3*c_0101_5^6 + 4/3*c_0101_5^5 + 191/27*c_0101_5^4 + 35/27*c_0101_5^3 + 8/27*c_0101_5^2 - 4/9*c_0101_5 - 1/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB