Magma V2.19-8 Tue Aug 20 2013 16:18:53 on localhost [Seed = 408520046] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3041 geometric_solution 6.21299428 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 -1 -1 2 0 0 0 0 -1 1 0 0 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 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.718231785041 0.450284784124 0 3 0 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.718231785041 0.450284784124 5 0 3 0 0132 0132 3120 1023 0 0 0 0 0 1 -1 0 1 0 1 -2 -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 1 -1 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 1.393161125567 0.625937062544 6 1 2 4 0132 0132 3120 1230 0 0 0 0 0 0 -1 1 1 0 -1 0 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 0 0 0 1 0 -1 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.470730047891 0.957736032495 3 5 1 5 3012 3201 0132 0213 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673125926921 0.591150099153 2 6 4 4 0132 3201 2310 0213 0 0 0 0 0 0 0 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 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.538126593198 0.445678997265 3 6 5 6 0132 1302 2310 2031 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 -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.652349559922 0.800587224882 ==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' : 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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_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' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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_0011_4']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 12782751332803/6883189176246*c_0101_5^15 - 27241675119320/3441594588123*c_0101_5^14 - 33954359113207/6883189176246*c_0101_5^13 - 67976207673515/3441594588123*c_0101_5^12 + 65192270352437/6883189176246*c_0101_5^11 + 286584535872785/6883189176246*c_0101_5^10 + 468634251042067/6883189176246*c_0101_5^9 + 194562050059307/3441594588123*c_0101_5^8 - 169493748725699/2294396392082*c_0101_5^7 - 702336674203717/6883189176246*c_0101_5^6 - 519570750692371/3441594588123*c_0101_5^5 - 64365384083119/6883189176246*c_0101_5^4 + 684064711551149/6883189176246*c_0101_5^3 + 289454976063083/2294396392082*c_0101_5^2 + 174879017044360/3441594588123*c_0101_5 + 100434726845723/6883189176246, c_0011_0 - 1, c_0011_4 - 18320830913/1147198196041*c_0101_5^15 + 91445365243/1147198196041*c_0101_5^14 + 50001114250/1147198196041*c_0101_5^13 - 87927627270/1147198196041*c_0101_5^12 - 371364686421/1147198196041*c_0101_5^11 - 981992859642/1147198196041*c_0101_5^10 - 489200480670/1147198196041*c_0101_5^9 + 788308537194/1147198196041*c_0101_5^8 + 2382428098272/1147198196041*c_0101_5^7 + 2430295219285/1147198196041*c_0101_5^6 - 858846434533/1147198196041*c_0101_5^5 - 2300420155626/1147198196041*c_0101_5^4 - 4650459314654/1147198196041*c_0101_5^3 - 1493226202780/1147198196041*c_0101_5^2 + 2482863964084/1147198196041*c_0101_5 + 1354522445310/1147198196041, c_0101_0 + 440761724175/1147198196041*c_0101_5^15 - 1448586695013/1147198196041*c_0101_5^14 - 2696679242978/1147198196041*c_0101_5^13 - 6626747133254/1147198196041*c_0101_5^12 - 4561134036661/1147198196041*c_0101_5^11 + 5144645071717/1147198196041*c_0101_5^10 + 17221298680659/1147198196041*c_0101_5^9 + 23910471325738/1147198196041*c_0101_5^8 + 3127581110324/1147198196041*c_0101_5^7 - 18081381091466/1147198196041*c_0101_5^6 - 36134204430687/1147198196041*c_0101_5^5 - 25839632273589/1147198196041*c_0101_5^4 + 3117022052529/1147198196041*c_0101_5^3 + 19944562345377/1147198196041*c_0101_5^2 + 9267499229169/1147198196041*c_0101_5 + 1898937185785/1147198196041, c_0101_1 - 440761724175/1147198196041*c_0101_5^15 + 1448586695013/1147198196041*c_0101_5^14 + 2696679242978/1147198196041*c_0101_5^13 + 6626747133254/1147198196041*c_0101_5^12 + 4561134036661/1147198196041*c_0101_5^11 - 5144645071717/1147198196041*c_0101_5^10 - 17221298680659/1147198196041*c_0101_5^9 - 23910471325738/1147198196041*c_0101_5^8 - 3127581110324/1147198196041*c_0101_5^7 + 18081381091466/1147198196041*c_0101_5^6 + 36134204430687/1147198196041*c_0101_5^5 + 25839632273589/1147198196041*c_0101_5^4 - 3117022052529/1147198196041*c_0101_5^3 - 19944562345377/1147198196041*c_0101_5^2 - 9267499229169/1147198196041*c_0101_5 - 1898937185785/1147198196041, c_0101_2 + 511282784686/1147198196041*c_0101_5^15 - 1790033151426/1147198196041*c_0101_5^14 - 2722476007863/1147198196041*c_0101_5^13 - 7215987529833/1147198196041*c_0101_5^12 - 3744209908225/1147198196041*c_0101_5^11 + 6747746060501/1147198196041*c_0101_5^10 + 18782787769059/1147198196041*c_0101_5^9 + 24620286021974/1147198196041*c_0101_5^8 - 1357606716781/1147198196041*c_0101_5^7 - 20232325173627/1147198196041*c_0101_5^6 - 38961144933930/1147198196041*c_0101_5^5 - 23093298182411/1147198196041*c_0101_5^4 + 7182234028855/1147198196041*c_0101_5^3 + 20999566467206/1147198196041*c_0101_5^2 + 8030534248961/1147198196041*c_0101_5 + 1569716337931/1147198196041, c_0101_3 - 45603921432/1147198196041*c_0101_5^15 + 128700809508/1147198196041*c_0101_5^14 + 402715921968/1147198196041*c_0101_5^13 + 610456109858/1147198196041*c_0101_5^12 + 531259896844/1147198196041*c_0101_5^11 - 916446814368/1147198196041*c_0101_5^10 - 2031271570527/1147198196041*c_0101_5^9 - 2137853584763/1147198196041*c_0101_5^8 + 527718294768/1147198196041*c_0101_5^7 + 3582261797635/1147198196041*c_0101_5^6 + 2994597056730/1147198196041*c_0101_5^5 + 1630994580274/1147198196041*c_0101_5^4 - 2780189631475/1147198196041*c_0101_5^3 - 2457514235497/1147198196041*c_0101_5^2 + 30970947839/1147198196041*c_0101_5 + 1503769652770/1147198196041, c_0101_5^16 - 3*c_0101_5^15 - 7*c_0101_5^14 - 17*c_0101_5^13 - 15*c_0101_5^12 + 8*c_0101_5^11 + 42*c_0101_5^10 + 67*c_0101_5^9 + 25*c_0101_5^8 - 36*c_0101_5^7 - 95*c_0101_5^6 - 87*c_0101_5^5 - 16*c_0101_5^4 + 44*c_0101_5^3 + 37*c_0101_5^2 + 15*c_0101_5 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB