Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 2614757245] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1874 geometric_solution 5.50411593 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 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 1.779226392860 0.537454340380 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 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 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.584499637618 0.718206772474 4 1 5 5 0132 0132 0132 2310 0 0 0 0 0 1 -1 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.133941793324 0.583766232105 5 5 4 1 1023 3201 2310 0132 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 1 0 -1 0 0 -1 1 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.133941793324 0.583766232105 2 3 6 6 0132 3201 2310 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081893041358 1.747256527622 2 3 3 2 3201 1023 2310 0132 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 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.373384581820 1.627343527709 6 4 4 6 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -0.175044239249 0.422988058841 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1975882881025474400849/410115594883980614622*c_0101_4^12 + 1427337426358296427400/68352599147330102437*c_0101_4^11 - 5100764556076838325419/205057797441990307311*c_0101_4^10 - 756116469115317993411/68352599147330102437*c_0101_4^9 + 11202390681870083825711/205057797441990307311*c_0101_4^8 - 17229892612143798144874/205057797441990307311*c_0101_4^7 + 9819948843596197210906/68352599147330102437*c_0101_4^6 - 28393716987121913809087/205057797441990307311*c_0101_4^5 + 63428210591241660481229/410115594883980614622*c_0101_4^4 - 16880787172400973364796/205057797441990307311*c_0101_4^3 + 20824912376469151439942/205057797441990307311*c_0101_4^2 - 2392775479926308184019/136705198294660204874*c_0101_4 + 3981319064090843438995/205057797441990307311, c_0011_0 - 1, c_0011_3 + 81808513959843966346/68352599147330102437*c_0101_4^12 - 197672557018058903979/68352599147330102437*c_0101_4^11 + 96496724480169485870/68352599147330102437*c_0101_4^10 + 292766805741213750645/68352599147330102437*c_0101_4^9 - 417303397705946007155/68352599147330102437*c_0101_4^8 + 902036917792082709421/68352599147330102437*c_0101_4^7 - 846238343042305485518/68352599147330102437*c_0101_4^6 + 1021797971097982723516/68352599147330102437*c_0101_4^5 - 534191161280489891373/68352599147330102437*c_0101_4^4 + 570413333655220784164/68352599147330102437*c_0101_4^3 - 275393506396574451590/68352599147330102437*c_0101_4^2 - 10649774676184269138/68352599147330102437*c_0101_4 - 10181620112219674556/9764657021047157491, c_0011_6 - 1540286643059408/2082714255380423*c_0101_4^12 + 476274136387785/297530607911489*c_0101_4^11 - 831989736590218/2082714255380423*c_0101_4^10 - 5547223640098706/2082714255380423*c_0101_4^9 + 5246837167170631/2082714255380423*c_0101_4^8 - 2079460581794927/297530607911489*c_0101_4^7 + 14017748508243787/2082714255380423*c_0101_4^6 - 17413276054474632/2082714255380423*c_0101_4^5 + 9283402488889455/2082714255380423*c_0101_4^4 - 11717965284930300/2082714255380423*c_0101_4^3 + 4437094635567880/2082714255380423*c_0101_4^2 - 132573766073802/2082714255380423*c_0101_4 + 320731199761034/297530607911489, c_0101_0 - 188425104797796586350/68352599147330102437*c_0101_2*c_0101_4\ ^12 + 385688364732506914581/68352599147330102437*c_0101_2*c_0101_4^\ 11 + 15498950324494502238/68352599147330102437*c_0101_2*c_0101_4^10 - 879435523208107232051/68352599147330102437*c_0101_2*c_0101_4^9 + 648106138372754118271/68352599147330102437*c_0101_2*c_0101_4^8 - 1369969353244217202032/68352599147330102437*c_0101_2*c_0101_4^7 + 1081089966332897641720/68352599147330102437*c_0101_2*c_0101_4^6 - 1334887378633947009654/68352599147330102437*c_0101_2*c_0101_4^5 + 100507154470576475809/68352599147330102437*c_0101_2*c_0101_4^4 - 413324067699607647973/68352599147330102437*c_0101_2*c_0101_4^3 + 137497271479448647910/68352599147330102437*c_0101_2*c_0101_4^2 + 56884432195752192455/9764657021047157491*c_0101_2*c_0101_4 + 12853616367970797620/9764657021047157491*c_0101_2, c_0101_1 + 2017534634606530270/9764657021047157491*c_0101_4^12 + 601161807621929384/68352599147330102437*c_0101_4^11 - 80678613923054486194/68352599147330102437*c_0101_4^10 + 121549137491145565408/68352599147330102437*c_0101_4^9 + 60766188849847776381/68352599147330102437*c_0101_4^8 - 113869281143509257876/68352599147330102437*c_0101_4^7 + 299622717903541239950/68352599147330102437*c_0101_4^6 - 226361745159959705405/68352599147330102437*c_0101_4^5 + 373497723665672611238/68352599147330102437*c_0101_4^4 - 131348892167382285078/68352599147330102437*c_0101_4^3 + 138650803784028328734/68352599147330102437*c_0101_4^2 - 64175555466443697753/68352599147330102437*c_0101_4 - 5341489533272985118/9764657021047157491, c_0101_2^2 + 1540286643059408/2082714255380423*c_0101_4^12 - 476274136387785/297530607911489*c_0101_4^11 + 831989736590218/2082714255380423*c_0101_4^10 + 5547223640098706/2082714255380423*c_0101_4^9 - 5246837167170631/2082714255380423*c_0101_4^8 + 2079460581794927/297530607911489*c_0101_4^7 - 14017748508243787/2082714255380423*c_0101_4^6 + 17413276054474632/2082714255380423*c_0101_4^5 - 9283402488889455/2082714255380423*c_0101_4^4 + 11717965284930300/2082714255380423*c_0101_4^3 - 6519808890948303/2082714255380423*c_0101_4^2 + 132573766073802/2082714255380423*c_0101_4 - 320731199761034/297530607911489, c_0101_4^13 - 89/41*c_0101_4^12 + 22/41*c_0101_4^11 + 152/41*c_0101_4^10 - 145/41*c_0101_4^9 + 381/41*c_0101_4^8 - 362/41*c_0101_4^7 + 464/41*c_0101_4^6 - 223/41*c_0101_4^5 + 285/41*c_0101_4^4 - 137/41*c_0101_4^3 - 8/41*c_0101_4^2 - 65/41*c_0101_4 - 7/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB