Magma V2.19-8 Tue Aug 20 2013 23:39:31 on localhost [Seed = 3819276197] Type ? for help. Type -D to quit. Loading file "K11n95__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n95 geometric_solution 11.19714155 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 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 1 -1 0 0 0 0 -8 -1 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.621359838681 0.690193812222 0 4 6 5 0132 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 0 0 0 0 0 0 0 0 1 0 -1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465584415985 0.239271919608 5 0 4 7 1230 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 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.173758825885 1.115626746782 5 8 9 0 0132 0132 0132 0132 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 1 -1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597696626282 0.642232177823 10 1 0 2 0132 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 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.136301191174 0.875128234305 3 2 1 11 0132 3012 0132 0132 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 1 0 -1 -8 0 0 8 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.108279914208 1.222568569965 9 10 8 1 0132 3120 0132 0132 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 0 0 0 9 0 -9 0 -8 0 0 8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628562568993 0.985107847368 10 8 2 9 3120 0213 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 1 0 0 -1 -9 9 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444661756606 0.811191282784 11 3 7 6 0132 0132 0213 0132 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 -9 9 -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.539692780523 0.721411481492 6 11 7 3 0132 0321 0132 0132 0 0 0 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 1 0 -1 -9 0 1 8 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444661756606 0.811191282784 4 6 11 7 0132 3120 2310 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 -1 0 1 0 0 1 -1 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480386837677 0.947924262508 8 10 5 9 0132 3201 0132 0321 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 1 -1 0 0 -8 8 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.574627415880 0.839367279591 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_10']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_1001_10']), 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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_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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_9'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1001_9'], 'c_1100_1' : d['c_1001_9'], '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_1001_9'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_9'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : negation(d['c_1001_10']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : 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' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_11'], '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_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_1001_9']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_1001_0, c_1001_10, c_1001_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 388289107/63480136083*c_1100_0^9 + 13922065756/63480136083*c_1100_0^8 + 5965384783/63480136083*c_1100_0^7 - 7550080416/3022863623*c_1100_0^6 + 198401624476/63480136083*c_1100_0^5 + 12195864467/9068590869*c_1100_0^4 - 7988439594/3022863623*c_1100_0^3 - 1750568305/232527971*c_1100_0^2 + 28892354942/63480136083*c_1100_0 - 3424215061/1627695797, c_0011_0 - 1, c_0011_10 - 595075/53660301*c_1100_0^9 + 2480705/53660301*c_1100_0^8 + 9982303/53660301*c_1100_0^7 - 45577789/53660301*c_1100_0^6 + 9904210/17886767*c_1100_0^5 + 55634116/53660301*c_1100_0^4 - 9755055/17886767*c_1100_0^3 - 49622144/17886767*c_1100_0^2 + 78474647/53660301*c_1100_0 - 3509632/53660301, c_0011_11 + 1809335/17886767*c_1100_0^9 - 2059928/53660301*c_1100_0^8 - 70460713/53660301*c_1100_0^7 + 157025923/53660301*c_1100_0^6 - 51939892/53660301*c_1100_0^5 - 149073679/53660301*c_1100_0^4 - 70643861/53660301*c_1100_0^3 + 304376338/53660301*c_1100_0^2 - 196549793/53660301*c_1100_0 + 70677488/53660301, c_0011_6 - 2287609/53660301*c_1100_0^9 - 789560/53660301*c_1100_0^8 + 31236128/53660301*c_1100_0^7 - 43658342/53660301*c_1100_0^6 - 37089920/53660301*c_1100_0^5 + 84802166/53660301*c_1100_0^4 + 78167882/53660301*c_1100_0^3 - 106263301/53660301*c_1100_0^2 - 32592275/53660301*c_1100_0 + 7013568/17886767, c_0101_0 - 1229087/53660301*c_1100_0^9 + 1959221/53660301*c_1100_0^8 + 16444726/53660301*c_1100_0^7 - 56092540/53660301*c_1100_0^6 + 42520646/53660301*c_1100_0^5 + 63693376/53660301*c_1100_0^4 - 64541666/53660301*c_1100_0^3 - 125087486/53660301*c_1100_0^2 + 119540195/53660301*c_1100_0 - 874557/17886767, c_0101_1 - 1629257/17886767*c_1100_0^9 + 1716824/53660301*c_1100_0^8 + 64173646/53660301*c_1100_0^7 - 139688980/53660301*c_1100_0^6 + 32136160/53660301*c_1100_0^5 + 148010824/53660301*c_1100_0^4 + 77363801/53660301*c_1100_0^3 - 311630878/53660301*c_1100_0^2 + 147742337/53660301*c_1100_0 + 1955047/53660301, c_0101_10 - 3002141/53660301*c_1100_0^9 + 3963152/53660301*c_1100_0^8 + 40613632/53660301*c_1100_0^7 - 124258150/53660301*c_1100_0^6 + 71703251/53660301*c_1100_0^5 + 120530884/53660301*c_1100_0^4 - 31037531/53660301*c_1100_0^3 - 270645956/53660301*c_1100_0^2 + 159109580/53660301*c_1100_0 - 1926976/17886767, c_0101_11 - 180078/17886767*c_1100_0^9 + 114368/17886767*c_1100_0^8 + 2095689/17886767*c_1100_0^7 - 5778981/17886767*c_1100_0^6 + 6601244/17886767*c_1100_0^5 + 354285/17886767*c_1100_0^4 - 2239980/17886767*c_1100_0^3 + 2418180/17886767*c_1100_0^2 + 16269152/17886767*c_1100_0 - 24210845/17886767, c_1001_0 + 595075/53660301*c_1100_0^9 - 2480705/53660301*c_1100_0^8 - 9982303/53660301*c_1100_0^7 + 45577789/53660301*c_1100_0^6 - 9904210/17886767*c_1100_0^5 - 55634116/53660301*c_1100_0^4 + 9755055/17886767*c_1100_0^3 + 49622144/17886767*c_1100_0^2 - 78474647/53660301*c_1100_0 + 3509632/53660301, c_1001_10 + 135059/53660301*c_1100_0^9 + 2947300/53660301*c_1100_0^8 - 634018/53660301*c_1100_0^7 - 32555231/53660301*c_1100_0^6 + 60220657/53660301*c_1100_0^5 - 5220289/53660301*c_1100_0^4 - 70774735/53660301*c_1100_0^3 - 53098417/53660301*c_1100_0^2 + 106578151/53660301*c_1100_0 - 24382688/17886767, c_1001_9 + 243378/17886767*c_1100_0^9 + 466595/53660301*c_1100_0^8 - 10616321/53660301*c_1100_0^7 + 13022558/53660301*c_1100_0^6 + 30508027/53660301*c_1100_0^5 - 60854405/53660301*c_1100_0^4 - 41509570/53660301*c_1100_0^3 + 95768015/53660301*c_1100_0^2 + 28103504/53660301*c_1100_0 - 69638432/53660301, c_1100_0^10 - c_1100_0^9 - 13*c_1100_0^8 + 37*c_1100_0^7 - 24*c_1100_0^6 - 27*c_1100_0^5 + 3*c_1100_0^4 + 68*c_1100_0^3 - 63*c_1100_0^2 + 25*c_1100_0 - 13 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_1001_0, c_1001_10, c_1001_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 10977738/189461*c_1100_0^11 - 4016549/189461*c_1100_0^10 - 13172075/189461*c_1100_0^9 + 40555213/378922*c_1100_0^8 - 17975136/189461*c_1100_0^7 + 11236104/189461*c_1100_0^6 + 73322045/378922*c_1100_0^5 - 27275719/378922*c_1100_0^4 + 20231708/189461*c_1100_0^3 - 28761195/378922*c_1100_0^2 + 50569869/378922*c_1100_0 + 27221837/378922, c_0011_0 - 1, c_0011_10 + 60308/189461*c_1100_0^11 - 162766/189461*c_1100_0^10 + 64584/189461*c_1100_0^9 + 231581/189461*c_1100_0^8 - 438843/189461*c_1100_0^7 + 463457/189461*c_1100_0^6 - 113152/189461*c_1100_0^5 - 469360/189461*c_1100_0^4 + 585565/189461*c_1100_0^3 - 356380/189461*c_1100_0^2 + 481045/189461*c_1100_0 - 222557/189461, c_0011_11 + 72304/189461*c_1100_0^11 - 94738/189461*c_1100_0^10 - 50657/189461*c_1100_0^9 + 197611/189461*c_1100_0^8 - 252379/189461*c_1100_0^7 + 203614/189461*c_1100_0^6 + 197974/189461*c_1100_0^5 - 344333/189461*c_1100_0^4 + 115148/189461*c_1100_0^3 - 209659/189461*c_1100_0^2 + 291402/189461*c_1100_0 - 30154/189461, c_0011_6 - 143452/189461*c_1100_0^11 + 149914/189461*c_1100_0^10 + 130072/189461*c_1100_0^9 - 285855/189461*c_1100_0^8 + 387975/189461*c_1100_0^7 - 423992/189461*c_1100_0^6 - 228498/189461*c_1100_0^5 + 363993/189461*c_1100_0^4 - 269500/189461*c_1100_0^3 + 568019/189461*c_1100_0^2 - 591666/189461*c_1100_0 + 159839/189461, c_0101_0 - 36058/189461*c_1100_0^11 + 39563/189461*c_1100_0^10 - 9373/189461*c_1100_0^9 - 47300/189461*c_1100_0^8 + 175695/189461*c_1100_0^7 - 225107/189461*c_1100_0^6 - 29647/189461*c_1100_0^5 + 42185/189461*c_1100_0^4 - 216133/189461*c_1100_0^3 + 283437/189461*c_1100_0^2 - 295237/189461*c_1100_0 + 119212/189461, c_0101_1 + 72304/189461*c_1100_0^11 - 94738/189461*c_1100_0^10 - 50657/189461*c_1100_0^9 + 197611/189461*c_1100_0^8 - 252379/189461*c_1100_0^7 + 203614/189461*c_1100_0^6 + 197974/189461*c_1100_0^5 - 344333/189461*c_1100_0^4 + 115148/189461*c_1100_0^3 - 209659/189461*c_1100_0^2 + 291402/189461*c_1100_0 - 30154/189461, c_0101_10 + c_1100_0, c_0101_11 + 86798/189461*c_1100_0^11 - 125311/189461*c_1100_0^10 - 74254/189461*c_1100_0^9 + 264596/189461*c_1100_0^8 - 352689/189461*c_1100_0^7 + 262867/189461*c_1100_0^6 + 191112/189461*c_1100_0^5 - 418394/189461*c_1100_0^4 + 361127/189461*c_1100_0^3 - 470281/189461*c_1100_0^2 + 279937/189461*c_1100_0 - 65515/189461, c_1001_0 - 60308/189461*c_1100_0^11 + 162766/189461*c_1100_0^10 - 64584/189461*c_1100_0^9 - 231581/189461*c_1100_0^8 + 438843/189461*c_1100_0^7 - 463457/189461*c_1100_0^6 + 113152/189461*c_1100_0^5 + 469360/189461*c_1100_0^4 - 585565/189461*c_1100_0^3 + 356380/189461*c_1100_0^2 - 481045/189461*c_1100_0 + 222557/189461, c_1001_10 + 14524/189461*c_1100_0^11 + 27402/189461*c_1100_0^10 - 60874/189461*c_1100_0^9 - 31463/189461*c_1100_0^8 + 98904/189461*c_1100_0^7 - 24440/189461*c_1100_0^6 + 120076/189461*c_1100_0^5 + 71901/189461*c_1100_0^4 - 139205/189461*c_1100_0^3 - 56485/189461*c_1100_0^2 - 47096/189461*c_1100_0 + 207490/189461, c_1001_9 - 14524/189461*c_1100_0^11 - 27402/189461*c_1100_0^10 + 60874/189461*c_1100_0^9 + 31463/189461*c_1100_0^8 - 98904/189461*c_1100_0^7 + 24440/189461*c_1100_0^6 - 120076/189461*c_1100_0^5 - 71901/189461*c_1100_0^4 + 139205/189461*c_1100_0^3 + 56485/189461*c_1100_0^2 + 47096/189461*c_1100_0 - 207490/189461, c_1100_0^12 - 3/2*c_1100_0^11 - 1/2*c_1100_0^10 + 3*c_1100_0^9 - 4*c_1100_0^8 + 7/2*c_1100_0^7 + 3/2*c_1100_0^6 - 9/2*c_1100_0^5 + 4*c_1100_0^4 - 4*c_1100_0^3 + 9/2*c_1100_0^2 - 2*c_1100_0 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.550 Total time: 0.760 seconds, Total memory usage: 32.09MB