Magma V2.19-8 Wed Aug 21 2013 01:01:45 on localhost [Seed = 1629977268] Type ? for help. Type -D to quit. Loading file "L14n13332__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13332 geometric_solution 12.19029040 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 2310 0132 0132 1 0 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 0 0 0 0 0 0 0 1 0 -1 1 0 -2 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.253686566705 0.677053797935 0 4 4 0 0132 0132 3201 3201 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 0 0 0 0 0 0 0 0 -1 0 1 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.485284237792 1.295155437445 5 5 6 0 0132 3201 0132 0132 1 0 1 0 0 0 0 0 -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 0 0 0 -2 0 0 2 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.019571846869 0.992600995066 7 6 0 8 0132 0132 0132 0132 1 0 1 0 0 0 0 0 0 0 -1 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 1 -1 0 0 -1 1 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.126097373380 0.710422093717 1 1 5 9 2310 0132 0213 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 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.253686566705 0.677053797935 2 4 2 10 0132 0213 2310 0132 1 0 0 1 0 0 0 0 1 0 -1 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 2 0 -1 -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.496453890626 0.490225745995 11 3 8 2 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081349246715 1.207441300265 3 12 12 9 0132 0132 0321 2310 1 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 -3 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338957390932 1.003894792188 10 12 3 6 1302 0321 0132 0132 1 0 1 1 0 0 0 0 1 0 -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 -1 1 0 1 0 -1 0 -1 1 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.188937535374 1.097010869011 7 10 4 11 3201 0321 0132 2103 1 0 1 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 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.019571846869 0.992600995066 11 8 5 9 2103 2031 0132 0321 1 0 1 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 1 -1 0 3 0 -3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527167001815 1.377134323888 6 12 10 9 0132 1023 2103 2103 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 0 0 0 0 0 0 0 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 0 0 0.638729537323 0.795358911168 11 7 7 8 1023 0132 0321 0321 1 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 0 0 0 0 0 -1 0 1 4 0 -4 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.338957390932 1.003894792188 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_12' : d['c_0011_9'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_1001_0']), 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : d['c_0011_2'], 'c_1001_8' : d['c_1001_6'], 'c_1010_12' : d['c_1001_6'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : d['c_0011_8'], '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_0011_10'], '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_1100_9' : negation(d['c_0101_6']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : d['c_0011_2'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_1001_6'], 'c_1100_8' : d['c_1100_0'], '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' : d['c_1001_6'], '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_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : negation(d['c_0011_8']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_1']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_9']), 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_10']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_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_2, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_1001_0, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 2/21*c_1100_0^3 - 1/21*c_1100_0^2 + 11/21*c_1100_0 - 3/7, c_0011_0 - 1, c_0011_10 + c_1100_0^3 - c_1100_0^2 + c_1100_0 - 1, c_0011_11 + c_1100_0^3 - 2*c_1100_0^2 + 2*c_1100_0 - 2, c_0011_2 + c_1100_0, c_0011_8 - c_1100_0^2 + c_1100_0, c_0011_9 + c_1100_0^2 - c_1100_0, c_0101_0 + c_1100_0 - 1, c_0101_1 - 1, c_0101_10 - c_1100_0^2 + c_1100_0 - 2, c_0101_6 - c_1100_0 + 1, c_1001_0 + c_1100_0^2 - c_1100_0 + 1, c_1001_6 - 1, c_1100_0^4 - 2*c_1100_0^3 + 2*c_1100_0^2 - c_1100_0 + 1 ], 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_2, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_1001_0, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 8737134627829575330037/892786265919648*c_1100_0^14 + 133788825931608216556099/1785572531839296*c_1100_0^13 + 169447797725501521697527/1785572531839296*c_1100_0^12 - 375407854464324239121449/1785572531839296*c_1100_0^11 + 325836387806667480876239/14284580254714368*c_1100_0^10 - 483328434554995381969655/28569160509428736*c_1100_0^9 + 18570333955335627789292055/57138321018857472*c_1100_0^8 - 84159212067911313578778761/114276642037714944*c_1100_0^7 + 16248821574703677486814781/19046107006285824*c_1100_0^6 - 70694398016709147622940111/114276642037714944*c_1100_0^5 + 2925317838648894551525977/9523053503142912*c_1100_0^4 - 11675376498721769322914887/114276642037714944*c_1100_0^3 + 48860101001234385337141/2116234111809536*c_1100_0^2 - 140798676971093463999703/38092214012571648*c_1100_0 + 27724505500959984037321/57138321018857472, c_0011_0 - 1, c_0011_10 - 1793754093677/486267029368*c_1100_0^14 - 23208484076457/972534058736*c_1100_0^13 + 132262472951/243133514684*c_1100_0^12 + 70566440506541/486267029368*c_1100_0^11 - 451154167849871/7780272469888*c_1100_0^10 - 111030510010811/15560544939776*c_1100_0^9 - 4141004856225885/31121089879552*c_1100_0^8 + 26055499254714207/62242179759104*c_1100_0^7 - 35226941174538247/62242179759104*c_1100_0^6 + 28663799546307379/62242179759104*c_1100_0^5 - 16043827407232407/62242179759104*c_1100_0^4 + 5737448865925917/62242179759104*c_1100_0^3 - 1474164380574797/62242179759104*c_1100_0^2 + 140976979801021/62242179759104*c_1100_0 - 20195322550947/62242179759104, c_0011_11 + 17082981080297/486267029368*c_1100_0^14 + 269173735130869/972534058736*c_1100_0^13 + 97642146338725/243133514684*c_1100_0^12 - 326053469944713/486267029368*c_1100_0^11 - 618186599544989/7780272469888*c_1100_0^10 - 1220344302552929/15560544939776*c_1100_0^9 + 36215754203475353/31121089879552*c_1100_0^8 - 148032568557227123/62242179759104*c_1100_0^7 + 156990007057555899/62242179759104*c_1100_0^6 - 102621827104966327/62242179759104*c_1100_0^5 + 46365886961546059/62242179759104*c_1100_0^4 - 13979570966334681/62242179759104*c_1100_0^3 + 3234749033519625/62242179759104*c_1100_0^2 - 710982591961849/62242179759104*c_1100_0 + 75995746742631/62242179759104, c_0011_2 - 5566342469851/121566757342*c_1100_0^14 - 87575102916535/243133514684*c_1100_0^13 - 31558041215156/60783378671*c_1100_0^12 + 106903037198533/121566757342*c_1100_0^11 + 175007620517655/1945068117472*c_1100_0^10 + 383814342246555/3890136234944*c_1100_0^9 - 11760625424991331/7780272469888*c_1100_0^8 + 48556257218371121/15560544939776*c_1100_0^7 - 51699723937517621/15560544939776*c_1100_0^6 + 33993001071616581/15560544939776*c_1100_0^5 - 15275615653763773/15560544939776*c_1100_0^4 + 4417290565891043/15560544939776*c_1100_0^3 - 872567526728183/15560544939776*c_1100_0^2 + 148869193922107/15560544939776*c_1100_0 - 22333975017161/15560544939776, c_0011_8 + 663472360195/121566757342*c_1100_0^14 + 13996535174575/243133514684*c_1100_0^13 + 11029859298398/60783378671*c_1100_0^12 + 12065454242983/121566757342*c_1100_0^11 - 416911916689055/1945068117472*c_1100_0^10 - 263636433266611/3890136234944*c_1100_0^9 + 1006611454605115/7780272469888*c_1100_0^8 + 1236490923547623/15560544939776*c_1100_0^7 - 7484109778170155/15560544939776*c_1100_0^6 + 9037370982830003/15560544939776*c_1100_0^5 - 6055084595538243/15560544939776*c_1100_0^4 + 2597525641180645/15560544939776*c_1100_0^3 - 619899249301545/15560544939776*c_1100_0^2 + 101939995591501/15560544939776*c_1100_0 - 11496007716135/15560544939776, c_0011_9 - 8536352567857/243133514684*c_1100_0^14 - 137535130860861/486267029368*c_1100_0^13 - 55622998746889/121566757342*c_1100_0^12 + 131122122691241/243133514684*c_1100_0^11 + 338591869866501/3890136234944*c_1100_0^10 + 1327941042641033/7780272469888*c_1100_0^9 - 17142281368792577/15560544939776*c_1100_0^8 + 68519900215861931/31121089879552*c_1100_0^7 - 71995741689505987/31121089879552*c_1100_0^6 + 49272173166049199/31121089879552*c_1100_0^5 - 24061437884431123/31121089879552*c_1100_0^4 + 7980836060437505/31121089879552*c_1100_0^3 - 1968818516121889/31121089879552*c_1100_0^2 + 294336572014849/31121089879552*c_1100_0 - 32562343738095/31121089879552, c_0101_0 + 5566342469851/121566757342*c_1100_0^14 + 87575102916535/243133514684*c_1100_0^13 + 31558041215156/60783378671*c_1100_0^12 - 106903037198533/121566757342*c_1100_0^11 - 175007620517655/1945068117472*c_1100_0^10 - 383814342246555/3890136234944*c_1100_0^9 + 11760625424991331/7780272469888*c_1100_0^8 - 48556257218371121/15560544939776*c_1100_0^7 + 51699723937517621/15560544939776*c_1100_0^6 - 33993001071616581/15560544939776*c_1100_0^5 + 15275615653763773/15560544939776*c_1100_0^4 - 4417290565891043/15560544939776*c_1100_0^3 + 872567526728183/15560544939776*c_1100_0^2 - 148869193922107/15560544939776*c_1100_0 + 22333975017161/15560544939776, c_0101_1 - 1, c_0101_10 + 50826214566111/1945068117472*c_1100_0^14 + 791299697160083/3890136234944*c_1100_0^13 + 271021230601207/972534058736*c_1100_0^12 - 1035114528765687/1945068117472*c_1100_0^11 - 622415143003979/31121089879552*c_1100_0^10 - 2508346786450695/62242179759104*c_1100_0^9 + 108559783775297679/124484359518208*c_1100_0^8 - 460145220739932293/248968719036416*c_1100_0^7 + 502450414783547821/248968719036416*c_1100_0^6 - 338135670477004257/248968719036416*c_1100_0^5 + 154319373622609629/248968719036416*c_1100_0^4 - 45407272104831119/248968719036416*c_1100_0^3 + 8153499791943023/248968719036416*c_1100_0^2 - 696826528414831/248968719036416*c_1100_0 - 121671974567295/248968719036416, c_0101_6 + c_1100_0, c_1001_0 + 1/2*c_1100_0 + 1/2, c_1001_6 + 59205074364/1482521431*c_1100_0^14 + 453103573924/1482521431*c_1100_0^13 + 569622688849/1482521431*c_1100_0^12 - 1297792921027/1482521431*c_1100_0^11 + 429684165953/5930085724*c_1100_0^10 - 148584396429/5930085724*c_1100_0^9 + 15982636161669/11860171448*c_1100_0^8 - 17809572674861/5930085724*c_1100_0^7 + 324387305635271/94881371584*c_1100_0^6 - 57077000164977/23720342896*c_1100_0^5 + 108085970528887/94881371584*c_1100_0^4 - 4213296445483/11860171448*c_1100_0^3 + 6706136812045/94881371584*c_1100_0^2 - 262422839529/23720342896*c_1100_0 + 103610365213/94881371584, c_1100_0^15 + 15/2*c_1100_0^14 + 17/2*c_1100_0^13 - 23*c_1100_0^12 + 91/16*c_1100_0^11 - 67/32*c_1100_0^10 + 2143/64*c_1100_0^9 - 10297/128*c_1100_0^8 + 1583/16*c_1100_0^7 - 2459/32*c_1100_0^6 + 1321/32*c_1100_0^5 - 983/64*c_1100_0^4 + 4*c_1100_0^3 - 3/4*c_1100_0^2 + 7/64*c_1100_0 - 1/128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.450 seconds, Total memory usage: 32.09MB