Magma V2.19-8 Wed Aug 21 2013 00:12:01 on localhost [Seed = 1646530113] Type ? for help. Type -D to quit. Loading file "K13n307__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n307 geometric_solution 12.08256071 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 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 0.580911170285 0.307680369067 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.549982441893 0.807717170032 4 0 3 8 1023 0132 0321 0132 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 -1 0 1 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.411802797175 0.883977153661 9 10 2 0 0132 0132 0321 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393612391664 0.610506822564 7 2 0 9 0132 1023 0132 2103 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 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 1.509630010098 0.662523926874 9 1 8 11 1230 0132 2103 0132 0 0 0 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 0 1 -1 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.592826235752 0.592584401362 12 11 1 8 0132 2103 0132 2103 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424034434294 0.845876597745 4 12 11 1 0132 3120 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526383835648 0.944783718816 5 10 2 6 2103 0213 0132 2103 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 -1 1 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.512743736165 0.628367050713 3 5 12 4 0132 3012 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.076826716342 2.083064684389 11 3 8 12 0213 0132 0213 3012 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 -1 1 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.362898516220 0.757956577326 10 6 5 7 0213 2103 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 -1 1 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.644705397960 1.031996230879 6 7 10 9 0132 3120 1230 0132 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 -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.424034434294 0.845876597745 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : negation(d['c_1001_12']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : negation(d['c_0011_12']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_12']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_0']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_0']), 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : negation(d['c_0101_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_8']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_0110_8']), 'c_1100_6' : negation(d['c_0110_8']), 'c_1100_1' : negation(d['c_0110_8']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_8']), 'c_1100_10' : negation(d['c_1001_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_12']), 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0101_5']), 'c_1010_8' : negation(d['c_1001_12']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_7']), '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' : d['c_0011_11'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), '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_7'], 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), '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_5'], 'c_0011_10' : 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_0101_2']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12']})} 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_12, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_7, c_0110_8, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 986507/912*c_1001_12^7 + 4354255/456*c_1001_12^6 + 16994725/456*c_1001_12^5 + 32483513/456*c_1001_12^4 + 39399151/456*c_1001_12^3 + 28043035/456*c_1001_12^2 + 639595/24*c_1001_12 + 3736669/912, c_0011_0 - 1, c_0011_10 + 2/3*c_1001_12^7 + 16/3*c_1001_12^6 + 18*c_1001_12^5 + 74/3*c_1001_12^4 + 56/3*c_1001_12^3 + 13/3*c_1001_12^2 - c_1001_12 - 1/3, c_0011_11 + c_1001_12 + 1, c_0011_12 - 1/6*c_1001_12^7 - 5/3*c_1001_12^6 - 22/3*c_1001_12^5 - 50/3*c_1001_12^4 - 68/3*c_1001_12^3 - 59/3*c_1001_12^2 - 28/3*c_1001_12 - 13/6, c_0101_0 - 1/6*c_1001_12^7 - 2*c_1001_12^6 - 31/3*c_1001_12^5 - 28*c_1001_12^4 - 125/3*c_1001_12^3 - 35*c_1001_12^2 - 46/3*c_1001_12 - 3/2, c_0101_1 + 1/6*c_1001_12^7 + 5/3*c_1001_12^6 + 7*c_1001_12^5 + 14*c_1001_12^4 + 41/3*c_1001_12^3 + 23/3*c_1001_12^2 + c_1001_12 + 1/2, c_0101_12 + 1/6*c_1001_12^7 + 5/3*c_1001_12^6 + 7*c_1001_12^5 + 14*c_1001_12^4 + 41/3*c_1001_12^3 + 23/3*c_1001_12^2 + c_1001_12 + 1/2, c_0101_2 + 5/6*c_1001_12^7 + 22/3*c_1001_12^6 + 85/3*c_1001_12^5 + 158/3*c_1001_12^4 + 181/3*c_1001_12^3 + 118/3*c_1001_12^2 + 46/3*c_1001_12 + 13/6, c_0101_5 - 1/2*c_1001_12^7 - 4*c_1001_12^6 - 14*c_1001_12^5 - 67/3*c_1001_12^4 - 26*c_1001_12^3 - 17*c_1001_12^2 - 8*c_1001_12 - 5/6, c_0101_7 + 1/6*c_1001_12^7 + 5/3*c_1001_12^6 + 7*c_1001_12^5 + 14*c_1001_12^4 + 41/3*c_1001_12^3 + 23/3*c_1001_12^2 + c_1001_12 + 1/2, c_0110_8 - 1/2*c_1001_12^7 - 11/3*c_1001_12^6 - 11*c_1001_12^5 - 32/3*c_1001_12^4 - 5*c_1001_12^3 + 10/3*c_1001_12^2 + 2*c_1001_12 + 5/6, c_1001_0 - 1/6*c_1001_12^7 - 4/3*c_1001_12^6 - 14/3*c_1001_12^5 - 22/3*c_1001_12^4 - 23/3*c_1001_12^3 - 7/3*c_1001_12^2 + 4/3*c_1001_12 + 7/6, c_1001_12^8 + 9*c_1001_12^7 + 36*c_1001_12^6 + 72*c_1001_12^5 + 92*c_1001_12^4 + 72*c_1001_12^3 + 36*c_1001_12^2 + 9*c_1001_12 + 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_12, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_7, c_0110_8, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 31350395/169247848*c_1001_0^10 - 69010957/253871772*c_1001_0^9 + 361282307/507743544*c_1001_0^8 + 16327501/63467943*c_1001_0^7 - 817505933/507743544*c_1001_0^6 + 707061653/253871772*c_1001_0^5 + 961462421/507743544*c_1001_0^4 - 3988337539/507743544*c_1001_0^3 + 81350777/42311962*c_1001_0^2 + 263554541/63467943*c_1001_0 - 128709337/46158504, c_0011_0 - 1, c_0011_10 + 1529/8863*c_1001_0^10 + 941/8863*c_1001_0^9 - 8126/8863*c_1001_0^8 + 3610/8863*c_1001_0^7 + 23406/8863*c_1001_0^6 - 28468/8863*c_1001_0^5 - 18638/8863*c_1001_0^4 + 63836/8863*c_1001_0^3 - 38723/8863*c_1001_0^2 - 28399/8863*c_1001_0 + 34435/8863, c_0011_11 + 512/8863*c_1001_0^10 + 831/8863*c_1001_0^9 - 2495/8863*c_1001_0^8 - 1446/8863*c_1001_0^7 + 11449/8863*c_1001_0^6 + 733/8863*c_1001_0^5 - 27903/8863*c_1001_0^4 + 3111/8863*c_1001_0^3 + 32780/8863*c_1001_0^2 - 6223/8863*c_1001_0 - 14235/8863, c_0011_12 + 1240/8863*c_1001_0^10 + 2705/8863*c_1001_0^9 - 6735/8863*c_1001_0^8 - 12642/8863*c_1001_0^7 + 23712/8863*c_1001_0^6 + 26010/8863*c_1001_0^5 - 50544/8863*c_1001_0^4 - 19470/8863*c_1001_0^3 + 53354/8863*c_1001_0^2 + 4178/8863*c_1001_0 - 24643/8863, c_0101_0 - 1944/8863*c_1001_0^10 - 524/8863*c_1001_0^9 + 15705/8863*c_1001_0^8 - 880/8863*c_1001_0^7 - 51641/8863*c_1001_0^6 + 27268/8863*c_1001_0^5 + 85587/8863*c_1001_0^4 - 78977/8863*c_1001_0^3 - 40817/8863*c_1001_0^2 + 45370/8863*c_1001_0 + 1009/8863, c_0101_1 + 4597/8863*c_1001_0^10 + 3774/8863*c_1001_0^9 - 29793/8863*c_1001_0^8 - 6855/8863*c_1001_0^7 + 94711/8863*c_1001_0^6 - 32731/8863*c_1001_0^5 - 152671/8863*c_1001_0^4 + 117445/8863*c_1001_0^3 + 59377/8863*c_1001_0^2 - 62434/8863*c_1001_0 + 10831/8863, c_0101_12 + 4597/8863*c_1001_0^10 + 3774/8863*c_1001_0^9 - 29793/8863*c_1001_0^8 - 6855/8863*c_1001_0^7 + 94711/8863*c_1001_0^6 - 32731/8863*c_1001_0^5 - 152671/8863*c_1001_0^4 + 117445/8863*c_1001_0^3 + 59377/8863*c_1001_0^2 - 62434/8863*c_1001_0 + 10831/8863, c_0101_2 - 682/8863*c_1001_0^10 + 728/8863*c_1001_0^9 + 5920/8863*c_1001_0^8 - 8114/8863*c_1001_0^7 - 20132/8863*c_1001_0^6 + 34441/8863*c_1001_0^5 + 24254/8863*c_1001_0^4 - 73490/8863*c_1001_0^3 + 14084/8863*c_1001_0^2 + 44676/8863*c_1001_0 - 17910/8863, c_0101_5 - 714/8863*c_1001_0^10 + 1230/8863*c_1001_0^9 + 5522/8863*c_1001_0^8 - 13563/8863*c_1001_0^7 - 16970/8863*c_1001_0^6 + 53783/8863*c_1001_0^5 + 7718/8863*c_1001_0^4 - 104151/8863*c_1001_0^3 + 49703/8863*c_1001_0^2 + 53374/8863*c_1001_0 - 37516/8863, c_0101_7 + 4597/8863*c_1001_0^10 + 3774/8863*c_1001_0^9 - 29793/8863*c_1001_0^8 - 6855/8863*c_1001_0^7 + 94711/8863*c_1001_0^6 - 32731/8863*c_1001_0^5 - 152671/8863*c_1001_0^4 + 117445/8863*c_1001_0^3 + 59377/8863*c_1001_0^2 - 62434/8863*c_1001_0 + 10831/8863, c_0110_8 - 1944/8863*c_1001_0^10 - 524/8863*c_1001_0^9 + 15705/8863*c_1001_0^8 - 880/8863*c_1001_0^7 - 51641/8863*c_1001_0^6 + 27268/8863*c_1001_0^5 + 85587/8863*c_1001_0^4 - 78977/8863*c_1001_0^3 - 40817/8863*c_1001_0^2 + 45370/8863*c_1001_0 + 1009/8863, c_1001_0^11 + c_1001_0^10 - 7*c_1001_0^9 - 3*c_1001_0^8 + 25*c_1001_0^7 - 3*c_1001_0^6 - 49*c_1001_0^5 + 26*c_1001_0^4 + 41*c_1001_0^3 - 30*c_1001_0^2 - 11*c_1001_0 + 11, c_1001_12 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.150 Total time: 2.359 seconds, Total memory usage: 87.12MB