Magma V2.19-8 Tue Aug 20 2013 16:18:39 on localhost [Seed = 543276307] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2823 geometric_solution 6.04609948 oriented_manifold CS_known 0.0000000000000004 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 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 1 -1 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.320866353629 0.828635154349 0 4 5 5 0132 3012 2310 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 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.200009252957 1.546687804035 5 0 3 4 0321 0132 2310 3201 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 1 0 -1 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.320866353629 0.828635154349 6 2 6 0 0132 3201 2310 0132 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 1 -1 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.892217024709 0.650590794123 1 2 0 5 1230 2310 0132 0213 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 -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.016903239963 0.619902707959 2 1 1 4 0321 3201 0132 0213 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 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.263829320374 0.510082889930 3 3 6 6 0132 3201 2031 1302 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 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.558750491526 0.181216761102 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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_0'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_1']), 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_1001_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_1001_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 69505212268/201667047*c_1001_0^12 - 284383807565/201667047*c_1001_0^11 - 3035321882287/403334094*c_1001_0^10 - 7243719760141/403334094*c_1001_0^9 - 5160071392207/134444698*c_1001_0^8 - 19861174835743/403334094*c_1001_0^7 - 6734593588660/201667047*c_1001_0^6 - 1873075387915/134444698*c_1001_0^5 - 992835492949/403334094*c_1001_0^4 + 518989348107/134444698*c_1001_0^3 + 1788630210959/403334094*c_1001_0^2 + 944377569235/403334094*c_1001_0 + 90945562550/201667047, c_0011_0 - 1, c_0011_3 + 90185441/67222349*c_1001_0^12 + 711649605/134444698*c_1001_0^11 + 3840505831/134444698*c_1001_0^10 + 8846954483/134444698*c_1001_0^9 + 18881381699/134444698*c_1001_0^8 + 11524801538/67222349*c_1001_0^7 + 14350807633/134444698*c_1001_0^6 + 5043626809/134444698*c_1001_0^5 + 549941807/134444698*c_1001_0^4 - 1809735753/134444698*c_1001_0^3 - 1932502989/134444698*c_1001_0^2 - 426138535/67222349*c_1001_0 - 39228784/67222349, c_0011_5 + 110012065/67222349*c_1001_0^12 + 809225257/134444698*c_1001_0^11 + 4468161765/134444698*c_1001_0^10 + 9614781479/134444698*c_1001_0^9 + 20510131217/134444698*c_1001_0^8 + 11477447042/67222349*c_1001_0^7 + 11860520807/134444698*c_1001_0^6 + 4140625203/134444698*c_1001_0^5 + 157882765/134444698*c_1001_0^4 - 2479834613/134444698*c_1001_0^3 - 2023160737/134444698*c_1001_0^2 - 387352808/67222349*c_1001_0 - 11965979/67222349, c_0101_0 + 31554497/67222349*c_1001_0^12 + 283478027/134444698*c_1001_0^11 + 746152837/67222349*c_1001_0^10 + 1941732007/67222349*c_1001_0^9 + 4282915090/67222349*c_1001_0^8 + 12336230215/134444698*c_1001_0^7 + 10666735371/134444698*c_1001_0^6 + 3047568546/67222349*c_1001_0^5 + 796230723/67222349*c_1001_0^4 - 298057075/67222349*c_1001_0^3 - 543440805/67222349*c_1001_0^2 - 824226973/134444698*c_1001_0 - 124274242/67222349, c_0101_1 - 110012065/67222349*c_1001_0^12 - 809225257/134444698*c_1001_0^11 - 4468161765/134444698*c_1001_0^10 - 9614781479/134444698*c_1001_0^9 - 20510131217/134444698*c_1001_0^8 - 11477447042/67222349*c_1001_0^7 - 11860520807/134444698*c_1001_0^6 - 4140625203/134444698*c_1001_0^5 - 157882765/134444698*c_1001_0^4 + 2479834613/134444698*c_1001_0^3 + 2023160737/134444698*c_1001_0^2 + 387352808/67222349*c_1001_0 + 11965979/67222349, c_0101_3 + 337146663/67222349*c_1001_0^12 + 2812307693/134444698*c_1001_0^11 + 7448492904/67222349*c_1001_0^10 + 36149577671/134444698*c_1001_0^9 + 76996853069/134444698*c_1001_0^8 + 50271338463/67222349*c_1001_0^7 + 34581158970/67222349*c_1001_0^6 + 14315687348/67222349*c_1001_0^5 + 5241241135/134444698*c_1001_0^4 - 7751653617/134444698*c_1001_0^3 - 9357496039/134444698*c_1001_0^2 - 2376060740/67222349*c_1001_0 - 895257437/134444698, c_1001_0^13 + 9/2*c_1001_0^12 + 47/2*c_1001_0^11 + 61*c_1001_0^10 + 265/2*c_1001_0^9 + 188*c_1001_0^8 + 309/2*c_1001_0^7 + 79*c_1001_0^6 + 23*c_1001_0^5 - 17/2*c_1001_0^4 - 35/2*c_1001_0^3 - 12*c_1001_0^2 - 4*c_1001_0 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB