Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 2951623542] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1823 geometric_solution 5.48162025 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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.434271065238 0.238934493114 0 3 0 3 0132 0132 2310 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.767621332849 0.972539367664 4 0 5 0 0132 2310 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798107601912 0.733604874550 1 1 4 5 3201 0132 3012 3012 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 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 0 0 0 0 0.348729687888 1.267159146942 2 3 4 4 0132 1230 1230 3012 0 0 0 0 0 0 -1 1 -1 0 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 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.085789082612 1.139701058224 6 6 3 2 0132 3201 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143032305249 1.866944709356 5 6 5 6 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.527598230737 0.801912659474 ==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' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), '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' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 1/2, c_0011_0 - 1, c_0011_2 + 1, c_0011_5 + 1, c_0101_0 - c_0101_5, c_0101_1 + 1, c_0101_2 - 1, c_0101_5^2 - 2 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 181969728270567244483093343/215511924114708476853804020*c_0101_5^22 - 4196128472405609413764590111/215511924114708476853804020*c_0101_5\ ^20 - 3204281548141726176164244403/215511924114708476853804020*c_01\ 01_5^18 + 38268730677412521148534914381/107755962057354238426902010\ *c_0101_5^16 + 91827167835567546566256836421/5387798102867711921345\ 1005*c_0101_5^14 + 233283188617464093639687503146/53877981028677119\ 213451005*c_0101_5^12 + 90741999022734379556617549039/4310238482294\ 1695370760804*c_0101_5^10 - 719260885422175702246309907547/10775596\ 2057354238426902010*c_0101_5^8 - 86698570914505528022959656878/5387\ 7981028677119213451005*c_0101_5^6 + 57405523075099570761908400073/107755962057354238426902010*c_0101_5^\ 4 + 78652174929487106647125652067/215511924114708476853804020*c_010\ 1_5^2 + 1387778512112358033330745032/53877981028677119213451005, c_0011_0 - 1, c_0011_2 + 67482877147437765654217/10775596205735423842690201*c_0101_5^\ 22 - 1554981195092595727464357/10775596205735423842690201*c_0101_5^\ 20 - 1216659984954481895472348/10775596205735423842690201*c_0101_5^\ 18 + 28411695951899038405274798/10775596205735423842690201*c_0101_5\ ^16 + 136737880479485997350982779/10775596205735423842690201*c_0101\ _5^14 + 347383135255584552948089926/10775596205735423842690201*c_01\ 01_5^12 + 169875032696216656816588778/10775596205735423842690201*c_\ 0101_5^10 - 540180362896286535941725433/10775596205735423842690201*\ c_0101_5^8 - 137871076266563268061377446/10775596205735423842690201\ *c_0101_5^6 + 68010637572756907604795208/10775596205735423842690201\ *c_0101_5^4 + 29422536896349516836496295/10775596205735423842690201\ *c_0101_5^2 - 6518148424717176032743567/10775596205735423842690201, c_0011_5 - 171062528148286686665170/10775596205735423842690201*c_0101_5\ ^22 + 3959007782134590288455034/10775596205735423842690201*c_0101_5\ ^20 + 2680593346854736621464590/10775596205735423842690201*c_0101_5\ ^18 - 72208787407445238618927995/10775596205735423842690201*c_0101_\ 5^16 - 339271115176282312756699207/10775596205735423842690201*c_010\ 1_5^14 - 848006216793915163022114522/10775596205735423842690201*c_0\ 101_5^12 - 351681230022466915827102414/10775596205735423842690201*c\ _0101_5^10 + 1391561891812752342159469831/1077559620573542384269020\ 1*c_0101_5^8 + 215697364792894008048192837/107755962057354238426902\ 01*c_0101_5^6 - 143361108199497398716918494/10775596205735423842690\ 201*c_0101_5^4 - 79473575184291936188379056/10775596205735423842690\ 201*c_0101_5^2 - 3154504938380705414947237/107755962057354238426902\ 01, c_0101_0 + 2128723890509123904973317/21551192411470847685380402*c_0101_\ 5^23 - 49095615236004725345694725/21551192411470847685380402*c_0101\ _5^21 - 37335791529488162739564309/21551192411470847685380402*c_010\ 1_5^19 + 448248676991870501939868918/10775596205735423842690201*c_0\ 101_5^17 + 2147144120148425592477455176/10775596205735423842690201*\ c_0101_5^15 + 5440518712654418633679107761/107755962057354238426902\ 01*c_0101_5^13 + 5174125495622485500115255117/215511924114708476853\ 80402*c_0101_5^11 - 8544274817959110098981617856/107755962057354238\ 42690201*c_0101_5^9 - 2073892574648917619365507843/1077559620573542\ 3842690201*c_0101_5^7 + 825448892901010289367758837/107755962057354\ 23842690201*c_0101_5^5 + 1007103454057885721761080813/2155119241147\ 0847685380402*c_0101_5^3 + 36567903709433324217676532/1077559620573\ 5423842690201*c_0101_5, c_0101_1 + 1, c_0101_2 - 173211029470054800919469/10775596205735423842690201*c_0101_5\ ^22 + 3992990361709068938703742/10775596205735423842690201*c_0101_5\ ^20 + 3084451566440006947569323/10775596205735423842690201*c_0101_5\ ^18 - 73009326803202451020951806/10775596205735423842690201*c_0101_\ 5^16 - 350164393761761468434502591/10775596205735423842690201*c_010\ 1_5^14 - 887442483644160898425023366/10775596205735423842690201*c_0\ 101_5^12 - 424082607042316912270414839/10775596205735423842690201*c\ _0101_5^10 + 1398396103425821517887029701/1077559620573542384269020\ 1*c_0101_5^8 + 342400538674740666770640601/107755962057354238426902\ 01*c_0101_5^6 - 172282726506972673113965728/10775596205735423842690\ 201*c_0101_5^4 - 75349387987653194770986215/10775596205735423842690\ 201*c_0101_5^2 - 834095468325173527826749/1077559620573542384269020\ 1, c_0101_5^24 - 23*c_0101_5^22 - 19*c_0101_5^20 + 420*c_0101_5^18 + 2044*c_0101_5^16 + 5240*c_0101_5^14 + 2757*c_0101_5^12 - 7868*c_0101_5^10 - 2456*c_0101_5^8 + 646*c_0101_5^6 + 537*c_0101_5^4 + 62*c_0101_5^2 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB