Magma V2.19-8 Wed Aug 21 2013 01:03:40 on localhost [Seed = 189600562] Type ? for help. Type -D to quit. Loading file "L14n21793__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n21793 geometric_solution 12.45696268 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 0 1 0 0 0 0 0 0 -1 1 -1 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 -1 1 1 0 -1 0 0 1 0 -1 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248848731227 0.672840205051 0 5 7 6 0132 0132 0132 0132 1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646191549474 0.756062675164 3 0 8 6 2031 0132 0132 2031 1 1 1 0 0 0 0 0 0 0 0 0 1 -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 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070317975991 0.822445678989 9 10 2 0 0132 0132 1302 0132 1 0 1 1 0 0 0 0 0 0 -1 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 0 1 0 0 -1 1 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646415332439 0.985761186496 5 11 0 8 3201 0132 0132 1230 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 0 0 0 0 0 1 -1 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.009932738793 0.740898192096 9 1 10 4 3012 0132 0132 2310 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562122489168 1.008899600747 10 2 1 11 2103 1302 0132 1230 1 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 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.334476616335 0.465037960544 12 8 9 1 0132 3120 3012 0132 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 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 1.039082377256 1.309951952790 4 7 11 2 3012 3120 0321 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.120511818380 1.008738969587 3 7 12 5 0132 1230 3120 1230 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 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.543372185701 0.684694962665 12 3 6 5 3120 0132 2103 0132 1 0 1 1 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 1 0 -1 0 0 -1 1 -1 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448948077462 0.684109140022 6 4 8 12 3012 0132 0321 2031 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 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.490777406868 0.879965839202 7 11 9 10 0132 1302 3120 3120 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 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.430381713670 0.667045839757 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_11'], 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0110_11'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0110_2'], 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_0110_2'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : negation(d['c_0110_11']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_0110_2'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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_0'], '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' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : 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_1']), 'c_1100_8' : negation(d['c_0101_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0110_11'], 'c_1100_6' : d['c_0110_11'], 'c_1100_1' : d['c_0110_11'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_11']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_0101_5'], 'c_1010_8' : d['c_0011_12'], '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_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_0']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_12']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_0'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0110_11, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 290854112975464637276542681/901011034839504779815472640*c_0110_2^11 + 5173162295830118818622153/5561796511354967776638720*c_0110_2^10 - 246760733418527429758843387/300337011613168259938490880*c_0110_2^9 + 7976238241184448185419613971/901011034839504779815472640*c_0110_2^8 - 10640640859746462411145496053/901011034839504779815472640*c_0110_\ 2^7 + 2274698407141320331189885081/450505517419752389907736320*c_01\ 10_2^6 - 12897808660511593626046727837/225252758709876194953868160*\ c_0110_2^5 - 36578108542761331308980225773/450505517419752389907736\ 320*c_0110_2^4 - 1469090217670347716707637041/111235930227099355532\ 77440*c_0110_2^3 - 52854278808352933588398246157/300337011613168259\ 938490880*c_0110_2^2 - 123332370181742070244109945909/9010110348395\ 04779815472640*c_0110_2 + 101668803977796808938800900737/9010110348\ 39504779815472640, c_0011_0 - 1, c_0011_10 + 399368655386/804916975052173*c_0110_2^11 - 1222881105593/804916975052173*c_0110_2^10 + 3392332969886/804916975052173*c_0110_2^9 - 16673792577333/804916975052173*c_0110_2^8 + 10188809214412/804916975052173*c_0110_2^7 - 42702806300992/804916975052173*c_0110_2^6 + 110391620857579/804916975052173*c_0110_2^5 + 318420695635829/804916975052173*c_0110_2^4 + 255544736279970/804916975052173*c_0110_2^3 + 1055573075169908/804916975052173*c_0110_2^2 + 58950532630994/804916975052173*c_0110_2 + 55156888163037/804916975052173, c_0011_11 + 1625142019584/804916975052173*c_0110_2^11 - 5909500261162/804916975052173*c_0110_2^10 + 6290306287781/804916975052173*c_0110_2^9 - 41521146975939/804916975052173*c_0110_2^8 + 87884788194341/804916975052173*c_0110_2^7 - 43580687958359/804916975052173*c_0110_2^6 + 202298037831244/804916975052173*c_0110_2^5 + 210619525570545/804916975052173*c_0110_2^4 + 324791507994463/804916975052173*c_0110_2^3 + 509767512448786/804916975052173*c_0110_2^2 - 93932053642657/804916975052173*c_0110_2 - 829624724219081/804916975052173, c_0011_12 - 479248946201/804916975052173*c_0110_2^11 + 2587472483279/804916975052173*c_0110_2^10 - 5653568053174/804916975052173*c_0110_2^9 + 20908579904842/804916975052173*c_0110_2^8 - 55542773911634/804916975052173*c_0110_2^7 + 73442185655683/804916975052173*c_0110_2^6 - 194811207161968/804916975052173*c_0110_2^5 + 179296750060775/804916975052173*c_0110_2^4 - 40231507475825/804916975052173*c_0110_2^3 + 472911368566585/804916975052173*c_0110_2^2 - 17053201998896/804916975052173*c_0110_2 + 864334639157180/804916975052173, c_0011_6 - 255372160667/804916975052173*c_0110_2^11 + 1027389787214/804916975052173*c_0110_2^10 - 2012315876804/804916975052173*c_0110_2^9 + 8492972906879/804916975052173*c_0110_2^8 - 10987464107057/804916975052173*c_0110_2^7 + 2379167429593/804916975052173*c_0110_2^6 - 29278971450048/804916975052173*c_0110_2^5 - 143312202350226/804916975052173*c_0110_2^4 + 281450093679568/804916975052173*c_0110_2^3 - 307439769944259/804916975052173*c_0110_2^2 + 557820802209060/804916975052173*c_0110_2 - 24830367096711/804916975052173, c_0011_8 + 1796789552312/804916975052173*c_0110_2^11 - 3583095005723/804916975052173*c_0110_2^10 + 86979815396/804916975052173*c_0110_2^9 - 46663668400946/804916975052173*c_0110_2^8 + 30115551735219/804916975052173*c_0110_2^7 + 8156282070939/804916975052173*c_0110_2^6 + 328638897561315/804916975052173*c_0110_2^5 + 644589760990138/804916975052173*c_0110_2^4 + 1344598824050930/804916975052173*c_0110_2^3 + 1555829906494201/804916975052173*c_0110_2^2 + 1387375874688819/804916975052173*c_0110_2 + 152656990906999/804916975052173, c_0101_0 - 1814995213049/804916975052173*c_0110_2^11 + 5541807244929/804916975052173*c_0110_2^10 - 7486335912777/804916975052173*c_0110_2^9 + 57282856712136/804916975052173*c_0110_2^8 - 83732890535990/804916975052173*c_0110_2^7 + 92630080557694/804916975052173*c_0110_2^6 - 407615955390667/804916975052173*c_0110_2^5 - 330141097654840/804916975052173*c_0110_2^4 - 990460410702286/804916975052173*c_0110_2^3 - 1529899340111224/804916975052173*c_0110_2^2 - 1127871613079241/804916975052173*c_0110_2 - 206059759120685/804916975052173, c_0101_1 - 1, c_0101_11 - 51757843292/804916975052173*c_0110_2^11 - 344374727023/804916975052173*c_0110_2^10 + 853750936687/804916975052173*c_0110_2^9 - 139505160759/804916975052173*c_0110_2^8 + 17835099138511/804916975052173*c_0110_2^7 - 10852175493003/804916975052173*c_0110_2^6 - 10349691305028/804916975052173*c_0110_2^5 - 184444462234167/804916975052173*c_0110_2^4 - 239053130279772/804916975052173*c_0110_2^3 + 174770368549109/804916975052173*c_0110_2^2 - 253940422135250/804916975052173*c_0110_2 - 208553628850599/804916975052173, c_0101_2 - 2052161712979/804916975052173*c_0110_2^11 + 4610484792937/804916975052173*c_0110_2^10 - 2099295692200/804916975052173*c_0110_2^9 + 55156641307825/804916975052173*c_0110_2^8 - 41103015842276/804916975052173*c_0110_2^7 - 5777114641346/804916975052173*c_0110_2^6 - 357917869011363/804916975052173*c_0110_2^5 - 787901963340364/804916975052173*c_0110_2^4 - 1063148730371362/804916975052173*c_0110_2^3 - 1863269676438460/804916975052173*c_0110_2^2 - 1634472047531932/804916975052173*c_0110_2 - 177487358003710/804916975052173, c_0101_5 + 1866753056341/804916975052173*c_0110_2^11 - 5197432517906/804916975052173*c_0110_2^10 + 6632584976090/804916975052173*c_0110_2^9 - 57143351551377/804916975052173*c_0110_2^8 + 65897791397479/804916975052173*c_0110_2^7 - 81777905064691/804916975052173*c_0110_2^6 + 417965646695695/804916975052173*c_0110_2^5 + 514585559889007/804916975052173*c_0110_2^4 + 1229513540982058/804916975052173*c_0110_2^3 + 1355128971562115/804916975052173*c_0110_2^2 + 1381812035214491/804916975052173*c_0110_2 - 390303587080889/804916975052173, c_0110_11 + 2531410659180/804916975052173*c_0110_2^11 - 7197957276216/804916975052173*c_0110_2^10 + 7752863745374/804916975052173*c_0110_2^9 - 76065221212667/804916975052173*c_0110_2^8 + 96645789753910/804916975052173*c_0110_2^7 - 67665071014337/804916975052173*c_0110_2^6 + 552729076173331/804916975052173*c_0110_2^5 + 608605213279589/804916975052173*c_0110_2^4 + 1103380237847187/804916975052173*c_0110_2^3 + 1390358307871875/804916975052173*c_0110_2^2 + 846608274478655/804916975052173*c_0110_2 - 686847281153470/804916975052173, c_0110_2^12 - 3*c_0110_2^11 + 3*c_0110_2^10 - 28*c_0110_2^9 + 40*c_0110_2^8 - 23*c_0110_2^7 + 182*c_0110_2^6 + 230*c_0110_2^5 + 399*c_0110_2^4 + 534*c_0110_2^3 + 422*c_0110_2^2 - 310*c_0110_2 + 129 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.500 seconds, Total memory usage: 32.09MB