Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 1360055732] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2028 geometric_solution 5.56756452 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 3201 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 1 -1 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.524781772936 0.393233063888 0 2 4 3 0132 2310 0132 0132 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.798146920865 1.115333796796 5 6 0 1 0132 0132 0132 3201 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.818244347925 0.733663275289 6 5 1 5 2103 3201 0132 2031 0 0 0 0 0 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 -1 1 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.272081160956 0.598595620440 5 4 4 1 3120 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627406434676 0.515601828744 2 3 3 4 0132 1302 2310 3120 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 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 1.092157088581 0.712815386466 6 2 3 6 3012 0132 2103 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.027315601782 0.676258528112 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_2']), '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_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : 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_2, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 52614519968571851221519/5107719467038207597750*c_0101_5^14 + 221739294476075608661089/2553859733519103798875*c_0101_5^13 - 306162312836430726942047/5107719467038207597750*c_0101_5^12 - 1642720547534858106135997/5107719467038207597750*c_0101_5^11 + 2377994251680479740201989/5107719467038207597750*c_0101_5^10 - 959954789788918229671748/2553859733519103798875*c_0101_5^9 + 4700464928948469394588119/5107719467038207597750*c_0101_5^8 - 529456324938424419289879/510771946703820759775*c_0101_5^7 + 811616102392062130533019/2553859733519103798875*c_0101_5^6 - 327106422882976834648827/2553859733519103798875*c_0101_5^5 + 103724380247934126379211/510771946703820759775*c_0101_5^4 - 79948603758588971529913/2553859733519103798875*c_0101_5^3 - 326583669767811532655019/5107719467038207597750*c_0101_5^2 + 203713372133616523677201/5107719467038207597750*c_0101_5 - 104775760887869036890643/5107719467038207597750, c_0011_0 - 1, c_0011_2 + 15779721126662812641/20430877868152830391*c_0101_5^14 - 139223046206148066046/20430877868152830391*c_0101_5^13 + 155046691255319502398/20430877868152830391*c_0101_5^12 + 366192510209354294648/20430877868152830391*c_0101_5^11 - 843420078782600781520/20430877868152830391*c_0101_5^10 + 1138607821846029864225/20430877868152830391*c_0101_5^9 - 2096674740937094732988/20430877868152830391*c_0101_5^8 + 2706544533958059946908/20430877868152830391*c_0101_5^7 - 2236835105311851841818/20430877868152830391*c_0101_5^6 + 1694769872565590792597/20430877868152830391*c_0101_5^5 - 1259614592894225459844/20430877868152830391*c_0101_5^4 + 778569044544917388212/20430877868152830391*c_0101_5^3 - 396548953505438444012/20430877868152830391*c_0101_5^2 + 153182324345536838329/20430877868152830391*c_0101_5 - 20075419040001038593/20430877868152830391, c_0011_3 + 11201866718368891894/20430877868152830391*c_0101_5^14 - 101164013795233018473/20430877868152830391*c_0101_5^13 + 121946879546494703740/20430877868152830391*c_0101_5^12 + 303617609470334545954/20430877868152830391*c_0101_5^11 - 656749257064376831662/20430877868152830391*c_0101_5^10 + 691997415962364126752/20430877868152830391*c_0101_5^9 - 1454909869644309427379/20430877868152830391*c_0101_5^8 + 1956262288546794845795/20430877868152830391*c_0101_5^7 - 1307830893091417000890/20430877868152830391*c_0101_5^6 + 1013522871970853088566/20430877868152830391*c_0101_5^5 - 902603796864668559620/20430877868152830391*c_0101_5^4 + 489718858299514284322/20430877868152830391*c_0101_5^3 - 217201679709396160801/20430877868152830391*c_0101_5^2 + 84800436272939944132/20430877868152830391*c_0101_5 - 19401006634752460129/20430877868152830391, c_0011_4 - 17853228568369523385/20430877868152830391*c_0101_5^14 + 142578399869643114388/20430877868152830391*c_0101_5^13 - 49878529554122352946/20430877868152830391*c_0101_5^12 - 505331240950602148261/20430877868152830391*c_0101_5^11 + 543985647127602547605/20430877868152830391*c_0101_5^10 - 647327706648346376924/20430877868152830391*c_0101_5^9 + 1636202349037173247445/20430877868152830391*c_0101_5^8 - 1512967018055326251963/20430877868152830391*c_0101_5^7 + 796148012863356803909/20430877868152830391*c_0101_5^6 - 815347690835575215369/20430877868152830391*c_0101_5^5 + 617991105425274708338/20430877868152830391*c_0101_5^4 - 283512864586391402793/20430877868152830391*c_0101_5^3 + 99533525474358151607/20430877868152830391*c_0101_5^2 - 35466046490872287643/20430877868152830391*c_0101_5 + 13111651103880329862/20430877868152830391, c_0101_0 - 938722898485078021/20430877868152830391*c_0101_5^14 + 1584627454755919415/20430877868152830391*c_0101_5^13 + 48763794427731364966/20430877868152830391*c_0101_5^12 - 72017934052750878869/20430877868152830391*c_0101_5^11 - 158656985996658124907/20430877868152830391*c_0101_5^10 + 251852549860105084069/20430877868152830391*c_0101_5^9 - 141467652521143389254/20430877868152830391*c_0101_5^8 + 567651707307678185316/20430877868152830391*c_0101_5^7 - 716258514615878991674/20430877868152830391*c_0101_5^6 + 277008664603514887866/20430877868152830391*c_0101_5^5 - 280239385318199678701/20430877868152830391*c_0101_5^4 + 289058353235734068459/20430877868152830391*c_0101_5^3 - 105341577119782478985/20430877868152830391*c_0101_5^2 + 30704846973852363818/20430877868152830391*c_0101_5 - 9821553470276453674/20430877868152830391, c_0101_1 - 6243646398325114667/20430877868152830391*c_0101_5^14 + 36498640673080968592/20430877868152830391*c_0101_5^13 + 90096855191674691618/20430877868152830391*c_0101_5^12 - 222196455351907385726/20430877868152830391*c_0101_5^11 - 172828382336274239256/20430877868152830391*c_0101_5^10 + 200947214461586906324/20430877868152830391*c_0101_5^9 + 12787106054695260518/20430877868152830391*c_0101_5^8 + 771280091520641540296/20430877868152830391*c_0101_5^7 - 974602868227213449620/20430877868152830391*c_0101_5^6 + 510021083497514390447/20430877868152830391*c_0101_5^5 - 540171743536223310992/20430877868152830391*c_0101_5^4 + 414612667996885759049/20430877868152830391*c_0101_5^3 - 228457349616957135849/20430877868152830391*c_0101_5^2 + 109166387089334136755/20430877868152830391*c_0101_5 - 17577072403989128780/20430877868152830391, c_0101_5^15 - 67/7*c_0101_5^14 + 16*c_0101_5^13 + 137/7*c_0101_5^12 - 521/7*c_0101_5^11 + 711/7*c_0101_5^10 - 1154/7*c_0101_5^9 + 1703/7*c_0101_5^8 - 1544/7*c_0101_5^7 + 1053/7*c_0101_5^6 - 783/7*c_0101_5^5 + 548/7*c_0101_5^4 - 275/7*c_0101_5^3 + 89/7*c_0101_5^2 - 2*c_0101_5 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB