Magma V2.19-8 Wed Aug 21 2013 00:50:54 on localhost [Seed = 3970628092] Type ? for help. Type -D to quit. Loading file "L10a62__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a62 geometric_solution 11.67700727 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 0213 1 0 1 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 1 -1 0 0 -1 1 1 0 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788557192989 0.651622631602 0 4 6 5 0132 0132 0132 0132 0 0 0 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 0 0 0 -4 4 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422826273579 0.518382778381 7 0 8 0 0132 0132 0132 0213 1 1 0 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 -1 1 0 0 -1 1 -3 4 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788557192989 0.651622631602 7 6 8 0 2031 3012 1302 0132 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 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 0 0 0 0 0 0.611052226869 0.474265112589 9 1 10 11 0132 0132 0132 0132 0 1 1 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 -1 0 9 -8 0 -1 0 1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624176572433 0.874925582057 7 9 1 11 1023 0132 0132 2031 0 0 1 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137986246515 0.765366892108 3 7 12 1 1230 0321 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.184264315936 0.477710240385 2 5 3 6 0132 1023 1302 0321 0 1 1 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.621314682508 0.733636093908 3 12 12 2 2031 3120 3201 0132 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 -1 0 1 -1 0 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.005756690865 0.587814673105 4 5 10 10 0132 0132 2103 0321 0 1 0 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 -1 1 1 0 0 -1 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.233786810707 1.279909201480 9 9 11 4 2103 0321 2103 0132 0 1 0 1 0 0 0 0 0 0 1 -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 -1 1 0 0 0 9 -9 1 3 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.233786810707 1.279909201480 10 5 4 12 2103 1302 0132 1302 0 1 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 0 0 0 0 0 0 0 0 0 0 0 -9 0 8 1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.095800564192 0.514542309372 8 8 11 6 2310 3120 2031 0132 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 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.983340943101 1.701053316138 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_5'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : d['c_0110_5'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0011_12']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : d['c_1010_11'], 'c_1010_10' : d['c_1001_4'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_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_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1010_11']), 'c_1100_4' : d['c_0101_12'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_1010_11']), 'c_1100_1' : negation(d['c_1010_11']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0011_12']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_12']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_12']), '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_1010_11']), '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_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : 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' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0011_3'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_6']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_3']})} 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_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_12, c_0101_6, c_0110_5, c_1001_4, c_1010_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1247306138553894221360/114960511739346774341*c_1010_11^15 + 1744513097850863116472/114960511739346774341*c_1010_11^14 - 241155308171517322203/4998283119102033667*c_1010_11^13 - 10063392322071792196940/114960511739346774341*c_1010_11^12 + 167161938890748295700/114960511739346774341*c_1010_11^11 + 790973927004875040498/114960511739346774341*c_1010_11^10 - 6928601404959390378077/114960511739346774341*c_1010_11^9 + 5562801270398307204292/114960511739346774341*c_1010_11^8 + 10368044373527630178821/114960511739346774341*c_1010_11^7 - 934772703684689821503/114960511739346774341*c_1010_11^6 + 6654375056955940056855/114960511739346774341*c_1010_11^5 + 11722736343573351073153/114960511739346774341*c_1010_11^4 - 1425216129523998498043/114960511739346774341*c_1010_11^3 - 4193633210116307936121/114960511739346774341*c_1010_11^2 + 1503700586677699361867/114960511739346774341*c_1010_11 + 1500123232178672772800/114960511739346774341, c_0011_0 - 1, c_0011_10 - 499762382128171168/200489207777026115*c_1010_11^15 - 54742011089112592/40097841555405223*c_1010_11^14 + 104856461824185562/8716922077262005*c_1010_11^13 + 1919196751087236004/200489207777026115*c_1010_11^12 - 1412646269241976978/200489207777026115*c_1010_11^11 + 233782564575254248/40097841555405223*c_1010_11^10 + 1439757833137892071/200489207777026115*c_1010_11^9 - 3437861890622957058/200489207777026115*c_1010_11^8 - 275680700415127932/40097841555405223*c_1010_11^7 + 568026883188938178/200489207777026115*c_1010_11^6 - 524568768126964550/40097841555405223*c_1010_11^5 - 363939014740506087/40097841555405223*c_1010_11^4 + 896750668595806162/200489207777026115*c_1010_11^3 + 207737718593670932/40097841555405223*c_1010_11^2 - 28712052705549123/40097841555405223*c_1010_11 - 314656434711740138/200489207777026115, c_0011_12 + 11371153499280028976/1002446038885130575*c_1010_11^15 + 2678318233969758728/200489207777026115*c_1010_11^14 - 2312401406852616579/43584610386310025*c_1010_11^13 - 77928115095557327613/1002446038885130575*c_1010_11^12 + 18857848186130570526/1002446038885130575*c_1010_11^11 - 1254677886483604851/200489207777026115*c_1010_11^10 - 72886407994292652517/1002446038885130575*c_1010_11^9 + 68526593387573428636/1002446038885130575*c_1010_11^8 + 17733935870024806778/200489207777026115*c_1010_11^7 - 27901880158388427681/1002446038885130575*c_1010_11^6 + 12283141560996395647/200489207777026115*c_1010_11^5 + 20357499608908719173/200489207777026115*c_1010_11^4 - 18769994844756129529/1002446038885130575*c_1010_11^3 - 6362990081523869344/200489207777026115*c_1010_11^2 + 2932099288331948679/200489207777026115*c_1010_11 + 8903465761244782151/1002446038885130575, c_0011_3 + 352976994520900112/200489207777026115*c_1010_11^15 + 221256973470332424/40097841555405223*c_1010_11^14 - 48719676380897273/8716922077262005*c_1010_11^13 - 5906777565336668936/200489207777026115*c_1010_11^12 - 2680103687156368243/200489207777026115*c_1010_11^11 + 486225332223715904/40097841555405223*c_1010_11^10 - 3847201861502460089/200489207777026115*c_1010_11^9 - 1641355073933785498/200489207777026115*c_1010_11^8 + 1767846586698862663/40097841555405223*c_1010_11^7 + 1914704717006688868/200489207777026115*c_1010_11^6 - 216053126860826329/40097841555405223*c_1010_11^5 + 1659504235371260873/40097841555405223*c_1010_11^4 + 3229672397044802047/200489207777026115*c_1010_11^3 - 809249346590349791/40097841555405223*c_1010_11^2 - 34724654153996339/40097841555405223*c_1010_11 + 1533901015666033032/200489207777026115, c_0011_6 - 9820478843226858768/1002446038885130575*c_1010_11^15 - 2396737545252680824/200489207777026115*c_1010_11^14 + 2077346092609031297/43584610386310025*c_1010_11^13 + 69741331252585083309/1002446038885130575*c_1010_11^12 - 24713367888056113843/1002446038885130575*c_1010_11^11 - 96314652894942997/200489207777026115*c_1010_11^10 + 71276021720235292906/1002446038885130575*c_1010_11^9 - 65241330554960510223/1002446038885130575*c_1010_11^8 - 16719166963958018789/200489207777026115*c_1010_11^7 + 39189866609796532183/1002446038885130575*c_1010_11^6 - 10434228650315806841/200489207777026115*c_1010_11^5 - 18833340035076847109/200489207777026115*c_1010_11^4 + 28311607681357577572/1002446038885130575*c_1010_11^3 + 6222935946891715682/200489207777026115*c_1010_11^2 - 3721471816923353562/200489207777026115*c_1010_11 - 8869284584372159143/1002446038885130575, c_0011_8 + 3178413671957818544/200489207777026115*c_1010_11^15 + 1020396140354569048/40097841555405223*c_1010_11^14 - 625895386994676691/8716922077262005*c_1010_11^13 - 28755742753967239992/200489207777026115*c_1010_11^12 + 1513844360847492539/200489207777026115*c_1010_11^11 + 946453709540048726/40097841555405223*c_1010_11^10 - 24973172928689552968/200489207777026115*c_1010_11^9 + 13688158140115939784/200489207777026115*c_1010_11^8 + 7443801387975743469/40097841555405223*c_1010_11^7 - 6416140958429834134/200489207777026115*c_1010_11^6 + 2221493446966896773/40097841555405223*c_1010_11^5 + 7777997770492235256/40097841555405223*c_1010_11^4 - 773779694760569276/200489207777026115*c_1010_11^3 - 3043465939836447403/40097841555405223*c_1010_11^2 + 844339203368804831/40097841555405223*c_1010_11 + 5208863341793814199/200489207777026115, c_0101_0 - 1, c_0101_10 + 156205675353359808/1002446038885130575*c_1010_11^15 + 600290612564798624/200489207777026115*c_1010_11^14 + 3365446659004068/43584610386310025*c_1010_11^13 - 14798648475120278804/1002446038885130575*c_1010_11^12 - 6732677995813854892/1002446038885130575*c_1010_11^11 + 1889650516588690832/200489207777026115*c_1010_11^10 - 11416759194672131036/1002446038885130575*c_1010_11^9 - 5119475313880395037/1002446038885130575*c_1010_11^8 + 4550195268983247684/200489207777026115*c_1010_11^7 + 1261774523861712752/1002446038885130575*c_1010_11^6 - 568064012192454724/200489207777026115*c_1010_11^5 + 3853075500088397844/200489207777026115*c_1010_11^4 + 6262453306295743268/1002446038885130575*c_1010_11^3 - 1485511162783760572/200489207777026115*c_1010_11^2 - 517884735168332048/200489207777026115*c_1010_11 + 2868992034173122033/1002446038885130575, c_0101_12 + 1, c_0101_6 - 22601241504/26474837815*c_1010_11^15 - 30252581200/5294967563*c_1010_11^14 + 2389654666/1151079905*c_1010_11^13 + 784052733512/26474837815*c_1010_11^12 + 341170338036/26474837815*c_1010_11^11 - 104122639812/5294967563*c_1010_11^10 + 568219258433/26474837815*c_1010_11^9 + 355398138646/26474837815*c_1010_11^8 - 257477640686/5294967563*c_1010_11^7 - 117805629716/26474837815*c_1010_11^6 + 69947346018/5294967563*c_1010_11^5 - 229717776181/5294967563*c_1010_11^4 - 371458606454/26474837815*c_1010_11^3 + 117989382823/5294967563*c_1010_11^2 - 4613155407/5294967563*c_1010_11 - 218594612664/26474837815, c_0110_5 + 22425392759947552/200489207777026115*c_1010_11^15 - 33291633308809072/40097841555405223*c_1010_11^14 - 6169405093437058/8716922077262005*c_1010_11^13 + 834305658141342704/200489207777026115*c_1010_11^12 + 437952828508373902/200489207777026115*c_1010_11^11 - 185007926938441240/40097841555405223*c_1010_11^10 + 511538746515745946/200489207777026115*c_1010_11^9 + 643716352300211202/200489207777026115*c_1010_11^8 - 285348904471702948/40097841555405223*c_1010_11^7 - 68377111970611462/200489207777026115*c_1010_11^6 + 152322926678699134/40097841555405223*c_1010_11^5 - 186076521527988667/40097841555405223*c_1010_11^4 - 452080528253764578/200489207777026115*c_1010_11^3 + 125639051921091496/40097841555405223*c_1010_11^2 + 70036546937656378/40097841555405223*c_1010_11 - 363470708259665078/200489207777026115, c_1001_4 - 44504329688782848/40097841555405223*c_1010_11^15 - 15204345183341280/40097841555405223*c_1010_11^14 + 9789876208875312/1743384415452401*c_1010_11^13 + 125153098574586930/40097841555405223*c_1010_11^12 - 190614275128428128/40097841555405223*c_1010_11^11 + 129498538024585596/40097841555405223*c_1010_11^10 + 142478823525510116/40097841555405223*c_1010_11^9 - 352625082751545604/40097841555405223*c_1010_11^8 - 56844303457021330/40097841555405223*c_1010_11^7 + 142511817346222080/40097841555405223*c_1010_11^6 - 253352699807831323/40097841555405223*c_1010_11^5 - 142555143817630974/40097841555405223*c_1010_11^4 + 145261270586045604/40097841555405223*c_1010_11^3 + 85454004460120320/40097841555405223*c_1010_11^2 - 84187155441406136/40097841555405223*c_1010_11 - 47105776792888833/40097841555405223, c_1010_11^16 + 5/2*c_1010_11^15 - 47/16*c_1010_11^14 - 13*c_1010_11^13 - 67/8*c_1010_11^12 + 5/4*c_1010_11^11 - 97/16*c_1010_11^10 - 49/16*c_1010_11^9 + 15*c_1010_11^8 + 77/8*c_1010_11^7 + 35/16*c_1010_11^6 + 15*c_1010_11^5 + 93/8*c_1010_11^4 - 35/8*c_1010_11^3 - 55/16*c_1010_11^2 + 41/16*c_1010_11 + 25/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB