Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 3381155305] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s248 geometric_solution 4.41317377 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.421263397054 0.061020901808 0 2 0 2 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 -1 1 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.642274088987 0.892499485335 1 1 3 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 0 -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.184535204439 2.650048231183 4 4 5 2 1302 1023 0132 0132 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366009264512 0.595635920846 3 3 2 5 1023 2031 0132 3201 0 0 0 0 0 0 0 0 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 0 0 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 0.366009264512 0.595635920846 5 4 5 3 2310 2310 3201 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.174042179009 0.860190169596 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(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' : d['1'], 's_0_4' : negation(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' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], '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' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 236655572189202407/1794530581859111*c_0101_4^18 - 542204017757352890/1794530581859111*c_0101_4^17 - 4837489379380860891/1794530581859111*c_0101_4^16 + 7859371481212683128/1794530581859111*c_0101_4^15 + 37972476527187826419/1794530581859111*c_0101_4^14 - 34407799267107194044/1794530581859111*c_0101_4^13 - 168380807061234924507/1794530581859111*c_0101_4^12 + 54795404335127059813/1794530581859111*c_0101_4^11 + 375500867374081391811/1794530581859111*c_0101_4^10 + 7479668548726321826/1794530581859111*c_0101_4^9 - 440410937641468760674/1794530581859111*c_0101_4^8 - 115699974481334275011/1794530581859111*c_0101_4^7 + 259970540401142023052/1794530581859111*c_0101_4^6 + 117771978813886496703/1794530581859111*c_0101_4^5 - 63634715065866726051/1794530581859111*c_0101_4^4 - 43431915302016522752/1794530581859111*c_0101_4^3 + 1716608504525603539/1794530581859111*c_0101_4^2 + 5385123644186689849/1794530581859111*c_0101_4 + 863440946219732648/1794530581859111, c_0011_0 - 1, c_0011_3 + 12700424705851403/1794530581859111*c_0101_4^18 - 28531279911733652/1794530581859111*c_0101_4^17 - 260202094308989797/1794530581859111*c_0101_4^16 + 408601481984267282/1794530581859111*c_0101_4^15 + 2042490266183306657/1794530581859111*c_0101_4^14 - 1733272378628407601/1794530581859111*c_0101_4^13 - 9011278045004645186/1794530581859111*c_0101_4^12 + 2447752706269520568/1794530581859111*c_0101_4^11 + 19828765913770125507/1794530581859111*c_0101_4^10 + 1410812120121128007/1794530581859111*c_0101_4^9 - 22712999372086790556/1794530581859111*c_0101_4^8 - 7167654747372724129/1794530581859111*c_0101_4^7 + 12818014997293880290/1794530581859111*c_0101_4^6 + 6614145563356192110/1794530581859111*c_0101_4^5 - 2823423145523496436/1794530581859111*c_0101_4^4 - 2265805772858529066/1794530581859111*c_0101_4^3 - 48106575780135/1794530581859111*c_0101_4^2 + 261477765720823873/1794530581859111*c_0101_4 + 46606016880339883/1794530581859111, c_0011_5 - 5741550127057967/1794530581859111*c_0101_4^18 + 13895546100598543/1794530581859111*c_0101_4^17 + 114375117523247428/1794530581859111*c_0101_4^16 - 202011290647678928/1794530581859111*c_0101_4^15 - 873242820154785579/1794530581859111*c_0101_4^14 + 896414252539419561/1794530581859111*c_0101_4^13 + 3816743269215641325/1794530581859111*c_0101_4^12 - 1578910625355494505/1794530581859111*c_0101_4^11 - 8265673460226593935/1794530581859111*c_0101_4^10 + 322568550806806822/1794530581859111*c_0101_4^9 + 9364149598368938797/1794530581859111*c_0101_4^8 + 2137982139160451981/1794530581859111*c_0101_4^7 - 5255957888209251044/1794530581859111*c_0101_4^6 - 2282673956787997617/1794530581859111*c_0101_4^5 + 1174597322438837185/1794530581859111*c_0101_4^4 + 795697504752534598/1794530581859111*c_0101_4^3 - 24699447687111008/1794530581859111*c_0101_4^2 - 89905327062671781/1794530581859111*c_0101_4 - 13279282113825826/1794530581859111, c_0101_0 - 21396635492698973/1794530581859111*c_0101_4^18 + 49665383508449519/1794530581859111*c_0101_4^17 + 433195255195598019/1794530581859111*c_0101_4^16 - 716541388804970455/1794530581859111*c_0101_4^15 - 3360529414113237431/1794530581859111*c_0101_4^14 + 3108372277744026295/1794530581859111*c_0101_4^13 + 14760101765984275618/1794530581859111*c_0101_4^12 - 4925590919486139385/1794530581859111*c_0101_4^11 - 32236240728204924749/1794530581859111*c_0101_4^10 - 669560704032965601/1794530581859111*c_0101_4^9 + 36675356564511530708/1794530581859111*c_0101_4^8 + 10006420818178969029/1794530581859111*c_0101_4^7 - 20571965346616330405/1794530581859111*c_0101_4^6 - 9711762196320264565/1794530581859111*c_0101_4^5 + 4529159201164458845/1794530581859111*c_0101_4^4 + 3308495868904439175/1794530581859111*c_0101_4^3 - 40044045621179949/1794530581859111*c_0101_4^2 - 372714341899068479/1794530581859111*c_0101_4 - 63893511426863288/1794530581859111, c_0101_1 + 15073812695684937/1794530581859111*c_0101_4^18 - 35889175518427841/1794530581859111*c_0101_4^17 - 302654520508785134/1794530581859111*c_0101_4^16 + 521368060306740727/1794530581859111*c_0101_4^15 + 2330389242227390488/1794530581859111*c_0101_4^14 - 2305255026244854594/1794530581859111*c_0101_4^13 - 10228059516876063945/1794530581859111*c_0101_4^12 + 3952407583476805758/1794530581859111*c_0101_4^11 + 22343230122696500514/1794530581859111*c_0101_4^10 - 472512296557481506/1794530581859111*c_0101_4^9 - 25559167847684230007/1794530581859111*c_0101_4^8 - 6101582227403806565/1794530581859111*c_0101_4^7 + 14543729987709155132/1794530581859111*c_0101_4^6 + 6411173138250890194/1794530581859111*c_0101_4^5 - 3322767032790258270/1794530581859111*c_0101_4^4 - 2277305784873013388/1794530581859111*c_0101_4^3 + 57080682663972685/1794530581859111*c_0101_4^2 + 263497524112761906/1794530581859111*c_0101_4 + 45758987198492652/1794530581859111, c_0101_4^19 - 2*c_0101_4^18 - 21*c_0101_4^17 + 27*c_0101_4^16 + 168*c_0101_4^15 - 95*c_0101_4^14 - 738*c_0101_4^13 + 9*c_0101_4^12 + 1587*c_0101_4^11 + 517*c_0101_4^10 - 1717*c_0101_4^9 - 1026*c_0101_4^8 + 823*c_0101_4^7 + 774*c_0101_4^6 - 69*c_0101_4^5 - 229*c_0101_4^4 - 49*c_0101_4^3 + 19*c_0101_4^2 + 9*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB