Magma V2.19-8 Tue Aug 20 2013 16:14:42 on localhost [Seed = 492601600] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s683 geometric_solution 5.18120696 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 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.267848237576 0.218723942135 2 0 3 0 0132 2310 0132 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 1 -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.492296656056 1.610333971818 1 4 5 4 0132 0132 0132 1023 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 0 0 0 0 0 0.559873697620 1.286944139868 4 5 4 1 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559873697620 1.286944139868 3 2 3 2 2310 0132 3201 1023 0 0 0 0 0 0 -1 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 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.386073281489 0.345007758244 5 3 5 2 2031 0132 1302 0132 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 -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.461618807127 0.905447436308 ==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' : negation(d['1']), 's_3_0' : 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' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 46039215838800347/577342468292533706752*c_0101_3^20 + 3646794219162843/36083904268283356672*c_0101_3^18 - 66593803202488057/9020976067070839168*c_0101_3^16 - 167703824911436593/4510488033535419584*c_0101_3^14 + 8722675975220669603/288671234146266853376*c_0101_3^12 + 5865394216558504941/144335617073133426688*c_0101_3^10 - 23132803685437292989/18041952134141678336*c_0101_3^8 + 10933938739438276865/4510488033535419584*c_0101_3^6 + 10858185329186875575/1127622008383854896*c_0101_3^4 - 7741619056034091601/563811004191927448*c_0101_3^2 + 2207961352847692327/140952751047981862, c_0011_0 - 1, c_0011_1 - 514838828715/13121419733921220608*c_0101_3^20 - 9332038282291/3280354933480305152*c_0101_3^18 + 20914677040799/820088733370076288*c_0101_3^16 + 55689045187455/205022183342519072*c_0101_3^14 - 5346105040509459/6560709866960610304*c_0101_3^12 - 33815837262165019/3280354933480305152*c_0101_3^10 + 2114291118690343/820088733370076288*c_0101_3^8 + 468225569287315/205022183342519072*c_0101_3^6 - 27003769252961167/102511091671259536*c_0101_3^4 + 1311608434195954/6406943229453721*c_0101_3^2 + 4971567036946990/6406943229453721, c_0011_3 + 383652681969025/52485678935684882432*c_0101_3^20 + 221609902014211/26242839467842441216*c_0101_3^18 - 8312501674659985/13121419733921220608*c_0101_3^16 - 22401787435950309/6560709866960610304*c_0101_3^14 - 16350547875149231/26242839467842441216*c_0101_3^12 - 34953278204722919/6560709866960610304*c_0101_3^10 - 64352028985526061/820088733370076288*c_0101_3^8 + 43632647610281881/410044366685038144*c_0101_3^6 + 25490364561377823/51255545835629768*c_0101_3^4 + 15816278216796907/25627772917814884*c_0101_3^2 - 75977070023570/6406943229453721, c_0101_0 - 278101206374745/104971357871369764864*c_0101_3^21 + 140702307730581/52485678935684882432*c_0101_3^19 + 6585290879342521/26242839467842441216*c_0101_3^17 + 9326544091732285/13121419733921220608*c_0101_3^15 - 196744881393583145/52485678935684882432*c_0101_3^13 - 17157983330604257/13121419733921220608*c_0101_3^11 + 66556461117435323/1640177466740152576*c_0101_3^9 - 106715270584584167/820088733370076288*c_0101_3^7 - 31357318085370929/205022183342519072*c_0101_3^5 + 27681954073567543/25627772917814884*c_0101_3^3 - 1472479190830813/12813886458907442*c_0101_3, c_0101_1 + 1608827185797/1640177466740152576*c_0101_3^20 + 79776719694701/6560709866960610304*c_0101_3^18 - 200076910597345/1640177466740152576*c_0101_3^16 - 1148040367054209/820088733370076288*c_0101_3^14 - 713168884953945/820088733370076288*c_0101_3^12 + 50454250549469005/3280354933480305152*c_0101_3^10 - 75798033800652767/1640177466740152576*c_0101_3^8 - 12197397771960469/205022183342519072*c_0101_3^6 + 72573745940743515/102511091671259536*c_0101_3^4 - 3498094470074114/6406943229453721*c_0101_3^2 - 2220125140355025/6406943229453721, c_0101_3^22 + 2*c_0101_3^20 - 92*c_0101_3^18 - 536*c_0101_3^16 + 66*c_0101_3^14 + 1088*c_0101_3^12 - 14944*c_0101_3^10 + 18816*c_0101_3^8 + 146944*c_0101_3^6 - 69632*c_0101_3^4 + 16384*c_0101_3^2 - 32768 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB