Magma V2.19-8 Tue Aug 20 2013 16:14:29 on localhost [Seed = 442205721] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s482 geometric_solution 4.85297379 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 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 -1 1 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.918784521335 0.899578459382 3 4 3 0 0132 0132 2310 0132 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 0 0 1 -1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810204398076 0.583838127076 4 3 0 3 2310 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810204398076 0.583838127076 1 1 2 2 0132 3201 2310 1023 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 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.677374772780 0.332390889686 5 1 2 5 0132 0132 3201 1023 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 0 0 0 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.841189606612 0.588940369993 4 5 5 4 0132 1230 3012 1023 0 0 0 0 0 1 -1 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 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 1.630978269309 0.442589026169 ==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' : 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_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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_1'], '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_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 631459722857/7760211*c_0101_5^15 - 4361568305425/15520422*c_0101_5^14 + 2196123485217/2586737*c_0101_5^13 + 9764972210291/15520422*c_0101_5^12 + 148402322644363/15520422*c_0101_5^11 - 10461769250660/2586737*c_0101_5^10 + 148345707477637/15520422*c_0101_5^9 - 274966945363867/15520422*c_0101_5^8 + 6999711738162/2586737*c_0101_5^7 - 20611813606499/2586737*c_0101_5^6 + 216695559368105/15520422*c_0101_5^5 - 25756196029925/5173474*c_0101_5^4 + 28106986660805/15520422*c_0101_5^3 - 13010554180135/5173474*c_0101_5^2 + 6307571624253/5173474*c_0101_5 - 2785093061687/15520422, c_0011_0 - 1, c_0011_1 - 208401102/2579*c_0101_5^15 - 720056404/2579*c_0101_5^14 + 2173082670/2579*c_0101_5^13 + 1614278778/2579*c_0101_5^12 + 24492454866/2579*c_0101_5^11 - 10317664294/2579*c_0101_5^10 + 24479992523/2579*c_0101_5^9 - 45334789010/2579*c_0101_5^8 + 6874825931/2579*c_0101_5^7 - 20420225507/2579*c_0101_5^6 + 35720528405/2579*c_0101_5^5 - 12709529781/2579*c_0101_5^4 + 4635346235/2579*c_0101_5^3 - 6434704922/2579*c_0101_5^2 + 3114875415/2579*c_0101_5 - 457881399/2579, c_0101_0 - 5183131247/152161*c_0101_5^15 - 17926391781/152161*c_0101_5^14 + 53976978204/152161*c_0101_5^13 + 40305330780/152161*c_0101_5^12 + 609356867697/152161*c_0101_5^11 - 254415683373/152161*c_0101_5^10 + 608901651785/152161*c_0101_5^9 - 1125389359733/152161*c_0101_5^8 + 168006499258/152161*c_0101_5^7 - 508566525694/152161*c_0101_5^6 + 886347889312/152161*c_0101_5^5 - 313914651831/152161*c_0101_5^4 + 115137159585/152161*c_0101_5^3 - 159703327855/152161*c_0101_5^2 + 77060796291/152161*c_0101_5 - 11296935675/152161, c_0101_1 + 16628151392/152161*c_0101_5^15 + 57481914382/152161*c_0101_5^14 - 173274019946/152161*c_0101_5^13 - 129053483713/152161*c_0101_5^12 - 1954575012798/152161*c_0101_5^11 + 819645904174/152161*c_0101_5^10 - 1953456281471/152161*c_0101_5^9 + 3613681897766/152161*c_0101_5^8 - 543828175922/152161*c_0101_5^7 + 1630515736455/152161*c_0101_5^6 - 2846683949969/152161*c_0101_5^5 + 1010669680262/152161*c_0101_5^4 - 369635538766/152161*c_0101_5^3 + 512865268319/152161*c_0101_5^2 - 247889087284/152161*c_0101_5 + 36393218406/152161, c_0101_4 - 249480297/2579*c_0101_5^15 - 861988895/2579*c_0101_5^14 + 2601437714/2579*c_0101_5^13 + 1932448089/2579*c_0101_5^12 + 29320303398/2579*c_0101_5^11 - 12351664937/2579*c_0101_5^10 + 29305739043/2579*c_0101_5^9 - 54271077596/2579*c_0101_5^8 + 8230729727/2579*c_0101_5^7 - 24445546649/2579*c_0101_5^6 + 42761628272/2579*c_0101_5^5 - 15215456275/2579*c_0101_5^4 + 5549193934/2579*c_0101_5^3 - 7703086202/2579*c_0101_5^2 + 3728980234/2579*c_0101_5 - 548175777/2579, c_0101_5^16 + 3*c_0101_5^15 - 12*c_0101_5^14 - 3*c_0101_5^13 - 114*c_0101_5^12 + 103*c_0101_5^11 - 140*c_0101_5^10 + 271*c_0101_5^9 - 132*c_0101_5^8 + 113*c_0101_5^7 - 216*c_0101_5^6 + 139*c_0101_5^5 - 50*c_0101_5^4 + 41*c_0101_5^3 - 29*c_0101_5^2 + 9*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB