Magma V2.19-8 Tue Aug 20 2013 23:43:54 on localhost [Seed = 3583226058] Type ? for help. Type -D to quit. Loading file "K13n1589__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1589 geometric_solution 10.71085646 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.814087976324 1.206245970129 0 4 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607421691268 0.640562290027 0 0 4 5 3201 0132 3120 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 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.179068704367 0.600951782360 5 7 8 0 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 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.498634160584 0.324272012136 8 1 2 9 2310 0132 3120 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 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.705216549782 0.949452149607 3 2 1 8 0132 1302 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.996467403861 0.699990045532 10 9 11 1 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 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 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.187341100874 0.954624222816 11 3 11 8 0213 0132 1023 2310 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 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.050597837647 0.910157819762 7 5 4 3 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.299383106614 0.671051544114 10 6 4 10 3201 0132 0132 1302 0 0 0 0 0 1 0 -1 -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 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.197353453158 0.832068819074 6 11 9 9 0132 3120 2031 2310 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730128555881 1.137814465452 7 10 7 6 0213 3120 1023 0132 0 0 0 0 0 0 1 -1 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 -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.050597837647 0.910157819762 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_0110_2'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0110_2']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0101_4']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_3']), 'c_0101_10' : d['c_0101_1'], '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_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' : negation(d['c_0011_8']), 'c_1100_4' : d['c_0101_1'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : negation(d['c_0011_8']), 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0101_4']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : negation(d['c_0110_2']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0101_3']), 'c_1100_8' : negation(d['c_0011_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'], '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_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), '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_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0101_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_7' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6, c_0110_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 9111489889147/20784354295196*c_1001_1^11 + 1498395524899/10392177147598*c_1001_1^10 - 43043343401695/20784354295196*c_1001_1^9 + 17535328614616/5196088573799*c_1001_1^8 - 142266215603151/20784354295196*c_1001_1^7 + 80964908233446/5196088573799*c_1001_1^6 - 381881704009467/10392177147598*c_1001_1^5 + 1069713615586689/20784354295196*c_1001_1^4 - 252216710005032/5196088573799*c_1001_1^3 + 153868872115331/20784354295196*c_1001_1^2 + 47028044963187/10392177147598*c_1001_1 + 37328310586791/20784354295196, c_0011_0 - 1, c_0011_10 - 2649291/450482342*c_1001_1^11 - 4925247/225241171*c_1001_1^10 - 11974673/225241171*c_1001_1^9 - 17080018/225241171*c_1001_1^8 - 14407830/225241171*c_1001_1^7 + 8185598/225241171*c_1001_1^6 + 3774360/225241171*c_1001_1^5 - 130696343/450482342*c_1001_1^4 + 827111/225241171*c_1001_1^3 - 6624273/225241171*c_1001_1^2 - 397459220/225241171*c_1001_1 - 731734/225241171, c_0011_11 + 1886902/225241171*c_1001_1^11 + 10476359/450482342*c_1001_1^10 + 26461647/450482342*c_1001_1^9 + 27081017/450482342*c_1001_1^8 + 33409491/450482342*c_1001_1^7 - 4262502/225241171*c_1001_1^6 + 56480563/225241171*c_1001_1^5 + 91239450/225241171*c_1001_1^4 + 11367209/450482342*c_1001_1^3 + 22819535/450482342*c_1001_1^2 + 1054698561/450482342*c_1001_1 + 2028451/450482342, c_0011_3 - 149676975/450482342*c_1001_1^11 - 2028451/450482342*c_1001_1^10 - 744611071/450482342*c_1001_1^9 + 449197977/225241171*c_1001_1^8 - 1103261136/225241171*c_1001_1^7 + 2393158726/225241171*c_1001_1^6 - 5713403576/225241171*c_1001_1^5 + 14802981769/450482342*c_1001_1^4 - 14202860349/450482342*c_1001_1^3 + 1183134953/450482342*c_1001_1^2 - 510072004/225241171*c_1001_1 - 145366786/225241171, c_0011_8 - 297031563/450482342*c_1001_1^11 + 6252405/225241171*c_1001_1^10 - 740669496/225241171*c_1001_1^9 + 1831579115/450482342*c_1001_1^8 - 4517303367/450482342*c_1001_1^7 + 4810296244/225241171*c_1001_1^6 - 11573686028/225241171*c_1001_1^5 + 30427731331/450482342*c_1001_1^4 - 14741279808/225241171*c_1001_1^3 + 1221771659/225241171*c_1001_1^2 - 1078533825/450482342*c_1001_1 - 608202661/450482342, c_0101_0 - 49273455/225241171*c_1001_1^11 + 21077606/225241171*c_1001_1^10 - 247663992/225241171*c_1001_1^9 + 806955837/450482342*c_1001_1^8 - 866499934/225241171*c_1001_1^7 + 1915181926/225241171*c_1001_1^6 - 4477989183/225241171*c_1001_1^5 + 6610817767/225241171*c_1001_1^4 - 6987472350/225241171*c_1001_1^3 + 2685122608/225241171*c_1001_1^2 - 1044371707/450482342*c_1001_1 - 153676783/225241171, c_0101_1 - 191832187/450482342*c_1001_1^11 + 564983/450482342*c_1001_1^10 - 480142724/225241171*c_1001_1^9 + 576596086/225241171*c_1001_1^8 - 1441692502/225241171*c_1001_1^7 + 3077091874/225241171*c_1001_1^6 - 7396875843/225241171*c_1001_1^5 + 19218876199/450482342*c_1001_1^4 - 18784730285/450482342*c_1001_1^3 + 768839145/225241171*c_1001_1^2 - 454942131/225241171*c_1001_1 - 194640241/225241171, c_0101_3 + 22353485/225241171*c_1001_1^11 + 11928405/225241171*c_1001_1^10 + 99436047/225241171*c_1001_1^9 - 76340585/225241171*c_1001_1^8 + 411297253/450482342*c_1001_1^7 - 465528700/225241171*c_1001_1^6 + 1182708190/225241171*c_1001_1^5 - 947260739/225241171*c_1001_1^4 + 109101331/225241171*c_1001_1^3 + 2075521091/225241171*c_1001_1^2 - 711681179/225241171*c_1001_1 + 430370429/450482342, c_0101_4 - 118911801/450482342*c_1001_1^11 + 60394873/450482342*c_1001_1^10 - 306877946/225241171*c_1001_1^9 + 994900627/450482342*c_1001_1^8 - 1120713888/225241171*c_1001_1^7 + 4733417603/450482342*c_1001_1^6 - 11238379925/450482342*c_1001_1^5 + 8442702328/225241171*c_1001_1^4 - 9229050871/225241171*c_1001_1^3 + 7068908025/450482342*c_1001_1^2 - 698476422/225241171*c_1001_1 - 753832733/450482342, c_0101_6 - 188058383/450482342*c_1001_1^11 + 5520671/225241171*c_1001_1^10 - 933823801/450482342*c_1001_1^9 + 1180273189/450482342*c_1001_1^8 - 2849975513/450482342*c_1001_1^7 + 3072829372/225241171*c_1001_1^6 - 7340395280/225241171*c_1001_1^5 + 19401355099/450482342*c_1001_1^4 - 9386681538/225241171*c_1001_1^3 + 1560497825/450482342*c_1001_1^2 - 305668043/450482342*c_1001_1 - 387252031/450482342, c_0110_2 + 2028451/450482342*c_1001_1^11 - 1886902/225241171*c_1001_1^10 - 167052/225241171*c_1001_1^9 - 38632353/450482342*c_1001_1^8 + 1672874/225241171*c_1001_1^7 - 98319923/450482342*c_1001_1^6 + 164715731/450482342*c_1001_1^5 - 157903113/225241171*c_1001_1^4 + 14280847/450482342*c_1001_1^3 - 27594817/450482342*c_1001_1^2 - 4310189/225241171*c_1001_1 - 600159317/450482342, c_1001_1^12 + 5*c_1001_1^10 - 6*c_1001_1^9 + 15*c_1001_1^8 - 32*c_1001_1^7 + 77*c_1001_1^6 - 100*c_1001_1^5 + 97*c_1001_1^4 - 8*c_1001_1^3 + 7*c_1001_1^2 + 2*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.580 Total time: 1.780 seconds, Total memory usage: 32.09MB