Magma V2.19-8 Tue Aug 20 2013 17:55:37 on localhost [Seed = 1696912054] Type ? for help. Type -D to quit. Loading file "9_9__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_9 geometric_solution 8.01681557 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 9 1 1 2 3 0132 1302 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 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.638439834696 0.598403843638 0 4 5 0 0132 0132 0132 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 -1 1 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.739669831808 1.224198108232 6 7 6 0 0132 0132 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 1 0 -1 0 0 0 0 -15 16 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.984166840934 1.121021577388 5 7 0 6 0132 2031 0132 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 -1 1 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 1.291907920676 0.843269811798 8 1 8 5 0132 0132 3012 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 1 0 -1 -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.799382207793 0.871100995613 3 4 8 1 0132 2310 1023 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 1 -1 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.350647425935 0.436095117684 2 3 7 2 0132 1302 1023 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 0 0 0 0 0 0 15 1 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480938173211 0.741317596198 3 2 6 8 1302 0132 1023 2103 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 0 0 0 0 1 0 0 -1 0 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.311543994244 0.601016672111 4 4 5 7 0132 1230 1023 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 0 1 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.251065848240 1.090151117506 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_8']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0110_7']), 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_8' : negation(d['c_0011_3']), 's_2_8' : d['1'], 's_2_0' : 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_0_8' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_1100_8' : negation(d['c_0110_7']), 'c_1100_5' : d['c_0110_7'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : negation(d['c_0101_4']), 'c_1100_6' : d['c_0101_4'], 'c_1100_1' : d['c_0110_7'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_1010_7' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : negation(d['c_0101_8']), 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_0110_7']), 'c_1010_8' : d['c_0101_4'], '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_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_8' : negation(d['1']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0101_2']})} 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_2, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_8, c_0110_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 13779117088853/658590626183*c_0110_7^14 + 21284468775016/658590626183*c_0110_7^13 - 103628899019978/658590626183*c_0110_7^12 + 53504413594812/658590626183*c_0110_7^11 - 246512270847116/658590626183*c_0110_7^10 - 145186736891297/658590626183*c_0110_7^9 - 9641716734881/94084375169*c_0110_7^8 - 1023571768498735/658590626183*c_0110_7^7 + 908863944630794/658590626183*c_0110_7^6 - 1453307692627379/658590626183*c_0110_7^5 + 1982039547223048/658590626183*c_0110_7^4 - 1177142091528496/658590626183*c_0110_7^3 + 684704321098144/658590626183*c_0110_7^2 - 22758685630099/658590626183*c_0110_7 + 74102832685491/658590626183, c_0011_0 - 1, c_0011_2 + 666078515/188168750338*c_0110_7^14 + 26055639935/188168750338*c_0110_7^13 - 15123407031/94084375169*c_0110_7^12 + 96111238359/94084375169*c_0110_7^11 - 21598957777/94084375169*c_0110_7^10 + 239577891390/94084375169*c_0110_7^9 + 208994322569/94084375169*c_0110_7^8 + 306319840383/188168750338*c_0110_7^7 + 2096694149381/188168750338*c_0110_7^6 - 1081598032699/188168750338*c_0110_7^5 + 1317879525654/94084375169*c_0110_7^4 - 2858522159417/188168750338*c_0110_7^3 + 910370713320/94084375169*c_0110_7^2 - 247346726701/94084375169*c_0110_7 - 141093309091/188168750338, c_0011_3 - 8018842664/94084375169*c_0110_7^14 + 36578794657/188168750338*c_0110_7^13 - 137281684845/188168750338*c_0110_7^12 + 143431358329/188168750338*c_0110_7^11 - 159550181563/94084375169*c_0110_7^10 + 7291043293/188168750338*c_0110_7^9 + 24752661968/94084375169*c_0110_7^8 - 1194004049101/188168750338*c_0110_7^7 + 909775823049/94084375169*c_0110_7^6 - 2486896477207/188168750338*c_0110_7^5 + 1550701941003/94084375169*c_0110_7^4 - 2978526840973/188168750338*c_0110_7^3 + 1339439777725/188168750338*c_0110_7^2 - 129952604585/188168750338*c_0110_7 - 42014677224/94084375169, c_0101_0 + 12919439341/94084375169*c_0110_7^14 - 14339763879/188168750338*c_0110_7^13 + 167585426411/188168750338*c_0110_7^12 + 40572796884/94084375169*c_0110_7^11 + 227371249724/94084375169*c_0110_7^10 + 739190182153/188168750338*c_0110_7^9 + 327786392267/94084375169*c_0110_7^8 + 1177031731670/94084375169*c_0110_7^7 + 529730101863/188168750338*c_0110_7^6 + 1143601259944/94084375169*c_0110_7^5 - 481737088730/94084375169*c_0110_7^4 + 217981266069/188168750338*c_0110_7^3 + 74018056317/188168750338*c_0110_7^2 - 133418426502/94084375169*c_0110_7 - 144226622469/94084375169, c_0101_1 - 19225623841/188168750338*c_0110_7^14 + 37589675459/188168750338*c_0110_7^13 - 159476695299/188168750338*c_0110_7^12 + 66301325109/94084375169*c_0110_7^11 - 194858880071/94084375169*c_0110_7^10 - 46063476183/94084375169*c_0110_7^9 - 54744305321/188168750338*c_0110_7^8 - 768310594278/94084375169*c_0110_7^7 + 867474275964/94084375169*c_0110_7^6 - 2876643663171/188168750338*c_0110_7^5 + 1632306975281/94084375169*c_0110_7^4 - 2976918895593/188168750338*c_0110_7^3 + 1303331974149/188168750338*c_0110_7^2 + 36266581949/94084375169*c_0110_7 - 123209458541/188168750338, c_0101_2 + 1233020291/188168750338*c_0110_7^14 - 28433808513/188168750338*c_0110_7^13 + 22107403874/94084375169*c_0110_7^12 - 196222593237/188168750338*c_0110_7^11 + 75215388189/188168750338*c_0110_7^10 - 222140880474/94084375169*c_0110_7^9 - 206538054034/94084375169*c_0110_7^8 - 71740192980/94084375169*c_0110_7^7 - 2188254371505/188168750338*c_0110_7^6 + 1275122096389/188168750338*c_0110_7^5 - 2817202567751/188168750338*c_0110_7^4 + 2896161973381/188168750338*c_0110_7^3 - 878710786973/94084375169*c_0110_7^2 + 511645059771/188168750338*c_0110_7 + 119997313303/94084375169, c_0101_4 - 39180104093/188168750338*c_0110_7^14 + 17996082790/94084375169*c_0110_7^13 - 273249847849/188168750338*c_0110_7^12 - 11097505227/94084375169*c_0110_7^11 - 716070581785/188168750338*c_0110_7^10 - 893399582969/188168750338*c_0110_7^9 - 382739882620/94084375169*c_0110_7^8 - 3473738581255/188168750338*c_0110_7^7 + 284264526033/188168750338*c_0110_7^6 - 2040486855828/94084375169*c_0110_7^5 + 2705481037383/188168750338*c_0110_7^4 - 858717463954/94084375169*c_0110_7^3 + 510949298589/188168750338*c_0110_7^2 + 99486410491/94084375169*c_0110_7 + 65928665212/94084375169, c_0101_8 + 24062892207/188168750338*c_0110_7^14 - 20567276081/94084375169*c_0110_7^13 + 92939643039/94084375169*c_0110_7^12 - 113193173341/188168750338*c_0110_7^11 + 216309372981/94084375169*c_0110_7^10 + 237769815497/188168750338*c_0110_7^9 + 86992040385/188168750338*c_0110_7^8 + 1889100539983/188168750338*c_0110_7^7 - 824426670996/94084375169*c_0110_7^6 + 1466126970838/94084375169*c_0110_7^5 - 1551433700370/94084375169*c_0110_7^4 + 1387785444983/94084375169*c_0110_7^3 - 368681873192/94084375169*c_0110_7^2 - 11016565827/188168750338*c_0110_7 + 57378285171/188168750338, c_0110_7^15 - c_0110_7^14 + 7*c_0110_7^13 + 18*c_0110_7^11 + 21*c_0110_7^10 + 17*c_0110_7^9 + 86*c_0110_7^8 - 16*c_0110_7^7 + 102*c_0110_7^6 - 79*c_0110_7^5 + 48*c_0110_7^4 - 13*c_0110_7^3 - 6*c_0110_7^2 - 3*c_0110_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB