Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 458917837] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1524 geometric_solution 5.32271871 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.562919874629 1.388738096869 0 3 2 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 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 -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.038514482696 0.882917449700 3 0 4 1 0132 0132 3201 0132 0 0 0 0 0 0 1 -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 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.038514482696 0.882917449700 2 1 5 5 0132 0132 0132 2310 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.388710462170 0.760899284918 2 4 1 4 2310 2310 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -1 0 1 0 -1 -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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.049312639634 1.130457609070 3 6 6 3 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.303275613715 0.627872829359 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 1 -1 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 0 0 0 0 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.359861582907 0.474822935293 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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_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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_2'], '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' : negation(d['c_0101_0'])})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 253102480499313054833768504/4915628665115149286197065*c_0101_6^11 - 92957143177833773535803843/327708577674343285746471*c_0101_6^9 + 2546318934907225921640690/109236192558114428582157*c_0101_6^7 - 5248101720356529345777575108/4915628665115149286197065*c_0101_6^5 + 4611139596711506254780837234/4915628665115149286197065*c_0101_6^3 + 64557840749297909380820236/546180962790572142910785*c_0101_6, c_0011_0 - 1, c_0011_4 - 9470166368710507780/13999255742421431319*c_0101_6^11 + 17029812365040996240/4666418580807143773*c_0101_6^9 + 647768904651995540/4666418580807143773*c_0101_6^7 + 194520043052925110671/13999255742421431319*c_0101_6^5 - 153290555636820800192/13999255742421431319*c_0101_6^3 - 13117788670225026634/4666418580807143773*c_0101_6, c_0011_5 + 17399787803253107/93954736526318331*c_0101_6^10 - 33007656623030855/31318245508772777*c_0101_6^8 + 7543455004595663/31318245508772777*c_0101_6^6 - 344528367918530975/93954736526318331*c_0101_6^4 + 338935116589299739/93954736526318331*c_0101_6^2 - 5219335111604565/31318245508772777, c_0101_0 + 5591463313578822416/13999255742421431319*c_0101_6^10 - 10278308085920966934/4666418580807143773*c_0101_6^8 + 962677983608316838/4666418580807143773*c_0101_6^6 - 116508158887629054452/13999255742421431319*c_0101_6^4 + 97543264356758774557/13999255742421431319*c_0101_6^2 + 5839046491080424188/4666418580807143773, c_0101_1 + 114855668645526182/281864209578954993*c_0101_6^11 - 206276340330402328/93954736526318331*c_0101_6^9 - 4528042263258493/31318245508772777*c_0101_6^7 - 2287270709089794761/281864209578954993*c_0101_6^5 + 1788881855034397327/281864209578954993*c_0101_6^3 + 87773683155539374/31318245508772777*c_0101_6, c_0101_2 - 5833154928384697/31318245508772777*c_0101_6^10 + 33545701603496804/31318245508772777*c_0101_6^8 - 10620361856718016/31318245508772777*c_0101_6^6 + 123617340792977241/31318245508772777*c_0101_6^4 - 145615524120996801/31318245508772777*c_0101_6^2 - 5346241700948493/31318245508772777, c_0101_6^12 - 9186/1681*c_0101_6^10 + 315/1681*c_0101_6^8 - 34672/1681*c_0101_6^6 + 29243/1681*c_0101_6^4 + 6075/1681*c_0101_6^2 + 459/1681 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB