Magma V2.19-8 Tue Aug 20 2013 16:19:09 on localhost [Seed = 2118116101] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3278 geometric_solution 6.40115869 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 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 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 1.354401916296 1.547861280912 0 4 2 5 0132 0132 0132 0132 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 1 -1 0 -1 0 0 1 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.430057872917 0.845576458491 4 0 6 1 3201 0132 0132 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 -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.430057872917 0.845576458491 5 0 6 0 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 -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.427411302735 0.284632369485 4 1 4 2 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.243361298656 0.707365660313 3 6 1 6 0132 2031 0132 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 0 0 0 0 0 -1 1 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.799765606790 0.818795640382 5 3 5 2 1302 3201 1230 0132 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 0 1 -1 0 -1 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.799765606790 0.818795640382 ==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' : negation(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' : negation(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' : d['c_0101_3'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], '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_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), '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_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2']})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 45166640035388148162481694/5829305742305251515383751*c_1001_2^18 + 330727552638933667336508843/11658611484610503030767502*c_1001_2^17 - 47555604353939825123815222/342900337782661853846103*c_1001_2^16 - 4185118423551962880334576691/5829305742305251515383751*c_1001_2^15 + 2377612130274774622054834291/11658611484610503030767502*c_1001_2^14 + 8156998273182742671216778634/1943101914101750505127917*c_1001_2^1\ 3 + 16584484205219861286852849424/5829305742305251515383751*c_1001_\ 2^12 - 11499142660022379086710579285/1943101914101750505127917*c_10\ 01_2^11 - 11931126816479826623523287959/3886203828203501010255834*c\ _1001_2^10 + 14036111909823323269405463726/194310191410175050512791\ 7*c_1001_2^9 + 27044309927479405273092707209/1165861148461050303076\ 7502*c_1001_2^8 - 31851145341817639397083907083/5829305742305251515\ 383751*c_1001_2^7 - 10663183170342416071466770907/38862038282035010\ 10255834*c_1001_2^6 + 196729705094372814442689913/19431019141017505\ 05127917*c_1001_2^5 - 2126492216789488900344684761/5829305742305251\ 515383751*c_1001_2^4 - 12077444415262998272678684099/11658611484610\ 503030767502*c_1001_2^3 - 5916064883598132157114004264/582930574230\ 5251515383751*c_1001_2^2 - 5149061576226892384726854637/11658611484\ 610503030767502*c_1001_2 - 368370483568398081012927511/582930574230\ 5251515383751, c_0011_0 - 1, c_0011_3 + 62800596346630110031390/647700638033916835042639*c_1001_2^18 + 198661218226594477339932/647700638033916835042639*c_1001_2^17 - 73473537043133786844056/38100037531406872649567*c_1001_2^16 - 5277972906701981460373574/647700638033916835042639*c_1001_2^15 + 4786478563168516747867741/647700638033916835042639*c_1001_2^14 + 33758584530778177718165350/647700638033916835042639*c_1001_2^13 + 4505717457882957832101172/647700638033916835042639*c_1001_2^12 - 62970499785280741610027254/647700638033916835042639*c_1001_2^11 + 3313332230549549628064712/647700638033916835042639*c_1001_2^10 + 76325606195910141652506665/647700638033916835042639*c_1001_2^9 - 18346961297706022307324652/647700638033916835042639*c_1001_2^8 - 56946039203045659318552336/647700638033916835042639*c_1001_2^7 + 7745617199973127454715388/647700638033916835042639*c_1001_2^6 + 12707066196245891919310089/647700638033916835042639*c_1001_2^5 - 6713324752028854306453198/647700638033916835042639*c_1001_2^4 - 6273895592185735588219533/647700638033916835042639*c_1001_2^3 - 3445498936439778253758041/647700638033916835042639*c_1001_2^2 + 547359833489853395033633/647700638033916835042639*c_1001_2 + 980913363661428536826050/647700638033916835042639, c_0101_0 + c_1001_2, c_0101_1 + 87620511623290193359983/647700638033916835042639*c_1001_2^18 + 261896868257328112512313/647700638033916835042639*c_1001_2^17 - 102641916840318701281464/38100037531406872649567*c_1001_2^16 - 6972151318091154372737646/647700638033916835042639*c_1001_2^15 + 6940885366622469065486388/647700638033916835042639*c_1001_2^14 + 43362270835833854971663458/647700638033916835042639*c_1001_2^13 + 4694106910840179286056011/647700638033916835042639*c_1001_2^12 - 72966770789253026482882330/647700638033916835042639*c_1001_2^11 + 3759298059550312075501207/647700638033916835042639*c_1001_2^10 + 82826121350614255158143057/647700638033916835042639*c_1001_2^9 - 13297428518481832547782100/647700638033916835042639*c_1001_2^8 - 63263567085101837308143617/647700638033916835042639*c_1001_2^7 - 2441712134096657194650175/647700638033916835042639*c_1001_2^6 + 15001688056365922410700279/647700638033916835042639*c_1001_2^5 - 6899098417565498619037686/647700638033916835042639*c_1001_2^4 - 10139322105252094505551468/647700638033916835042639*c_1001_2^3 - 4122614933738635219746473/647700638033916835042639*c_1001_2^2 + 358146894270364779250628/647700638033916835042639*c_1001_2 + 826979887003816037200269/647700638033916835042639, c_0101_2 - 88165890672780069115172/647700638033916835042639*c_1001_2^18 - 243929896479838836863793/647700638033916835042639*c_1001_2^17 + 106002364261345038865010/38100037531406872649567*c_1001_2^16 + 6593668056118606681953383/647700638033916835042639*c_1001_2^15 - 8280985421654386579157392/647700638033916835042639*c_1001_2^14 - 41206176444454352762094347/647700638033916835042639*c_1001_2^13 + 3532463175871649577964949/647700638033916835042639*c_1001_2^12 + 68822824449198918781901954/647700638033916835042639*c_1001_2^11 - 17537740613212858112608991/647700638033916835042639*c_1001_2^10 - 72164939591158981957916591/647700638033916835042639*c_1001_2^9 + 23960147907617151388145435/647700638033916835042639*c_1001_2^8 + 50170736222578195420572477/647700638033916835042639*c_1001_2^7 - 86991916254646762552822/647700638033916835042639*c_1001_2^6 - 10629873089289761979113662/647700638033916835042639*c_1001_2^5 + 4257411857326114775234861/647700638033916835042639*c_1001_2^4 + 8197589632281073428270058/647700638033916835042639*c_1001_2^3 + 4283942083596733292729875/647700638033916835042639*c_1001_2^2 + 233192895987642964118205/647700638033916835042639*c_1001_2 - 965630635693798558520471/647700638033916835042639, c_0101_3 + 57331457331214848813881/647700638033916835042639*c_1001_2^18 + 205307856888256111233011/647700638033916835042639*c_1001_2^17 - 63921675618805343756432/38100037531406872649567*c_1001_2^16 - 5343414483992221668521310/647700638033916835042639*c_1001_2^15 + 2847142527320319208201370/647700638033916835042639*c_1001_2^14 + 34045246987942317074317877/647700638033916835042639*c_1001_2^13 + 13907908140154884102212496/647700638033916835042639*c_1001_2^12 - 64979950983968151962675215/647700638033916835042639*c_1001_2^11 - 13769935273327288498642659/647700638033916835042639*c_1001_2^10 + 87613818421894703738005234/647700638033916835042639*c_1001_2^9 - 3120845841679209324936302/647700638033916835042639*c_1001_2^8 - 72294636763478534834128464/647700638033916835042639*c_1001_2^7 + 2253063128178044511469150/647700638033916835042639*c_1001_2^6 + 20294402413285600619950362/647700638033916835042639*c_1001_2^5 - 7309371380492614867485055/647700638033916835042639*c_1001_2^4 - 9192329473182733830863402/647700638033916835042639*c_1001_2^3 - 3594798930319183084642950/647700638033916835042639*c_1001_2^2 + 389716938372528523655281/647700638033916835042639*c_1001_2 + 1127247946845187092006243/647700638033916835042639, c_1001_2^19 + 3*c_1001_2^18 - 20*c_1001_2^17 - 80*c_1001_2^16 + 81*c_1001_2^15 + 502*c_1001_2^14 + 41*c_1001_2^13 - 871*c_1001_2^12 + 81*c_1001_2^11 + 999*c_1001_2^10 - 224*c_1001_2^9 - 739*c_1001_2^8 + 22*c_1001_2^7 + 162*c_1001_2^6 - 76*c_1001_2^5 - 111*c_1001_2^4 - 51*c_1001_2^3 + 4*c_1001_2^2 + 12*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB