Magma V2.19-8 Tue Aug 20 2013 23:29:39 on localhost [Seed = 1014651496] Type ? for help. Type -D to quit. Loading file "K10n4__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n4 geometric_solution 7.79830023 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 3 0132 0132 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 1 0 -1 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578783684408 0.833252068640 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 3 0 -3 0 0 -4 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.819685612753 0.786182676721 7 0 6 4 0132 0132 3012 3012 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 1 0 -4 0 4 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.033991983987 0.643679985890 8 0 5 0 0132 0321 0132 0132 0 0 0 0 0 0 0 0 1 0 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 1 -1 0 -3 0 0 3 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437691703092 0.809533102322 7 1 2 8 1023 0132 1230 1023 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.229073919820 0.462586129799 7 6 1 3 3120 0213 0132 0132 0 0 0 0 0 1 -1 0 -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 -4 3 1 4 0 -4 0 -1 4 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404552669087 0.720746285843 8 2 5 1 1230 1230 0213 0132 0 0 0 0 0 1 -1 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 -4 4 0 0 0 -4 4 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.902141613498 0.421873984151 2 4 8 5 0132 1023 3120 3120 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 1 -1 4 0 0 -4 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.619688436287 2.044394433844 3 6 7 4 0132 3012 3120 1023 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 3 0 0 -3 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.315466148284 2.167300093824 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0011_6']), 's_2_8' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_0_8' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_8' : negation(d['c_0101_7']), 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1001_3'], 'c_1100_3' : d['c_1001_3'], 'c_1100_2' : negation(d['c_1001_4']), 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_8' : negation(d['c_0011_5']), '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' : 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_8' : d['1'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), '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_0011_6'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_0'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_2, c_0101_7, c_1001_3, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 5714670509/827318824*c_1001_4^11 - 28325996703/413659412*c_1001_4^10 + 192666341067/827318824*c_1001_4^9 - 236904374523/413659412*c_1001_4^8 + 6783966719/6671926*c_1001_4^7 - 7940579922/5442887*c_1001_4^6 + 678531938095/413659412*c_1001_4^5 - 1228137427049/827318824*c_1001_4^4 + 853382934205/827318824*c_1001_4^3 - 530877290797/827318824*c_1001_4^2 + 53926181185/206829706*c_1001_4 - 7645859883/103414853, c_0011_0 - 1, c_0011_3 - 1287886/11763659*c_1001_4^11 + 26281635/23527318*c_1001_4^10 - 47515978/11763659*c_1001_4^9 + 246231043/23527318*c_1001_4^8 - 232282041/11763659*c_1001_4^7 + 353317253/11763659*c_1001_4^6 - 419761096/11763659*c_1001_4^5 + 402082247/11763659*c_1001_4^4 - 577230979/23527318*c_1001_4^3 + 357830943/23527318*c_1001_4^2 - 139867789/23527318*c_1001_4 + 27152949/11763659, c_0011_5 - 6914405/47054636*c_1001_4^11 + 33551209/23527318*c_1001_4^10 - 218673207/47054636*c_1001_4^9 + 263248413/23527318*c_1001_4^8 - 231232725/11763659*c_1001_4^7 + 333927280/11763659*c_1001_4^6 - 764741615/23527318*c_1001_4^5 + 1445820765/47054636*c_1001_4^4 - 1069659773/47054636*c_1001_4^3 + 724969549/47054636*c_1001_4^2 - 72713087/11763659*c_1001_4 + 24428424/11763659, c_0011_6 + 1746131/23527318*c_1001_4^11 - 7795206/11763659*c_1001_4^10 + 42780387/23527318*c_1001_4^9 - 48450699/11763659*c_1001_4^8 + 75737118/11763659*c_1001_4^7 - 102250634/11763659*c_1001_4^6 + 106389019/11763659*c_1001_4^5 - 183210411/23527318*c_1001_4^4 + 132501391/23527318*c_1001_4^3 - 110009073/23527318*c_1001_4^2 + 16551587/11763659*c_1001_4 - 10807143/11763659, c_0101_0 - 1380511/47054636*c_1001_4^11 + 6295313/23527318*c_1001_4^10 - 37312809/47054636*c_1001_4^9 + 48002445/23527318*c_1001_4^8 - 46900967/11763659*c_1001_4^7 + 78181066/11763659*c_1001_4^6 - 206598387/23527318*c_1001_4^5 + 455030491/47054636*c_1001_4^4 - 361092095/47054636*c_1001_4^3 + 262048367/47054636*c_1001_4^2 - 18360279/11763659*c_1001_4 + 11556130/11763659, c_0101_2 - 2652585/23527318*c_1001_4^11 + 25862261/23527318*c_1001_4^10 - 84190277/23527318*c_1001_4^9 + 195918345/23527318*c_1001_4^8 - 161311239/11763659*c_1001_4^7 + 211411236/11763659*c_1001_4^6 - 211539000/11763659*c_1001_4^5 + 320816531/23527318*c_1001_4^4 - 82536249/11763659*c_1001_4^3 + 42818237/11763659*c_1001_4^2 - 10280281/23527318*c_1001_4 - 42575/11763659, c_0101_7 - 239129/23527318*c_1001_4^11 + 4137421/23527318*c_1001_4^10 - 23959927/23527318*c_1001_4^9 + 64301997/23527318*c_1001_4^8 - 68537535/11763659*c_1001_4^7 + 106345630/11763659*c_1001_4^6 - 139315629/11763659*c_1001_4^5 + 286668899/23527318*c_1001_4^4 - 120898508/11763659*c_1001_4^3 + 86457096/11763659*c_1001_4^2 - 106568591/23527318*c_1001_4 + 20855909/11763659, c_1001_3 + 2406569/47054636*c_1001_4^11 - 6412709/11763659*c_1001_4^10 + 95985703/47054636*c_1001_4^9 - 58655303/11763659*c_1001_4^8 + 109360297/11763659*c_1001_4^7 - 155236628/11763659*c_1001_4^6 + 354239843/23527318*c_1001_4^5 - 598316665/47054636*c_1001_4^4 + 389688563/47054636*c_1001_4^3 - 183135507/47054636*c_1001_4^2 + 36099913/23527318*c_1001_4 + 960919/11763659, c_1001_4^12 - 10*c_1001_4^11 + 35*c_1001_4^10 - 90*c_1001_4^9 + 168*c_1001_4^8 - 256*c_1001_4^7 + 310*c_1001_4^6 - 309*c_1001_4^5 + 245*c_1001_4^4 - 169*c_1001_4^3 + 84*c_1001_4^2 - 36*c_1001_4 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.240 seconds, Total memory usage: 32.09MB