Magma V2.19-8 Tue Aug 20 2013 23:38:27 on localhost [Seed = 3583226349] Type ? for help. Type -D to quit. Loading file "K14n2550__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n2550 geometric_solution 9.05697435 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 12 -12 0 0 13 -1 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601811325323 0.425242822811 0 4 3 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 -1 1 -13 0 0 13 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617381532596 0.639748605257 6 0 7 6 0132 0132 0132 1302 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 -1 0 1 -1 0 0 1 -1 1 0 0 1 12 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.028996134030 0.992777575307 1 6 5 0 2031 1302 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 -12 0 0 12 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844073815651 0.786122097154 8 1 0 5 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0.601811325323 0.425242822811 4 7 1 3 3012 0132 0132 0132 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 1 0 -1 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242761886044 1.223915558267 2 8 2 3 0132 2310 2031 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 1 0 -1 0 -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.029394485456 1.006416440511 9 5 9 2 0132 0132 1023 0132 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 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472784116935 1.359980684684 4 9 9 6 0132 1302 0213 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.771940360885 0.656021835428 7 8 7 8 0132 0213 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365193525245 0.325203624459 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : d['c_0101_7'], 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_8' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_6'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : d['c_0101_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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_5'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_5']), 'c_0011_6' : d['c_0011_0'], '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_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0011_5'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : negation(d['c_0011_3']), '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_6'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_2, c_0101_3, c_0101_6, c_0101_7, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 775181886887721249/136538778199816244*c_1001_2^15 + 680908247285890209/136538778199816244*c_1001_2^14 + 655090205836829281/68269389099908122*c_1001_2^13 - 1385972562685867601/136538778199816244*c_1001_2^12 + 13849236054462417781/68269389099908122*c_1001_2^11 - 11525816693299003303/68269389099908122*c_1001_2^10 + 9876983828693512289/136538778199816244*c_1001_2^9 + 4606752195287591217/68269389099908122*c_1001_2^8 - 9569548624253172850/34134694549954061*c_1001_2^7 + 13448352910522709597/68269389099908122*c_1001_2^6 - 18961372059316848879/68269389099908122*c_1001_2^5 + 16147928393551585623/136538778199816244*c_1001_2^4 - 6770514561336787274/34134694549954061*c_1001_2^3 + 20118500975406267349/136538778199816244*c_1001_2^2 - 7450190988715597853/136538778199816244*c_1001_2 + 407158949985138142/34134694549954061, c_0011_0 - 1, c_0011_3 - c_1001_2, c_0011_5 + 1894936595872/5469427103021*c_1001_2^15 + 927442173991/5469427103021*c_1001_2^14 - 4028009673958/5469427103021*c_1001_2^13 - 1618430450769/5469427103021*c_1001_2^12 - 65718968903114/5469427103021*c_1001_2^11 - 35052488966909/5469427103021*c_1001_2^10 + 1439910898434/5469427103021*c_1001_2^9 - 34989942337851/5469427103021*c_1001_2^8 + 50371233652391/5469427103021*c_1001_2^7 + 46279082402680/5469427103021*c_1001_2^6 + 67106912655463/5469427103021*c_1001_2^5 + 64364722015071/5469427103021*c_1001_2^4 + 77290624722366/5469427103021*c_1001_2^3 + 33861588189795/5469427103021*c_1001_2^2 + 1812499016894/5469427103021*c_1001_2 - 740050173115/5469427103021, c_0101_0 + 175949554542/5469427103021*c_1001_2^15 + 549089603225/5469427103021*c_1001_2^14 - 326778793812/5469427103021*c_1001_2^13 - 1034667143898/5469427103021*c_1001_2^12 - 6310338802657/5469427103021*c_1001_2^11 - 19592937150840/5469427103021*c_1001_2^10 - 1607851035213/5469427103021*c_1001_2^9 - 6066085820671/5469427103021*c_1001_2^8 + 2026688793994/5469427103021*c_1001_2^7 + 21766650860336/5469427103021*c_1001_2^6 + 3516252412926/5469427103021*c_1001_2^5 + 28394610141577/5469427103021*c_1001_2^4 + 15596862112646/5469427103021*c_1001_2^3 + 17759278730803/5469427103021*c_1001_2^2 + 6887879166409/5469427103021*c_1001_2 + 802399655935/5469427103021, c_0101_2 + 1, c_0101_3 - 1476531777216/5469427103021*c_1001_2^15 + 213016166942/5469427103021*c_1001_2^14 + 2653097594667/5469427103021*c_1001_2^13 - 451707558719/5469427103021*c_1001_2^12 + 52574539967335/5469427103021*c_1001_2^11 - 6044718314463/5469427103021*c_1001_2^10 + 14134508203140/5469427103021*c_1001_2^9 + 20083092818105/5469427103021*c_1001_2^8 - 63903960962188/5469427103021*c_1001_2^7 + 12212280948171/5469427103021*c_1001_2^6 - 69979584502094/5469427103021*c_1001_2^5 - 16264699269694/5469427103021*c_1001_2^4 - 51620866920598/5469427103021*c_1001_2^3 - 4558605882475/5469427103021*c_1001_2^2 - 4204121783648/5469427103021*c_1001_2 + 2070886150414/5469427103021, c_0101_6 - 723255900145/5469427103021*c_1001_2^15 - 1171680695727/5469427103021*c_1001_2^14 + 1690750322026/5469427103021*c_1001_2^13 + 2337259351932/5469427103021*c_1001_2^12 + 24595127603912/5469427103021*c_1001_2^11 + 41847097199347/5469427103021*c_1001_2^10 - 4624840532003/5469427103021*c_1001_2^9 + 12587256335454/5469427103021*c_1001_2^8 - 2911270502678/5469427103021*c_1001_2^7 - 48906474950003/5469427103021*c_1001_2^6 - 26302843458477/5469427103021*c_1001_2^5 - 48759884098581/5469427103021*c_1001_2^4 - 42365306221855/5469427103021*c_1001_2^3 - 34925318500511/5469427103021*c_1001_2^2 - 382781489574/5469427103021*c_1001_2 + 16794272970/5469427103021, c_0101_7 + 181990896/2297113441*c_1001_2^15 - 122685527/2297113441*c_1001_2^14 - 442597583/2297113441*c_1001_2^13 + 405373607/2297113441*c_1001_2^12 - 6244445617/2297113441*c_1001_2^11 + 3848810712/2297113441*c_1001_2^10 + 2420580563/2297113441*c_1001_2^9 - 7709623300/2297113441*c_1001_2^8 + 9091322179/2297113441*c_1001_2^7 - 5121788971/2297113441*c_1001_2^6 + 1289880169/2297113441*c_1001_2^5 + 5239813548/2297113441*c_1001_2^4 + 1074661817/2297113441*c_1001_2^3 + 352651716/2297113441*c_1001_2^2 + 703960465/2297113441*c_1001_2 + 3442462105/2297113441, c_1001_0 - 1894936595872/5469427103021*c_1001_2^15 - 927442173991/5469427103021*c_1001_2^14 + 4028009673958/5469427103021*c_1001_2^13 + 1618430450769/5469427103021*c_1001_2^12 + 65718968903114/5469427103021*c_1001_2^11 + 35052488966909/5469427103021*c_1001_2^10 - 1439910898434/5469427103021*c_1001_2^9 + 34989942337851/5469427103021*c_1001_2^8 - 50371233652391/5469427103021*c_1001_2^7 - 46279082402680/5469427103021*c_1001_2^6 - 67106912655463/5469427103021*c_1001_2^5 - 64364722015071/5469427103021*c_1001_2^4 - 77290624722366/5469427103021*c_1001_2^3 - 33861588189795/5469427103021*c_1001_2^2 - 1812499016894/5469427103021*c_1001_2 + 740050173115/5469427103021, c_1001_2^16 - 2*c_1001_2^14 - 35*c_1001_2^12 - c_1001_2^11 - 3*c_1001_2^10 - 13*c_1001_2^9 + 35*c_1001_2^8 + 2*c_1001_2^7 + 40*c_1001_2^6 + 11*c_1001_2^5 + 37*c_1001_2^4 + 2*c_1001_2^2 - 2*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.300 seconds, Total memory usage: 32.09MB