Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 3170705506] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1489 geometric_solution 5.30148914 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -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.527583976450 1.199751571579 0 4 2 3 0132 1302 1302 1302 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 1 -1 0 0 0 0 0 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692863117382 0.698444179616 1 0 2 2 2031 0132 2031 1302 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 1 -2 1 1 0 -1 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645177204756 1.082441460665 3 3 1 0 1230 3012 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189838444791 0.532531582534 5 5 0 1 0132 2310 0132 2031 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 -1 0 1 0 0 -1 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.948522814486 0.400774561404 4 6 6 4 0132 0132 3201 3201 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 -1 0 0 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.039999619135 0.647283121238 5 5 6 6 2310 0132 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 2.221474057698 0.629993637741 ==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' : negation(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_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' : negation(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_0101_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_1010_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_1010_1']), 'c_1100_3' : negation(d['c_1010_1']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_1010_1'], '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_3, c_0011_4, c_0101_2, c_0101_5, c_0101_6, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 12685518332153079107055360739049/109982276499543340966118445206312*\ c_1010_1^17 - 232832231358271646973767849049/2894270434198508972792\ 590663324*c_1010_1^16 + 29936804543682276385417659354729/2749556912\ 4885835241529611301578*c_1010_1^15 + 104724241163886157301462814074145/54991138249771670483059222603156*\ c_1010_1^14 + 343487164582532469510969850388993/5499113824977167048\ 3059222603156*c_1010_1^13 + 460355097866823234059018943579613/10998\ 2276499543340966118445206312*c_1010_1^12 - 139093636670953247141310560779665/54991138249771670483059222603156*\ c_1010_1^11 - 1141744608805575575905674528330497/549911382497716704\ 83059222603156*c_1010_1^10 - 5661794390217685319759965223073149/109\ 982276499543340966118445206312*c_1010_1^9 - 4291352661328694366875680629777157/54991138249771670483059222603156\ *c_1010_1^8 - 14805687478709730757171106086707401/10998227649954334\ 0966118445206312*c_1010_1^7 - 1494064912338501964062558979090170/13\ 747784562442917620764805650789*c_1010_1^6 - 11977174430771805285228375754405613/1099822764995433409661184452063\ 12*c_1010_1^5 + 253370956244752031944927651522385/10998227649954334\ 0966118445206312*c_1010_1^4 + 7666226028415546412010010221062311/10\ 9982276499543340966118445206312*c_1010_1^3 + 809716769860074588355507535754039/27495569124885835241529611301578*\ c_1010_1^2 + 5088922636412630649417339133361977/5499113824977167048\ 3059222603156*c_1010_1 - 1263886438945311138742303670486017/2749556\ 9124885835241529611301578, c_0011_0 - 1, c_0011_3 - 47896009364699604564743275029/578854086839701794558518132664\ 8*c_1010_1^17 - 4460175997892561897515390261/1447135217099254486396\ 295331662*c_1010_1^16 + 235833251380343857039235867389/289427043419\ 8508972792590663324*c_1010_1^15 + 324088926900847132026402110813/28\ 94270434198508972792590663324*c_1010_1^14 + 1126161671307818918922289977889/2894270434198508972792590663324*c_1\ 010_1^13 + 780907946012372222139980461609/5788540868397017945585181\ 326648*c_1010_1^12 - 255823103929381494876205637906/723567608549627\ 243198147665831*c_1010_1^11 - 1077094766360342837190386512004/72356\ 7608549627243198147665831*c_1010_1^10 - 18362298440278217073247785193333/5788540868397017945585181326648*c_\ 1010_1^9 - 3048465559744550750418141143327/723567608549627243198147\ 665831*c_1010_1^8 - 41813751668114231500925938175255/57885408683970\ 17945585181326648*c_1010_1^7 - 10786625660897122395342011724711/289\ 4270434198508972792590663324*c_1010_1^6 - 20737123474966123078298019271515/5788540868397017945585181326648*c_\ 1010_1^5 + 24316614506897571816969410434075/57885408683970179455851\ 81326648*c_1010_1^4 + 39030862988554433235681433409191/578854086839\ 7017945585181326648*c_1010_1^3 + 1131367419424343276814637573658/72\ 3567608549627243198147665831*c_1010_1^2 + 8951381991531481401539364335337/1447135217099254486396295331662*c_1\ 010_1 - 3681649891768373878906283672845/723567608549627243198147665\ 831, c_0011_4 - 65511337967375369427550623/7208643671727295075448544616*c_10\ 10_1^17 - 18636378210963882981507619/3604321835863647537724272308*c\ _1010_1^16 + 320059897243561764249663885/36043218358636475377242723\ 08*c_1010_1^15 + 508987526696575675469999969/3604321835863647537724\ 272308*c_1010_1^14 + 1633685612805754898884076761/36043218358636475\ 37724272308*c_1010_1^13 + 1619717691188829687217052111/720864367172\ 7295075448544616*c_1010_1^12 - 1357322239290290025964938259/3604321\ 835863647537724272308*c_1010_1^11 - 3137007024379548695336922369/1802160917931823768862136154*c_1010_1^\ 10 - 27923480690548540882840960431/7208643671727295075448544616*c_1\ 010_1^9 - 18885902985685288421105502845/360432183586364753772427230\ 8*c_1010_1^8 - 62984806152794457166101977329/7208643671727295075448\ 544616*c_1010_1^7 - 4706913656367127221700715936/901080458965911884\ 431068077*c_1010_1^6 - 29828047663105683931389744265/72086436717272\ 95075448544616*c_1010_1^5 + 33951482766333205488179757739/720864367\ 1727295075448544616*c_1010_1^4 + 64840593101385959016393668303/7208\ 643671727295075448544616*c_1010_1^3 + 11041667793641059662771598833/3604321835863647537724272308*c_1010_1\ ^2 + 5909073960710465362282454843/901080458965911884431068077*c_101\ 0_1 - 5313618668930401159055051673/901080458965911884431068077, c_0101_2 - 4382343902389856297211297334/723567608549627243198147665831*\ c_1010_1^17 - 7775232120347498861912515279/289427043419850897279259\ 0663324*c_1010_1^16 + 43307245409575370345085486788/723567608549627\ 243198147665831*c_1010_1^15 + 126169329984320227698506884617/144713\ 5217099254486396295331662*c_1010_1^14 + 417602764161409717280002016863/1447135217099254486396295331662*c_10\ 10_1^13 + 149019833212330299907841368275/14471352170992544863962953\ 31662*c_1010_1^12 - 845708742011582336220430984245/2894270434198508\ 972792590663324*c_1010_1^11 - 822782896559316666871126802790/723567\ 608549627243198147665831*c_1010_1^10 - 1759285072671395401892342884190/723567608549627243198147665831*c_10\ 10_1^9 - 8886921365623679831920225618407/28942704341985089727925906\ 63324*c_1010_1^8 - 3782865714304502898562912214781/7235676085496272\ 43198147665831*c_1010_1^7 - 7375541880735850128248584895557/2894270\ 434198508972792590663324*c_1010_1^6 - 2970223593585685790889990583907/1447135217099254486396295331662*c_1\ 010_1^5 + 11345266352803082965656966415859/289427043419850897279259\ 0663324*c_1010_1^4 + 17388705382447093088995138222073/2894270434198\ 508972792590663324*c_1010_1^3 + 3322517205603790116647626942077/289\ 4270434198508972792590663324*c_1010_1^2 + 3377263815290781232413724795086/723567608549627243198147665831*c_10\ 10_1 - 3295515340649738312927057569919/7235676085496272431981476658\ 31, c_0101_5 - 25317380225083308763852203/3604321835863647537724272308*c_10\ 10_1^17 - 12257295150764273054883835/3604321835863647537724272308*c\ _1010_1^16 + 62512144708386450623297193/901080458965911884431068077\ *c_1010_1^15 + 92388457767742233739339624/9010804589659118844310680\ 77*c_1010_1^14 + 302847680212949409748471038/9010804589659118844310\ 68077*c_1010_1^13 + 532956673887108978502018373/3604321835863647537\ 724272308*c_1010_1^12 - 1098788437121863963422306813/36043218358636\ 47537724272308*c_1010_1^11 - 2300420237288400966134978471/180216091\ 7931823768862136154*c_1010_1^10 - 10166119070762721781519111299/360\ 4321835863647537724272308*c_1010_1^9 - 13590520321321350879017001859/3604321835863647537724272308*c_1010_1\ ^8 - 23412564941361020860791693747/3604321835863647537724272308*c_1\ 010_1^7 - 13405030166216760276932389987/360432183586364753772427230\ 8*c_1010_1^6 - 11343611323173982882119024373/3604321835863647537724\ 272308*c_1010_1^5 + 2831890192323495744135183388/901080458965911884\ 431068077*c_1010_1^4 + 5424956048580667698635563271/901080458965911\ 884431068077*c_1010_1^3 + 4245000961366920204409835543/360432183586\ 3647537724272308*c_1010_1^2 + 8685061592562125404997288061/18021609\ 17931823768862136154*c_1010_1 - 3593844250030203776310943148/901080\ 458965911884431068077, c_0101_6 + 12000483684670138010945943/3604321835863647537724272308*c_10\ 10_1^17 + 2380106276289735629489317/3604321835863647537724272308*c_\ 1010_1^16 - 63245767571410567267258087/1802160917931823768862136154\ *c_1010_1^15 - 36377696430749314961662634/9010804589659118844310680\ 77*c_1010_1^14 - 115451992556913185302056174/9010804589659118844310\ 68077*c_1010_1^13 + 14763985836396943522500667/36043218358636475377\ 24272308*c_1010_1^12 + 903563571094080649778257931/3604321835863647\ 537724272308*c_1010_1^11 + 555876206276913051818956656/901080458965\ 911884431068077*c_1010_1^10 + 3941136146344991380056113047/36043218\ 35863647537724272308*c_1010_1^9 + 3828378820517271456591567525/3604\ 321835863647537724272308*c_1010_1^8 + 6641040905970735410945334729/3604321835863647537724272308*c_1010_1^\ 7 - 604824527528053711142774731/3604321835863647537724272308*c_1010\ _1^6 - 2518888174506273045657693701/3604321835863647537724272308*c_\ 1010_1^5 - 5655309629438557150284465389/180216091793182376886213615\ 4*c_1010_1^4 - 3167135906517345812367860689/90108045896591188443106\ 8077*c_1010_1^3 + 698477665810828792785781781/360432183586364753772\ 4272308*c_1010_1^2 - 1025080928806933660378298740/90108045896591188\ 4431068077*c_1010_1 + 2616656811547355024901236800/9010804589659118\ 84431068077, c_1010_1^18 - 10*c_1010_1^16 - 10*c_1010_1^15 - 42*c_1010_1^14 + 3*c_1010_1^13 + 52*c_1010_1^12 + 168*c_1010_1^11 + 321*c_1010_1^10 + 348*c_1010_1^9 + 659*c_1010_1^8 + 66*c_1010_1^7 + 191*c_1010_1^6 - 771*c_1010_1^5 - 687*c_1010_1^4 + 180*c_1010_1^3 - 612*c_1010_1^2 + 1024*c_1010_1 - 304 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB