Magma V2.19-8 Tue Aug 20 2013 16:16:59 on localhost [Seed = 3263389207] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1233 geometric_solution 5.13049561 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.415997147026 0.249699390241 0 2 2 0 3201 0132 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.066293291233 0.249096766376 3 1 1 4 0132 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825998025604 0.313506379440 2 4 6 5 0132 0321 0132 0132 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 0 -1 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.982276375500 0.617283027970 6 5 2 3 0132 1023 0132 0321 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 1 -1 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.982276375500 0.617283027970 4 5 3 5 1023 1302 0132 2031 0 0 0 0 0 0 1 -1 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 1 -1 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.718325685368 0.435688278682 4 6 6 3 0132 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534011088631 0.544095627006 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 8323559078246697655/3898088283089259504*c_0110_5^12 + 6222204472401158291/433120920343251056*c_0110_5^11 - 18115546506756043903/556869754727037072*c_0110_5^10 + 31119778839443953465/278434877363518536*c_0110_5^9 - 189645416464424913127/974522070772314876*c_0110_5^8 + 412694521134334983053/1299362761029753168*c_0110_5^7 - 43133214738899983151/278434877363518536*c_0110_5^6 + 1564013914383067462229/3898088283089259504*c_0110_5^5 - 131532341679967488557/1949044141544629752*c_0110_5^4 + 72985509026881051705/433120920343251056*c_0110_5^3 - 124366944912046565765/1949044141544629752*c_0110_5^2 + 4701562959542789053/185623251575679024*c_0110_5 - 31246323223118850701/1949044141544629752, c_0011_0 - 1, c_0011_1 - 594060387007/11951790069904*c_0110_5^12 + 3649028906843/11951790069904*c_0110_5^11 - 6189864827849/11951790069904*c_0110_5^10 + 11166946448355/5975895034952*c_0110_5^9 - 7138857096591/2987947517476*c_0110_5^8 + 31977814821183/11951790069904*c_0110_5^7 + 24610350290747/5975895034952*c_0110_5^6 + 26774516148621/11951790069904*c_0110_5^5 + 25416000212599/5975895034952*c_0110_5^4 - 20570804863623/11951790069904*c_0110_5^3 - 625690263649/5975895034952*c_0110_5^2 - 9845082467127/11951790069904*c_0110_5 - 2098176551353/5975895034952, c_0011_4 + 81528740907/1493973758738*c_0110_5^12 - 577053685505/1493973758738*c_0110_5^11 + 1456305536933/1493973758738*c_0110_5^10 - 2428198499381/746986879369*c_0110_5^9 + 4630305670906/746986879369*c_0110_5^8 - 15725961922425/1493973758738*c_0110_5^7 + 5933089523575/746986879369*c_0110_5^6 - 19321050274189/1493973758738*c_0110_5^5 + 3494719312322/746986879369*c_0110_5^4 - 7167281464149/1493973758738*c_0110_5^3 + 2180108477096/746986879369*c_0110_5^2 - 483932479415/1493973758738*c_0110_5 + 568836496588/746986879369, c_0101_0 - 1506248325363/11951790069904*c_0110_5^12 + 10828510264303/11951790069904*c_0110_5^11 - 27145749571413/11951790069904*c_0110_5^10 + 42974624042551/5975895034952*c_0110_5^9 - 41109896378695/2987947517476*c_0110_5^8 + 257847015228771/11951790069904*c_0110_5^7 - 77465557495993/5975895034952*c_0110_5^6 + 236541740719849/11951790069904*c_0110_5^5 - 53427942188821/5975895034952*c_0110_5^4 + 39944500043493/11951790069904*c_0110_5^3 - 30978392279669/5975895034952*c_0110_5^2 - 2701156961003/11951790069904*c_0110_5 - 3554840063909/5975895034952, c_0101_2 - 193677154783/1493973758738*c_0110_5^12 + 1423172152627/1493973758738*c_0110_5^11 - 3705281919775/1493973758738*c_0110_5^10 + 5767237163262/746986879369*c_0110_5^9 - 11304343327723/746986879369*c_0110_5^8 + 35712612611527/1493973758738*c_0110_5^7 - 11583964580708/746986879369*c_0110_5^6 + 30048034487759/1493973758738*c_0110_5^5 - 7070502373321/746986879369*c_0110_5^4 + 5443210849463/1493973758738*c_0110_5^3 - 3161294086846/746986879369*c_0110_5^2 + 396600873923/1493973758738*c_0110_5 - 477319971444/746986879369, c_0101_3 - 849891318695/11951790069904*c_0110_5^12 + 6220220793299/11951790069904*c_0110_5^11 - 16630992669425/11951790069904*c_0110_5^10 + 27065345258059/5975895034952*c_0110_5^9 - 26867054564303/2987947517476*c_0110_5^8 + 183363659405703/11951790069904*c_0110_5^7 - 75934695554261/5975895034952*c_0110_5^6 + 205890716132517/11951790069904*c_0110_5^5 - 40592777087257/5975895034952*c_0110_5^4 + 54826177045073/11951790069904*c_0110_5^3 - 13032290207345/5975895034952*c_0110_5^2 - 5831066802831/11951790069904*c_0110_5 - 5840815050113/5975895034952, c_0110_5^13 - 7*c_0110_5^12 + 17*c_0110_5^11 - 56*c_0110_5^10 + 104*c_0110_5^9 - 169*c_0110_5^8 + 104*c_0110_5^7 - 191*c_0110_5^6 + 68*c_0110_5^5 - 67*c_0110_5^4 + 44*c_0110_5^3 - 3*c_0110_5^2 + 12*c_0110_5 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB