Magma V2.19-8 Wed Aug 21 2013 01:05:13 on localhost [Seed = 560413105] Type ? for help. Type -D to quit. Loading file "L14n25299__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n25299 geometric_solution 11.83992289 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 1 1 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 -1 1 0 0 0 1 -1 0 -1 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760554183950 0.755053525827 0 2 6 5 0132 2031 0132 0132 0 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 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598802292069 0.500766871809 1 0 8 7 1302 0132 0132 0132 1 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 1 -1 0 0 0 0 0 0 2 0 -2 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598802292069 0.500766871809 9 10 11 0 0132 0132 0132 0132 1 1 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 1 -1 2 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.202835211221 0.574135037265 11 7 0 5 1023 0132 0132 2103 1 1 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 -1 0 1 0 -1 2 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424791852054 1.095662122424 9 10 1 4 2103 3201 0132 2103 0 1 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 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.109382195690 1.302341204464 9 12 10 1 1023 0132 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880681545443 0.788471909833 12 4 2 8 2310 0132 0132 0321 1 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 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619017126194 0.700648275142 12 7 11 2 3120 0321 1302 0132 1 0 0 0 0 0 0 0 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 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.962810690071 1.369730072707 3 6 5 11 0132 1023 2103 0132 1 1 0 0 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 -2 0 0 2 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.755457965958 0.947602106502 12 3 5 6 0132 0132 2310 1302 1 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 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.493430026878 0.572228451759 8 4 9 3 2031 1023 0132 0132 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 1 0 -1 1 0 -2 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.017280167390 0.821829747413 10 6 7 8 0132 0132 3201 3120 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631318163391 1.379657145062 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : negation(d['c_0011_8']), 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : d['c_0110_4'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_0'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_11'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0110_4']), 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_1' : negation(d['c_0110_4']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_0101_11'], 's_3_11' : negation(d['1']), 'c_1100_9' : negation(d['c_0110_5']), 'c_1100_11' : negation(d['c_0110_5']), 'c_1100_10' : d['c_0011_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : d['c_0011_8'], 'c_0110_12' : d['c_0011_0'], 'c_0101_12' : d['c_0011_8'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], '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_0'], 'c_0101_8' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_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_5, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0110_4, c_0110_5, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 1464486602909454798/4676636713516776527*c_1001_2^12 - 11390090357327305186/4676636713516776527*c_1001_2^11 - 19455639913170491608/4676636713516776527*c_1001_2^10 + 39711084461364660060/4676636713516776527*c_1001_2^9 + 135425682271969895992/4676636713516776527*c_1001_2^8 + 83024358221145789154/4676636713516776527*c_1001_2^7 - 58749380762764161813/4676636713516776527*c_1001_2^6 - 199233394494644484381/4676636713516776527*c_1001_2^5 - 56134448527870826265/4676636713516776527*c_1001_2^4 + 69653239476334849927/4676636713516776527*c_1001_2^3 - 43463501222826632091/4676636713516776527*c_1001_2^2 + 772893942614397184/126395586851804771*c_1001_2 + 60056099432415529354/4676636713516776527, c_0011_0 - 1, c_0011_10 - 6952377284/285008263519*c_1001_2^12 - 54788072888/285008263519*c_1001_2^11 - 14189284078/40715466217*c_1001_2^10 + 24273664517/40715466217*c_1001_2^9 + 646421745832/285008263519*c_1001_2^8 + 427729107903/285008263519*c_1001_2^7 - 392947854055/285008263519*c_1001_2^6 - 1132435818138/285008263519*c_1001_2^5 - 206719284299/285008263519*c_1001_2^4 + 287605403152/285008263519*c_1001_2^3 - 38310910049/285008263519*c_1001_2^2 + 208421489522/285008263519*c_1001_2 + 207101101057/285008263519, c_0011_11 + 57166693195/285008263519*c_1001_2^12 + 534885522848/285008263519*c_1001_2^11 + 228295129112/40715466217*c_1001_2^10 + 147004954683/40715466217*c_1001_2^9 - 2823597943398/285008263519*c_1001_2^8 - 4868065451714/285008263519*c_1001_2^7 - 2440349895889/285008263519*c_1001_2^6 + 3466013546248/285008263519*c_1001_2^5 + 5037543809996/285008263519*c_1001_2^4 + 277984785174/285008263519*c_1001_2^3 + 1704555125661/285008263519*c_1001_2^2 - 264470344807/285008263519*c_1001_2 - 2449118615701/285008263519, c_0011_5 + 497302928/40715466217*c_1001_2^12 + 5346827553/40715466217*c_1001_2^11 + 18035511114/40715466217*c_1001_2^10 + 8498280732/40715466217*c_1001_2^9 - 61448885483/40715466217*c_1001_2^8 - 91145797108/40715466217*c_1001_2^7 - 1703688932/40715466217*c_1001_2^6 + 91051539346/40715466217*c_1001_2^5 + 151000025610/40715466217*c_1001_2^4 - 32154856779/40715466217*c_1001_2^3 + 25357595224/40715466217*c_1001_2^2 - 38014495671/40715466217*c_1001_2 - 111530712567/40715466217, c_0011_8 - 6750484627/285008263519*c_1001_2^12 - 134296019332/285008263519*c_1001_2^11 - 110374209072/40715466217*c_1001_2^10 - 208360011892/40715466217*c_1001_2^9 + 423830880750/285008263519*c_1001_2^8 + 3532653969731/285008263519*c_1001_2^7 + 2604504152437/285008263519*c_1001_2^6 + 153412465580/285008263519*c_1001_2^5 - 5123072089862/285008263519*c_1001_2^4 - 33998295512/285008263519*c_1001_2^3 - 339424359776/285008263519*c_1001_2^2 - 2041230676406/285008263519*c_1001_2 + 2767700121817/285008263519, c_0101_0 - 1, c_0101_1 + 3195906646/40715466217*c_1001_2^12 + 18747683237/40715466217*c_1001_2^11 - 102273873/40715466217*c_1001_2^10 - 132984251492/40715466217*c_1001_2^9 - 88757529683/40715466217*c_1001_2^8 + 230994467486/40715466217*c_1001_2^7 + 171168119490/40715466217*c_1001_2^6 + 179509255293/40715466217*c_1001_2^5 - 546896746074/40715466217*c_1001_2^4 + 16896622373/40715466217*c_1001_2^3 + 158967998147/40715466217*c_1001_2^2 - 265143976925/40715466217*c_1001_2 + 304302781856/40715466217, c_0101_11 + 1714008459/40715466217*c_1001_2^12 + 4495022665/40715466217*c_1001_2^11 - 45507495631/40715466217*c_1001_2^10 - 173971718915/40715466217*c_1001_2^9 - 33826145584/40715466217*c_1001_2^8 + 366832898063/40715466217*c_1001_2^7 + 289322206121/40715466217*c_1001_2^6 + 165221668032/40715466217*c_1001_2^5 - 644672392273/40715466217*c_1001_2^4 - 39739438627/40715466217*c_1001_2^3 + 31429540567/40715466217*c_1001_2^2 - 293141511308/40715466217*c_1001_2 + 336351256650/40715466217, c_0101_7 - 14163564340/40715466217*c_1001_2^12 - 113078569304/40715466217*c_1001_2^11 - 239512199300/40715466217*c_1001_2^10 + 82943138181/40715466217*c_1001_2^9 + 601750915546/40715466217*c_1001_2^8 + 357377479418/40715466217*c_1001_2^7 + 37340385891/40715466217*c_1001_2^6 - 943288599598/40715466217*c_1001_2^5 + 110522882258/40715466217*c_1001_2^4 - 38280424994/40715466217*c_1001_2^3 - 392425067544/40715466217*c_1001_2^2 + 534315855406/40715466217*c_1001_2 - 74586220540/40715466217, c_0110_4 - 10967657694/40715466217*c_1001_2^12 - 94330886067/40715466217*c_1001_2^11 - 239614473173/40715466217*c_1001_2^10 - 50041113311/40715466217*c_1001_2^9 + 512993385863/40715466217*c_1001_2^8 + 588371946904/40715466217*c_1001_2^7 + 208508505381/40715466217*c_1001_2^6 - 763779344305/40715466217*c_1001_2^5 - 436373863816/40715466217*c_1001_2^4 - 21383802621/40715466217*c_1001_2^3 - 233457069397/40715466217*c_1001_2^2 + 269171878481/40715466217*c_1001_2 + 229716561316/40715466217, c_0110_5 + 500917745/40715466217*c_1001_2^12 + 9791797105/40715466217*c_1001_2^11 + 55576939940/40715466217*c_1001_2^10 + 102338280674/40715466217*c_1001_2^9 - 37428469942/40715466217*c_1001_2^8 - 259189010720/40715466217*c_1001_2^7 - 192173218915/40715466217*c_1001_2^6 - 17415215490/40715466217*c_1001_2^5 + 384080379692/40715466217*c_1001_2^4 + 14140792067/40715466217*c_1001_2^3 + 47054455348/40715466217*c_1001_2^2 + 107134198257/40715466217*c_1001_2 - 187758221523/40715466217, c_1001_0 - 1484063043/40715466217*c_1001_2^12 - 17390192525/40715466217*c_1001_2^11 - 69839266948/40715466217*c_1001_2^10 - 88254790279/40715466217*c_1001_2^9 + 93768773862/40715466217*c_1001_2^8 + 293704318788/40715466217*c_1001_2^7 + 169582063941/40715466217*c_1001_2^6 - 111353043134/40715466217*c_1001_2^5 - 399221100861/40715466217*c_1001_2^4 - 12760084757/40715466217*c_1001_2^3 - 21165565741/40715466217*c_1001_2^2 - 64715996032/40715466217*c_1001_2 + 187700623930/40715466217, c_1001_2^13 + 8*c_1001_2^12 + 16*c_1001_2^11 - 14*c_1001_2^10 - 61*c_1001_2^9 - 21*c_1001_2^8 + 44*c_1001_2^7 + 99*c_1001_2^6 - 4*c_1001_2^5 - 71*c_1001_2^4 + 24*c_1001_2^3 - 37*c_1001_2^2 - 20*c_1001_2 + 37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB