Magma V2.19-8 Tue Aug 20 2013 23:42:47 on localhost [Seed = 3019233012] Type ? for help. Type -D to quit. Loading file "L13n5864__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5864 geometric_solution 9.84357132 oriented_manifold CS_known -0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 11 1 2 1 2 0132 0132 2031 1230 0 0 1 0 0 1 0 -1 -1 0 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 -1 -1 2 2 0 -2 0 -1 1 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517406384259 1.255308199537 0 3 4 0 0132 0132 0132 1302 0 0 0 1 0 1 0 -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 0 0 0 0 -2 0 2 -2 0 0 2 -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.719335976634 0.680934485088 0 0 6 5 3012 0132 0132 0132 0 0 0 1 0 -1 1 0 1 0 -1 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 -2 0 2 0 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.266818641447 0.694040736289 4 1 7 6 0321 0132 0132 1230 0 1 1 0 0 -1 0 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 0 0 0 0 2 0 -2 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.973962349951 0.571012269866 3 8 5 1 0321 0132 3012 0132 0 0 1 1 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 -1 0 1 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.200494402959 1.016352470607 7 4 2 9 1230 1230 0132 0132 0 0 1 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 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.284340196965 0.998662954475 3 7 8 2 3012 0213 1023 0132 0 0 1 1 0 1 0 -1 -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 -1 0 1 2 0 0 -2 -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.172098505873 0.777549524945 9 5 6 3 1302 3012 0213 0132 0 1 0 1 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 0 0 0 0 0 -1 1 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216821237700 0.671218900693 10 4 6 10 0132 0132 1023 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412109069069 0.721326661708 10 7 5 10 1023 2031 0132 0132 0 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 1 0 0 -1 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.121958541729 0.627946815574 8 9 9 8 0132 1023 0132 1023 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 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.380601111232 0.642210869579 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_7'], 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : d['c_0101_6'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_10' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1100_10'], 'c_1100_8' : negation(d['c_1100_10']), 'c_1100_5' : d['c_1100_10'], 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_1100_10'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1100_10'], 'c_1100_10' : d['c_1100_10'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : negation(d['c_0011_5']), 's_3_1' : negation(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'], '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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : d['c_0011_7'], '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0011_5']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : negation(d['c_0011_5']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : negation(d['c_0011_10']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_5, c_0011_7, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_5, c_0101_6, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 5062045887981/201663886336*c_1100_10^10 - 3539629794319/18333080576*c_1100_10^9 - 58885840313403/201663886336*c_1100_10^8 + 52020353115817/100831943168*c_1100_10^7 + 43515731173285/201663886336*c_1100_10^6 - 14490567840581/6301996448*c_1100_10^5 + 178867784776795/201663886336*c_1100_10^4 + 272779728497563/100831943168*c_1100_10^3 - 852280853112885/201663886336*c_1100_10^2 + 73027074173309/201663886336*c_1100_10 - 24139221789619/201663886336, c_0011_0 - 1, c_0011_10 - 67599379/813160832*c_1100_10^10 - 47781497/73923712*c_1100_10^9 - 816442949/813160832*c_1100_10^8 + 708432355/406580416*c_1100_10^7 + 796061811/813160832*c_1100_10^6 - 203179917/25411276*c_1100_10^5 + 1642488037/813160832*c_1100_10^4 + 4176785017/406580416*c_1100_10^3 - 11151592291/813160832*c_1100_10^2 - 1258877373/813160832*c_1100_10 + 575579723/813160832, c_0011_5 + 29423619/406580416*c_1100_10^10 + 21404105/36961856*c_1100_10^9 + 410898261/406580416*c_1100_10^8 - 260821779/203290208*c_1100_10^7 - 522554403/406580416*c_1100_10^6 + 81539323/12705638*c_1100_10^5 - 3445941/406580416*c_1100_10^4 - 1818468169/203290208*c_1100_10^3 + 3849548371/406580416*c_1100_10^2 + 1574907661/406580416*c_1100_10 - 121211451/406580416, c_0011_7 - 225783439/1626321664*c_1100_10^10 - 167096685/147847424*c_1100_10^9 - 3415076649/1626321664*c_1100_10^8 + 1702246367/813160832*c_1100_10^7 + 3922169967/1626321664*c_1100_10^6 - 619763013/50822552*c_1100_10^5 - 1204153527/1626321664*c_1100_10^4 + 14032407341/813160832*c_1100_10^3 - 26607693087/1626321664*c_1100_10^2 - 13541635713/1626321664*c_1100_10 + 109489575/1626321664, c_0101_0 - 1, c_0101_10 - 187636969/1626321664*c_1100_10^10 - 137906939/147847424*c_1100_10^9 - 2746247711/1626321664*c_1100_10^8 + 1506621337/813160832*c_1100_10^7 + 3137348617/1626321664*c_1100_10^6 - 516470115/50822552*c_1100_10^5 + 3107839/1626321664*c_1100_10^4 + 11621407803/813160832*c_1100_10^3 - 23483875801/1626321664*c_1100_10^2 - 9865888391/1626321664*c_1100_10 + 410059409/1626321664, c_0101_2 - 30807497/1626321664*c_1100_10^10 - 23720347/147847424*c_1100_10^9 - 545813055/1626321664*c_1100_10^8 + 160118521/813160832*c_1100_10^7 + 638551785/1626321664*c_1100_10^6 - 84552427/50822552*c_1100_10^5 - 951736801/1626321664*c_1100_10^4 + 1939149915/813160832*c_1100_10^3 - 3862880441/1626321664*c_1100_10^2 - 3083019943/1626321664*c_1100_10 + 411540593/1626321664, c_0101_3 + 208503969/1626321664*c_1100_10^10 + 156774691/147847424*c_1100_10^9 + 3340015655/1626321664*c_1100_10^8 - 1491069009/813160832*c_1100_10^7 - 4458038977/1626321664*c_1100_10^6 + 564875395/50822552*c_1100_10^5 + 3933243129/1626321664*c_1100_10^4 - 13197990371/813160832*c_1100_10^3 + 21529942545/1626321664*c_1100_10^2 + 16838665807/1626321664*c_1100_10 + 439129591/1626321664, c_0101_5 + 30807497/1626321664*c_1100_10^10 + 23720347/147847424*c_1100_10^9 + 545813055/1626321664*c_1100_10^8 - 160118521/813160832*c_1100_10^7 - 638551785/1626321664*c_1100_10^6 + 84552427/50822552*c_1100_10^5 + 951736801/1626321664*c_1100_10^4 - 1939149915/813160832*c_1100_10^3 + 3862880441/1626321664*c_1100_10^2 + 3083019943/1626321664*c_1100_10 + 1214781071/1626321664, c_0101_6 - 30807497/1626321664*c_1100_10^10 - 23720347/147847424*c_1100_10^9 - 545813055/1626321664*c_1100_10^8 + 160118521/813160832*c_1100_10^7 + 638551785/1626321664*c_1100_10^6 - 84552427/50822552*c_1100_10^5 - 951736801/1626321664*c_1100_10^4 + 1939149915/813160832*c_1100_10^3 - 3862880441/1626321664*c_1100_10^2 - 3083019943/1626321664*c_1100_10 + 411540593/1626321664, c_1100_10^11 + 8*c_1100_10^10 + 14*c_1100_10^9 - 17*c_1100_10^8 - 15*c_1100_10^7 + 89*c_1100_10^6 - 7*c_1100_10^5 - 119*c_1100_10^4 + 135*c_1100_10^3 + 38*c_1100_10^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB