Magma V2.19-8 Tue Aug 20 2013 23:38:59 on localhost [Seed = 2017336351] Type ? for help. Type -D to quit. Loading file "K12n487__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n487 geometric_solution 9.28385749 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 1 2 2 0132 2310 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 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 1.065313056156 1.215670528514 0 3 3 0 0132 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.332641547356 0.974455476074 0 4 5 0 3201 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 -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.522403760777 0.187247207632 1 1 6 7 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.035956520713 0.582413970636 8 2 9 10 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 -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.634821879753 0.310630242259 7 10 6 2 3201 0132 3201 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 -1 1 1 0 -1 0 0 0 0 0 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.695625548479 2.226417585214 5 9 10 3 2310 2103 3201 0132 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 -4 0 4 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.157876421101 0.722320969505 7 7 3 5 1302 2031 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 0 0 -1 0 0 1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275540655348 1.067466107398 4 9 9 10 0132 1230 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626813125560 0.990339162711 8 6 8 4 2031 2103 3012 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 -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.333190636914 0.884199737412 6 5 4 8 2310 0132 0132 2103 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 1 0 -1 0 -4 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369213806283 0.654250571982 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0011_9'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : negation(d['c_0011_2']), 'c_1001_8' : d['c_0101_4'], 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_9']), '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_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_1100_9' : negation(d['c_0101_4']), 'c_1100_8' : d['c_0101_6'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_4']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0011_2'], 'c_1100_10' : negation(d['c_0101_4']), 'c_1010_7' : d['c_0011_7'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_0101_6'], '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_9'], 'c_0011_8' : d['c_0011_2'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_7' : d['c_0011_7'], '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_10' : negation(d['c_0101_6']), 'c_0101_7' : negation(d['c_0011_7']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0011_7'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_7'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_7, c_0011_9, c_0101_0, c_0101_3, c_0101_4, c_0101_6, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 71990894291399448921267129080961/619884395651936183269998922669300*\ c_1001_10^9 - 522791921756694665969325740466859/3099421978259680916\ 34999461334650*c_1001_10^8 - 2740958176412952565172564141900181/619\ 884395651936183269998922669300*c_1001_10^7 - 1159793096457420817448614240200067/15497109891298404581749973066732\ 5*c_1001_10^6 + 1178615556657982533301924199004821/6198843956519361\ 83269998922669300*c_1001_10^5 - 302959079446661852409714631115967/6\ 198843956519361832699989226693*c_1001_10^4 - 34744818681773907149980741285199201/6198843956519361832699989226693\ 00*c_1001_10^3 + 136953360198250232577205008304620033/6198843956519\ 36183269998922669300*c_1001_10^2 + 18720721218745127292389456873050729/1549710989129840458174997306673\ 25*c_1001_10 - 6548557815773638112240247934159657/24795375826077447\ 330799956906772, c_0011_0 - 1, c_0011_10 - 140703579825201810039/46986509372111806223570*c_1001_10^9 - 2081731231365070721557/46986509372111806223570*c_1001_10^8 - 2950707120112259577257/23493254686055903111785*c_1001_10^7 - 5213499381305907000181/23493254686055903111785*c_1001_10^6 - 438621815660332203391/46986509372111806223570*c_1001_10^5 - 11688175407518230085603/9397301874422361244714*c_1001_10^4 - 41949778544912242477822/23493254686055903111785*c_1001_10^3 + 264246321386764138504197/46986509372111806223570*c_1001_10^2 + 173524215287002702522789/46986509372111806223570*c_1001_10 - 26649714910511970903167/4698650937211180622357, c_0011_2 + 175003901180667511539/93973018744223612447140*c_1001_10^9 + 628226534648758508093/23493254686055903111785*c_1001_10^8 + 6154403005157175836969/93973018744223612447140*c_1001_10^7 + 2226371750913817178548/23493254686055903111785*c_1001_10^6 - 7774734705989988057959/93973018744223612447140*c_1001_10^5 + 6830432392965791649471/9397301874422361244714*c_1001_10^4 + 73403631671771733030369/93973018744223612447140*c_1001_10^3 - 408440375288403405249927/93973018744223612447140*c_1001_10^2 - 87308416145489416532817/46986509372111806223570*c_1001_10 + 106113689339860867931669/18794603748844722489428, c_0011_7 - 146230330349494060797/93973018744223612447140*c_1001_10^9 - 543758121924406170769/23493254686055903111785*c_1001_10^8 - 6384793865353581830947/93973018744223612447140*c_1001_10^7 - 3109455211464428847644/23493254686055903111785*c_1001_10^6 - 3562963347677331482123/93973018744223612447140*c_1001_10^5 - 6367833934938577620207/9397301874422361244714*c_1001_10^4 - 84107275215592214277967/93973018744223612447140*c_1001_10^3 + 229612900258969042690561/93973018744223612447140*c_1001_10^2 + 94418225817906471555011/46986509372111806223570*c_1001_10 - 34647250505528684231979/18794603748844722489428, c_0011_9 - 6179208461605303116/23493254686055903111785*c_1001_10^9 - 107981327595931579621/46986509372111806223570*c_1001_10^8 + 565614446800346751273/46986509372111806223570*c_1001_10^7 + 996813943155466494392/23493254686055903111785*c_1001_10^6 + 3110587382650941539886/23493254686055903111785*c_1001_10^5 - 505038506423060248333/9397301874422361244714*c_1001_10^4 + 31763956212205683068133/46986509372111806223570*c_1001_10^3 + 34048426340603998978468/23493254686055903111785*c_1001_10^2 - 45493656723073169791933/46986509372111806223570*c_1001_10 - 11105887365154050598285/9397301874422361244714, c_0101_0 - 117917736119769472197/93973018744223612447140*c_1001_10^9 - 411775133596901850494/23493254686055903111785*c_1001_10^8 - 3502770351674006601707/93973018744223612447140*c_1001_10^7 - 1148802875332735944299/23493254686055903111785*c_1001_10^6 + 7467426453195756968997/93973018744223612447140*c_1001_10^5 - 4814610090992987176061/9397301874422361244714*c_1001_10^4 - 26562128435690530334707/93973018744223612447140*c_1001_10^3 + 277721916190629001660261/93973018744223612447140*c_1001_10^2 + 7697938701684035044381/46986509372111806223570*c_1001_10 - 76097473618967811647303/18794603748844722489428, c_0101_3 - 10768091047811831217/93973018744223612447140*c_1001_10^9 - 73975936443087579353/46986509372111806223570*c_1001_10^8 - 387554569139572931277/93973018744223612447140*c_1001_10^7 - 439977936864887835139/23493254686055903111785*c_1001_10^6 - 2193085315191547048843/93973018744223612447140*c_1001_10^5 - 467948659487737676393/4698650937211180622357*c_1001_10^4 + 5705595127328817149063/93973018744223612447140*c_1001_10^3 - 24645760890237899707339/93973018744223612447140*c_1001_10^2 - 7006250527431908821152/23493254686055903111785*c_1001_10 + 18392646459210827773239/18794603748844722489428, c_0101_4 - 24133299604828787037/46986509372111806223570*c_1001_10^9 - 179335693540758491168/23493254686055903111785*c_1001_10^8 - 1109798060892101160557/46986509372111806223570*c_1001_10^7 - 1464765364708743602173/23493254686055903111785*c_1001_10^6 - 3106200344680339691613/46986509372111806223570*c_1001_10^5 - 1593400634933629842064/4698650937211180622357*c_1001_10^4 - 18405934329543356468957/46986509372111806223570*c_1001_10^3 + 7946819978435255216451/46986509372111806223570*c_1001_10^2 - 142964908619517039154/23493254686055903111785*c_1001_10 + 7662035007193500839517/9397301874422361244714, c_0101_6 + 52497745159635619227/93973018744223612447140*c_1001_10^9 + 176202407336798405544/23493254686055903111785*c_1001_10^8 + 1090454789928853871697/93973018744223612447140*c_1001_10^7 + 32788937925766422714/23493254686055903111785*c_1001_10^6 - 7869233570881976703527/93973018744223612447140*c_1001_10^5 + 1475164581051743505483/9397301874422361244714*c_1001_10^4 - 4562742897957697652883/93973018744223612447140*c_1001_10^3 - 174819035530242263497351/93973018744223612447140*c_1001_10^2 + 10863332915637630005789/46986509372111806223570*c_1001_10 + 48260625978868438629109/18794603748844722489428, c_1001_0 + 270639068602591788861/93973018744223612447140*c_1001_10^9 + 1003877647460991571102/23493254686055903111785*c_1001_10^8 + 11415273911309465377751/93973018744223612447140*c_1001_10^7 + 4773521444441019165042/23493254686055903111785*c_1001_10^6 - 1315841683870882642061/93973018744223612447140*c_1001_10^5 + 10752278088542754732817/9397301874422361244714*c_1001_10^4 + 173504709306977787060351/93973018744223612447140*c_1001_10^3 - 553138403663766176715733/93973018744223612447140*c_1001_10^2 - 187536716341866520165093/46986509372111806223570*c_1001_10 + 124991506101258711385907/18794603748844722489428, c_1001_10^10 + 49/3*c_1001_10^9 + 193/3*c_1001_10^8 + 133*c_1001_10^7 + 99*c_1001_10^6 + 1165/3*c_1001_10^5 + 1241*c_1001_10^4 - 3124/3*c_1001_10^3 - 13523/3*c_1001_10^2 + 405*c_1001_10 + 12475/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.510 Total time: 0.710 seconds, Total memory usage: 32.09MB