Magma V2.19-8 Tue Aug 20 2013 23:40:05 on localhost [Seed = 2732901899] Type ? for help. Type -D to quit. Loading file "K14n3984__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n3984 geometric_solution 10.33721383 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.002081584675 0.672926315541 0 2 4 3 0132 3201 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 -2 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 0 0 0 0.480570354929 1.560327780665 5 6 1 0 0132 0132 2310 0132 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 -1 0 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480570354929 1.560327780665 7 6 1 8 0132 1023 0132 0132 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 1 -2 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.060800156690 0.737844796223 6 6 5 1 2031 1302 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610188735148 1.004816345852 2 7 8 4 0132 0132 0132 0132 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 2 -1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.060800156690 0.737844796223 3 2 4 4 1023 0132 1302 2031 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 0 0 0 0 0 0 0 0.610188735148 1.004816345852 3 5 10 9 0132 0132 0132 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 -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.506415304612 0.804441833546 9 10 3 5 0132 0132 0132 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 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.506415304612 0.804441833546 8 10 7 10 0132 0213 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636833449863 0.453327635517 9 8 9 7 3120 0132 0213 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 -1 1 0 0 0 1 -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.636833449863 0.453327635517 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_10'], 'c_1001_4' : d['c_0110_6'], 'c_1001_7' : d['c_0110_6'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0011_4'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_0110_6'], 'c_1010_10' : d['c_0110_6'], '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_0011_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_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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_1100_1'], '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'], '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' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_0110_10' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0110_6']})} 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_7, c_0110_6, c_1001_10, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 6833850767/714855168*c_1100_1^16 - 64067177/79428352*c_1100_1^15 + 24228488075/357427584*c_1100_1^14 + 5687792267/238285056*c_1100_1^13 + 220471948877/714855168*c_1100_1^12 + 139122838649/714855168*c_1100_1^11 + 115349878373/119142528*c_1100_1^10 + 685558690297/714855168*c_1100_1^9 + 12093436219/5584806*c_1100_1^8 + 23989327491/9928544*c_1100_1^7 + 569116235689/178713792*c_1100_1^6 + 442136630321/119142528*c_1100_1^5 + 1314000866291/714855168*c_1100_1^4 + 2095109487943/714855168*c_1100_1^3 + 45110547739/89356896*c_1100_1^2 + 193877598763/714855168*c_1100_1 - 71208664495/357427584, c_0011_0 - 1, c_0011_10 + 474071/28033536*c_1100_1^16 + 206781/9344512*c_1100_1^15 + 1500563/14016768*c_1100_1^14 + 1977747/9344512*c_1100_1^13 + 14567237/28033536*c_1100_1^12 + 30980177/28033536*c_1100_1^11 + 8358861/4672256*c_1100_1^10 + 112471441/28033536*c_1100_1^9 + 4255669/876048*c_1100_1^8 + 10611061/1168064*c_1100_1^7 + 60076033/7008384*c_1100_1^6 + 60875737/4672256*c_1100_1^5 + 220922075/28033536*c_1100_1^4 + 226002799/28033536*c_1100_1^3 + 18040567/3504192*c_1100_1^2 + 31360915/28033536*c_1100_1 - 6897559/14016768, c_0011_2 - c_1100_1, c_0011_4 + 4051625/28033536*c_1100_1^16 - 1232765/9344512*c_1100_1^15 + 16375325/14016768*c_1100_1^14 - 5917043/9344512*c_1100_1^13 + 153117371/28033536*c_1100_1^12 - 48147793/28033536*c_1100_1^11 + 81194627/4672256*c_1100_1^10 - 9119537/28033536*c_1100_1^9 + 32674903/876048*c_1100_1^8 + 6124451/1168064*c_1100_1^7 + 373907023/7008384*c_1100_1^6 + 54898887/4672256*c_1100_1^5 + 895855013/28033536*c_1100_1^4 + 486846289/28033536*c_1100_1^3 + 9203221/3504192*c_1100_1^2 + 36084685/28033536*c_1100_1 - 20229769/14016768, c_0101_0 - 2457817/28033536*c_1100_1^16 + 698893/9344512*c_1100_1^15 - 9575581/14016768*c_1100_1^14 + 2936995/9344512*c_1100_1^13 - 87801355/28033536*c_1100_1^12 + 20098913/28033536*c_1100_1^11 - 45710883/4672256*c_1100_1^10 - 23735999/28033536*c_1100_1^9 - 17964851/876048*c_1100_1^8 - 5924507/1168064*c_1100_1^7 - 199423103/7008384*c_1100_1^6 - 44354967/4672256*c_1100_1^5 - 402905749/28033536*c_1100_1^4 - 314667233/28033536*c_1100_1^3 - 505625/3504192*c_1100_1^2 + 48062179/28033536*c_1100_1 + 10142681/14016768, c_0101_1 + 317951/28033536*c_1100_1^16 - 142379/9344512*c_1100_1^15 + 941147/14016768*c_1100_1^14 - 560933/9344512*c_1100_1^13 + 6256829/28033536*c_1100_1^12 - 4612087/28033536*c_1100_1^11 + 1830629/4672256*c_1100_1^10 - 3639575/28033536*c_1100_1^9 - 199853/876048*c_1100_1^8 - 247851/1168064*c_1100_1^7 - 16689671/7008384*c_1100_1^6 - 1241455/4672256*c_1100_1^5 - 173957341/28033536*c_1100_1^4 + 25130167/28033536*c_1100_1^3 - 13374209/3504192*c_1100_1^2 - 35439653/28033536*c_1100_1 + 3721025/14016768, c_0101_2 - 4051625/28033536*c_1100_1^16 + 1232765/9344512*c_1100_1^15 - 16375325/14016768*c_1100_1^14 + 5917043/9344512*c_1100_1^13 - 153117371/28033536*c_1100_1^12 + 48147793/28033536*c_1100_1^11 - 81194627/4672256*c_1100_1^10 + 9119537/28033536*c_1100_1^9 - 32674903/876048*c_1100_1^8 - 6124451/1168064*c_1100_1^7 - 373907023/7008384*c_1100_1^6 - 54898887/4672256*c_1100_1^5 - 895855013/28033536*c_1100_1^4 - 486846289/28033536*c_1100_1^3 - 9203221/3504192*c_1100_1^2 - 36084685/28033536*c_1100_1 + 20229769/14016768, c_0101_7 - 3690487/28033536*c_1100_1^16 + 1062307/9344512*c_1100_1^15 - 14636275/14016768*c_1100_1^14 + 4871085/9344512*c_1100_1^13 - 136349029/28033536*c_1100_1^12 + 37306319/28033536*c_1100_1^11 - 71913357/4672256*c_1100_1^10 - 10796945/28033536*c_1100_1^9 - 28845977/876048*c_1100_1^8 - 6887069/1168064*c_1100_1^7 - 328266017/7008384*c_1100_1^6 - 56976441/4672256*c_1100_1^5 - 775355323/28033536*c_1100_1^4 - 458223119/28033536*c_1100_1^3 - 11831495/3504192*c_1100_1^2 - 26876243/28033536*c_1100_1 + 15314135/14016768, c_0110_6 + 2457817/28033536*c_1100_1^16 - 698893/9344512*c_1100_1^15 + 9575581/14016768*c_1100_1^14 - 2936995/9344512*c_1100_1^13 + 87801355/28033536*c_1100_1^12 - 20098913/28033536*c_1100_1^11 + 45710883/4672256*c_1100_1^10 + 23735999/28033536*c_1100_1^9 + 17964851/876048*c_1100_1^8 + 5924507/1168064*c_1100_1^7 + 199423103/7008384*c_1100_1^6 + 44354967/4672256*c_1100_1^5 + 402905749/28033536*c_1100_1^4 + 314667233/28033536*c_1100_1^3 + 505625/3504192*c_1100_1^2 - 48062179/28033536*c_1100_1 - 10142681/14016768, c_1001_10 - 3690487/28033536*c_1100_1^16 + 1062307/9344512*c_1100_1^15 - 14636275/14016768*c_1100_1^14 + 4871085/9344512*c_1100_1^13 - 136349029/28033536*c_1100_1^12 + 37306319/28033536*c_1100_1^11 - 71913357/4672256*c_1100_1^10 - 10796945/28033536*c_1100_1^9 - 28845977/876048*c_1100_1^8 - 6887069/1168064*c_1100_1^7 - 328266017/7008384*c_1100_1^6 - 56976441/4672256*c_1100_1^5 - 775355323/28033536*c_1100_1^4 - 458223119/28033536*c_1100_1^3 - 11831495/3504192*c_1100_1^2 - 26876243/28033536*c_1100_1 + 15314135/14016768, c_1100_1^17 - c_1100_1^16 + 8*c_1100_1^15 - 5*c_1100_1^14 + 37*c_1100_1^13 - 15*c_1100_1^12 + 116*c_1100_1^11 - 13*c_1100_1^10 + 242*c_1100_1^9 + 8*c_1100_1^8 + 332*c_1100_1^7 + 34*c_1100_1^6 + 169*c_1100_1^5 + 79*c_1100_1^4 - 10*c_1100_1^3 - 11*c_1100_1^2 - 12*c_1100_1 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.380 seconds, Total memory usage: 32.09MB