Magma V2.19-8 Wed Aug 21 2013 01:01:47 on localhost [Seed = 1495220878] Type ? for help. Type -D to quit. Loading file "L14n13347__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13347 geometric_solution 12.14514173 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 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 0 0 0 0.664615024758 0.697412899733 0 5 6 4 0132 0132 0132 1023 0 0 1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664615024758 0.697412899733 5 0 4 7 0213 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409254561156 0.731049814427 5 8 9 0 3012 0132 0132 0132 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 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.452805764609 0.629507268341 2 5 0 1 2031 0213 0132 1023 0 0 1 1 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 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.981947827023 0.935251016236 2 1 4 3 0213 0132 0213 1230 0 1 1 1 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 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.409254561156 0.731049814427 7 10 9 1 3012 0132 1023 0132 0 0 1 1 0 0 -1 1 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 1 0 -1 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.331292649077 0.827527988629 11 8 2 6 0132 0213 0132 1230 0 1 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 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465736890203 0.396502988022 11 3 7 10 3012 0132 0213 0213 0 1 1 1 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 -1 0 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556331006796 0.517975644375 12 12 6 3 0132 1302 1023 0132 0 0 1 1 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 0 0 0 0 0 0 0 0 1 0 -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.616856769418 0.969979189940 11 6 12 8 2031 0132 1023 0213 0 1 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 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.083611572327 0.684554573594 7 12 10 8 0132 3120 1302 1230 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 0 0 0 0 0 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.554385769695 0.498538845104 9 11 10 9 0132 3120 1023 2031 1 0 1 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 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352264316851 0.891805020762 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0101_12'], 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : d['c_0110_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_0101_12'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0101_6'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], '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_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_6'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : d['c_1001_3'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : d['c_0101_12'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : d['c_0110_4'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_3']), 's_1_7' : 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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), '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' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_3']), 'c_0110_10' : negation(d['c_0101_10']), 'c_0110_12' : d['c_0101_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_6, c_0110_4, c_1001_0, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 307742821208393214433/7050567064878531200*c_1100_0^14 - 5156891290242718831/14537251680161920*c_1100_0^13 + 2518986187330783125193/1410113412975706240*c_1100_0^12 - 1160503472771829432673/282022682595141248*c_1100_0^11 + 38493241238554961335469/7050567064878531200*c_1100_0^10 - 928134871528050091401/3525283532439265600*c_1100_0^9 + 1246814635457647427137/176264176621963280*c_1100_0^8 - 7745072927947823439621/7050567064878531200*c_1100_0^7 - 466972755543277814182341/7050567064878531200*c_1100_0^6 - 889363735634473071399133/7050567064878531200*c_1100_0^5 - 379889746589496266860133/3525283532439265600*c_1100_0^4 - 304432895690767176085649/7050567064878531200*c_1100_0^3 - 4900378759146521368657/1762641766219632800*c_1100_0^2 + 28374033374196573977617/7050567064878531200*c_1100_0 + 995952385828185820509/881320883109816400, c_0011_0 - 1, c_0011_10 - 6423629933457551/35252835324392656*c_1100_0^14 + 212014093685995/181715646002024*c_1100_0^13 - 164786754700307437/35252835324392656*c_1100_0^12 + 40846800012563205/17626417662196328*c_1100_0^11 + 613312861686774223/35252835324392656*c_1100_0^10 - 2325350662080877227/35252835324392656*c_1100_0^9 + 589890747930368045/35252835324392656*c_1100_0^8 - 316402913070372761/4406604415549082*c_1100_0^7 + 11743943266332482427/35252835324392656*c_1100_0^6 + 17115613431311050959/17626417662196328*c_1100_0^5 + 9033923139062172103/8813208831098164*c_1100_0^4 + 17310056004194104787/35252835324392656*c_1100_0^3 + 1925477810458132511/35252835324392656*c_1100_0^2 - 86520586276586615/2203302207774541*c_1100_0 - 58775637377879755/4406604415549082, c_0011_11 - 100502537689014149/141011341297570624*c_1100_0^14 + 8714461695630895/1453725168016192*c_1100_0^13 - 4364739901936833465/141011341297570624*c_1100_0^12 + 10815671795707586781/141011341297570624*c_1100_0^11 - 16184650362504120017/141011341297570624*c_1100_0^10 + 3324291278166785953/70505670648785312*c_1100_0^9 - 2572084533682107637/17626417662196328*c_1100_0^8 + 10027687316756952577/141011341297570624*c_1100_0^7 + 146483329183006469873/141011341297570624*c_1100_0^6 + 251390470078048628129/141011341297570624*c_1100_0^5 + 96474974046830234889/70505670648785312*c_1100_0^4 + 69349272589161895237/141011341297570624*c_1100_0^3 + 515969318752532915/35252835324392656*c_1100_0^2 - 6404616660126977173/141011341297570624*c_1100_0 - 206527350718510959/17626417662196328, c_0011_3 + 165914713912527967/282022682595141248*c_1100_0^14 - 14701126160903279/2907450336032384*c_1100_0^13 + 7483816040167722735/282022682595141248*c_1100_0^12 - 19375411481954717485/282022682595141248*c_1100_0^11 + 31058534411964785935/282022682595141248*c_1100_0^10 - 4714755659885330193/70505670648785312*c_1100_0^9 + 20616043095309530639/141011341297570624*c_1100_0^8 - 27233524829811428941/282022682595141248*c_1100_0^7 - 232284596191033545123/282022682595141248*c_1100_0^6 - 375998718238610460393/282022682595141248*c_1100_0^5 - 135474642769386437801/141011341297570624*c_1100_0^4 - 89513167789053853031/282022682595141248*c_1100_0^3 + 577049298739222691/141011341297570624*c_1100_0^2 + 10221535475549427745/282022682595141248*c_1100_0 + 288013032804607863/35252835324392656, c_0101_0 - 1, c_0101_1 - 1, c_0101_10 - 29115620894667627/35252835324392656*c_1100_0^14 + 2520234441921559/363431292004048*c_1100_0^13 - 1262535972377695791/35252835324392656*c_1100_0^12 + 3130491210476561665/35252835324392656*c_1100_0^11 - 4730677828071294531/35252835324392656*c_1100_0^10 + 265579923665168383/4406604415549082*c_1100_0^9 - 3224628902682401583/17626417662196328*c_1100_0^8 + 3362025944910502429/35252835324392656*c_1100_0^7 + 41826563654370738939/35252835324392656*c_1100_0^6 + 74068844513298410557/35252835324392656*c_1100_0^5 + 29475208592903881665/17626417662196328*c_1100_0^4 + 22254583164775966019/35252835324392656*c_1100_0^3 + 461325110440279755/17626417662196328*c_1100_0^2 - 2110731081516780405/35252835324392656*c_1100_0 - 35196274626813863/2203302207774541, c_0101_12 - 5136695167152483/35252835324392656*c_1100_0^14 + 228658580519119/181715646002024*c_1100_0^13 - 233455761308016985/35252835324392656*c_1100_0^12 + 304468952514135885/17626417662196328*c_1100_0^11 - 984043788654250181/35252835324392656*c_1100_0^10 + 618523286117338401/35252835324392656*c_1100_0^9 - 1294282031929707191/35252835324392656*c_1100_0^8 + 55964420192310062/2203302207774541*c_1100_0^7 + 7166213067174183631/35252835324392656*c_1100_0^6 + 5673252711372983727/17626417662196328*c_1100_0^5 + 1955367947690020953/8813208831098164*c_1100_0^4 + 2276369663077359975/35252835324392656*c_1100_0^3 - 307050735036123389/35252835324392656*c_1100_0^2 - 20298600108606243/2203302207774541*c_1100_0 - 2859495139404211/2203302207774541, c_0101_6 + 139319700158176719/282022682595141248*c_1100_0^14 - 12396759841558051/2907450336032384*c_1100_0^13 + 6317273638795765031/282022682595141248*c_1100_0^12 - 16397298317723369033/282022682595141248*c_1100_0^11 + 26100824055136535511/282022682595141248*c_1100_0^10 - 469369966147273279/8813208831098164*c_1100_0^9 + 15849434732167539429/141011341297570624*c_1100_0^8 - 20178810161143576049/282022682595141248*c_1100_0^7 - 199184186646574940019/282022682595141248*c_1100_0^6 - 303507097297120350117/282022682595141248*c_1100_0^5 - 102226885894133361109/141011341297570624*c_1100_0^4 - 58203494650111922279/282022682595141248*c_1100_0^3 + 1783204601363184877/141011341297570624*c_1100_0^2 + 6210758911365726997/282022682595141248*c_1100_0 + 127358439566391139/35252835324392656, c_0110_4 - 5136695167152483/35252835324392656*c_1100_0^14 + 228658580519119/181715646002024*c_1100_0^13 - 233455761308016985/35252835324392656*c_1100_0^12 + 304468952514135885/17626417662196328*c_1100_0^11 - 984043788654250181/35252835324392656*c_1100_0^10 + 618523286117338401/35252835324392656*c_1100_0^9 - 1294282031929707191/35252835324392656*c_1100_0^8 + 55964420192310062/2203302207774541*c_1100_0^7 + 7166213067174183631/35252835324392656*c_1100_0^6 + 5673252711372983727/17626417662196328*c_1100_0^5 + 1955367947690020953/8813208831098164*c_1100_0^4 + 2276369663077359975/35252835324392656*c_1100_0^3 - 307050735036123389/35252835324392656*c_1100_0^2 - 22501902316380784/2203302207774541*c_1100_0 - 2859495139404211/2203302207774541, c_1001_0 - 5136695167152483/35252835324392656*c_1100_0^14 + 228658580519119/181715646002024*c_1100_0^13 - 233455761308016985/35252835324392656*c_1100_0^12 + 304468952514135885/17626417662196328*c_1100_0^11 - 984043788654250181/35252835324392656*c_1100_0^10 + 618523286117338401/35252835324392656*c_1100_0^9 - 1294282031929707191/35252835324392656*c_1100_0^8 + 55964420192310062/2203302207774541*c_1100_0^7 + 7166213067174183631/35252835324392656*c_1100_0^6 + 5673252711372983727/17626417662196328*c_1100_0^5 + 1955367947690020953/8813208831098164*c_1100_0^4 + 2276369663077359975/35252835324392656*c_1100_0^3 - 307050735036123389/35252835324392656*c_1100_0^2 - 20298600108606243/2203302207774541*c_1100_0 - 2859495139404211/2203302207774541, c_1001_3 + 46432273771566775/282022682595141248*c_1100_0^14 - 4117734120782695/2907450336032384*c_1100_0^13 + 2096921790074427655/282022682595141248*c_1100_0^12 - 5433978027402370837/282022682595141248*c_1100_0^11 + 8711467287949641639/282022682595141248*c_1100_0^10 - 1321288018602921681/70505670648785312*c_1100_0^9 + 5741632104766276503/141011341297570624*c_1100_0^8 - 7631289375933398517/282022682595141248*c_1100_0^7 - 65100901363398559771/282022682595141248*c_1100_0^6 - 104456033324034211761/282022682595141248*c_1100_0^5 - 37380389320372323761/141011341297570624*c_1100_0^4 - 23620209171755325311/282022682595141248*c_1100_0^3 + 14700767709970667/141011341297570624*c_1100_0^2 + 2081100598845621097/282022682595141248*c_1100_0 + 48474755913695583/35252835324392656, c_1100_0^15 - 8*c_1100_0^14 + 40*c_1100_0^13 - 90*c_1100_0^12 + 118*c_1100_0^11 - 3*c_1100_0^10 + 182*c_1100_0^9 - 17*c_1100_0^8 - 1496*c_1100_0^7 - 3100*c_1100_0^6 - 2989*c_1100_0^5 - 1527*c_1100_0^4 - 327*c_1100_0^3 + 57*c_1100_0^2 + 47*c_1100_0 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.310 Total time: 0.530 seconds, Total memory usage: 32.09MB