Magma V2.19-8 Tue Aug 20 2013 17:56:04 on localhost [Seed = 391553233] Type ? for help. Type -D to quit. Loading file "10_163__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_163 geometric_solution 10.69336055 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 0132 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 1 0 -1 1 0 0 -1 0 0 0 0 -7 -1 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421989705121 1.083012504667 0 0 5 4 0132 1230 0132 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 0 0 0 -1 0 0 1 7 -8 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383547244582 0.718648898979 6 0 7 6 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 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.168379752192 0.623034221758 7 8 0 4 2310 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 -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.017418010026 0.708193252226 3 9 1 10 3012 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 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 -0.722060611600 0.592327557110 11 10 10 1 0132 3012 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.224139684178 1.124372097441 2 2 10 8 0132 1302 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595749580228 1.495796509966 9 8 3 2 0213 0321 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.199448911251 1.050525105288 6 3 11 7 3120 0132 3120 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455533730855 2.076134898772 7 4 11 11 0213 0132 1230 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 -1 0 0 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277939388400 0.592327557110 5 6 4 5 1230 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.224139684178 1.124372097441 5 9 8 9 0132 2310 3120 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.350763991915 1.383612379920 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_7']), 'c_1001_11' : negation(d['c_0101_0']), 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_0101_0'], 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], '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' : 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' : 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' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_1100_1'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_0'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : 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' : negation(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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_7']), 'c_1100_8' : negation(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_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_8, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 154908909588123323669/1254260407213404512*c_1100_1^9 + 448178529833050852359/627130203606702256*c_1100_1^8 - 20973419463322217544913/5017041628853618048*c_1100_1^7 + 60194697958785156377945/5017041628853618048*c_1100_1^6 - 162538813620920153225301/5017041628853618048*c_1100_1^5 + 284209331198486823191445/5017041628853618048*c_1100_1^4 - 425169042660034768954387/2508520814426809024*c_1100_1^3 + 782905953974169075170897/5017041628853618048*c_1100_1^2 - 5652494508178547016811/156782550901675564*c_1100_1 - 100962144999397073047/78391275450837782, c_0011_0 - 1, c_0011_10 - 6016602256662491/156782550901675564*c_1100_1^9 + 17381243459683273/78391275450837782*c_1100_1^8 - 816657608315293599/627130203606702256*c_1100_1^7 + 2347549298361240215/627130203606702256*c_1100_1^6 - 6389566276404349611/627130203606702256*c_1100_1^5 + 11222756435055814011/627130203606702256*c_1100_1^4 - 16792345200259675101/313565101803351128*c_1100_1^3 + 31094114257813860831/627130203606702256*c_1100_1^2 - 661896114625528092/39195637725418891*c_1100_1 + 69309655303871874/39195637725418891, c_0011_11 - 8473968778767401/156782550901675564*c_1100_1^9 + 24098160113017319/78391275450837782*c_1100_1^8 - 1135318231475947413/627130203606702256*c_1100_1^7 + 3216959981922584677/627130203606702256*c_1100_1^6 - 8790882924298184657/627130203606702256*c_1100_1^5 + 15228248687051643089/627130203606702256*c_1100_1^4 - 23263769678468651651/313565101803351128*c_1100_1^3 + 40468592645025562581/627130203606702256*c_1100_1^2 - 1760465419740583043/78391275450837782*c_1100_1 + 104064427895754150/39195637725418891, c_0011_3 + 615144420430589/39195637725418891*c_1100_1^9 - 3726026571503019/39195637725418891*c_1100_1^8 + 86912216125469649/156782550901675564*c_1100_1^7 - 130238424073751125/78391275450837782*c_1100_1^6 + 351450115710738999/78391275450837782*c_1100_1^5 - 642339066405538633/78391275450837782*c_1100_1^4 + 3619892994522533115/156782550901675564*c_1100_1^3 - 3925226338973931419/156782550901675564*c_1100_1^2 + 1233621358649404545/156782550901675564*c_1100_1 - 16286142827810031/39195637725418891, c_0011_4 - 738055386080893/78391275450837782*c_1100_1^9 + 1955551509107595/39195637725418891*c_1100_1^8 - 92568911579059545/313565101803351128*c_1100_1^7 + 243216022624817593/313565101803351128*c_1100_1^6 - 665075895420601013/313565101803351128*c_1100_1^5 + 1057607468261140733/313565101803351128*c_1100_1^4 - 1807003411354734483/156782550901675564*c_1100_1^3 + 2150192338856583417/313565101803351128*c_1100_1^2 - 34019870892217609/39195637725418891*c_1100_1 - 8994990225082889/39195637725418891, c_0011_7 - 6016602256662491/156782550901675564*c_1100_1^9 + 17381243459683273/78391275450837782*c_1100_1^8 - 816657608315293599/627130203606702256*c_1100_1^7 + 2347549298361240215/627130203606702256*c_1100_1^6 - 6389566276404349611/627130203606702256*c_1100_1^5 + 11222756435055814011/627130203606702256*c_1100_1^4 - 16792345200259675101/313565101803351128*c_1100_1^3 + 31094114257813860831/627130203606702256*c_1100_1^2 - 661896114625528092/39195637725418891*c_1100_1 + 69309655303871874/39195637725418891, c_0101_0 - 1013122387672707/78391275450837782*c_1100_1^9 + 2661926709549885/39195637725418891*c_1100_1^8 - 126250957540749927/313565101803351128*c_1100_1^7 + 328480481617587063/313565101803351128*c_1100_1^6 - 899614165338340523/313565101803351128*c_1100_1^5 + 1406868740281696779/313565101803351128*c_1100_1^4 - 2441244230128458981/156782550901675564*c_1100_1^3 + 2641895311254804719/313565101803351128*c_1100_1^2 - 41059139895022226/39195637725418891*c_1100_1 - 22639313342058442/39195637725418891, c_0101_1 - 1013122387672707/78391275450837782*c_1100_1^9 + 2661926709549885/39195637725418891*c_1100_1^8 - 126250957540749927/313565101803351128*c_1100_1^7 + 328480481617587063/313565101803351128*c_1100_1^6 - 899614165338340523/313565101803351128*c_1100_1^5 + 1406868740281696779/313565101803351128*c_1100_1^4 - 2441244230128458981/156782550901675564*c_1100_1^3 + 2641895311254804719/313565101803351128*c_1100_1^2 - 41059139895022226/39195637725418891*c_1100_1 + 16556324383360449/39195637725418891, c_0101_10 - 137533500795907/39195637725418891*c_1100_1^9 + 706375200442290/39195637725418891*c_1100_1^8 - 16841022980845191/156782550901675564*c_1100_1^7 + 42632229496384735/156782550901675564*c_1100_1^6 - 117269134958869755/156782550901675564*c_1100_1^5 + 174630636010278023/156782550901675564*c_1100_1^4 - 317120409386862249/78391275450837782*c_1100_1^3 + 245851486199110651/156782550901675564*c_1100_1^2 + 32156368722614274/39195637725418891*c_1100_1 - 13644323116975553/39195637725418891, c_0101_8 - 738055386080893/78391275450837782*c_1100_1^9 + 1955551509107595/39195637725418891*c_1100_1^8 - 92568911579059545/313565101803351128*c_1100_1^7 + 243216022624817593/313565101803351128*c_1100_1^6 - 665075895420601013/313565101803351128*c_1100_1^5 + 1057607468261140733/313565101803351128*c_1100_1^4 - 1807003411354734483/156782550901675564*c_1100_1^3 + 2150192338856583417/313565101803351128*c_1100_1^2 - 34019870892217609/39195637725418891*c_1100_1 - 8994990225082889/39195637725418891, c_1001_2 - 535511468038025/39195637725418891*c_1100_1^9 + 2304202048039041/39195637725418891*c_1100_1^8 - 56179764396125469/156782550901675564*c_1100_1^7 + 27658965741617387/39195637725418891*c_1100_1^6 - 78495767218933070/39195637725418891*c_1100_1^5 + 74205310870224384/39195637725418891*c_1100_1^4 - 1896836284508109345/156782550901675564*c_1100_1^3 - 1037479541520016049/156782550901675564*c_1100_1^2 + 1033773714379683833/156782550901675564*c_1100_1 - 36013454903483577/39195637725418891, c_1100_1^10 - 6*c_1100_1^9 + 141/4*c_1100_1^8 - 421/4*c_1100_1^7 + 1153/4*c_1100_1^6 - 2113/4*c_1100_1^5 + 3015/2*c_1100_1^4 - 6461/4*c_1100_1^3 + 764*c_1100_1^2 - 164*c_1100_1 + 16 ], 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_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_8, c_1001_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 3096393/48923567*c_0101_8*c_1100_1^5 - 98685661/244617835*c_0101_8*c_1100_1^4 - 226940209/244617835*c_0101_8*c_1100_1^3 - 452386994/244617835*c_0101_8*c_1100_1^2 - 8513711/4447597*c_0101_8*c_1100_1 - 161462984/244617835*c_0101_8 + 81758174/244617835*c_1100_1^5 + 462981976/244617835*c_1100_1^4 + 734153836/244617835*c_1100_1^3 + 327154976/48923567*c_1100_1^2 + 49772566/22237985*c_1100_1 - 46037251/48923567, c_0011_0 - 1, c_0011_10 + 286/413*c_0101_8*c_1100_1^5 + 1615/413*c_0101_8*c_1100_1^4 + 2580/413*c_0101_8*c_1100_1^3 + 5924/413*c_0101_8*c_1100_1^2 + 2042/413*c_0101_8*c_1100_1 + 82/413*c_0101_8 + 105/59*c_1100_1^5 + 589/59*c_1100_1^4 + 934/59*c_1100_1^3 + 2198/59*c_1100_1^2 + 760/59*c_1100_1 + 184/59, c_0011_11 + 174/413*c_0101_8*c_1100_1^5 + 971/413*c_0101_8*c_1100_1^4 + 1509/413*c_0101_8*c_1100_1^3 + 3607/413*c_0101_8*c_1100_1^2 + 1251/413*c_0101_8*c_1100_1 + 47/413*c_0101_8 + 561/413*c_1100_1^5 + 3152/413*c_1100_1^4 + 5029/413*c_1100_1^3 + 11779/413*c_1100_1^2 + 4069/413*c_1100_1 + 828/413, c_0011_3 + 251/413*c_0101_8*c_1100_1^5 + 1517/413*c_0101_8*c_1100_1^4 + 2839/413*c_0101_8*c_1100_1^3 + 6155/413*c_0101_8*c_1100_1^2 + 3834/413*c_0101_8*c_1100_1 + 768/413*c_0101_8 + 128/413*c_1100_1^5 + 795/413*c_1100_1^4 + 1637/413*c_1100_1^3 + 3769/413*c_1100_1^2 + 3028/413*c_1100_1 + 1810/413, c_0011_4 + c_0101_8 + 37/413*c_1100_1^5 - 38/413*c_1100_1^4 - 911/413*c_1100_1^3 - 669/413*c_1100_1^2 - 3629/413*c_1100_1 + 620/413, c_0011_7 - 286/413*c_0101_8*c_1100_1^5 - 1615/413*c_0101_8*c_1100_1^4 - 2580/413*c_0101_8*c_1100_1^3 - 5924/413*c_0101_8*c_1100_1^2 - 2042/413*c_0101_8*c_1100_1 - 82/413*c_0101_8 - 89/59*c_1100_1^5 - 497/59*c_1100_1^4 - 781/59*c_1100_1^3 - 1867/59*c_1100_1^2 - 647/59*c_1100_1 - 179/59, c_0101_0 + 12/413*c_1100_1^5 + 10/413*c_1100_1^4 - 195/413*c_1100_1^3 - 150/413*c_1100_1^2 - 697/413*c_1100_1 - 11/413, c_0101_1 - 11/413*c_0101_8*c_1100_1^5 - 78/413*c_0101_8*c_1100_1^4 - 131/413*c_0101_8*c_1100_1^3 - 69/413*c_0101_8*c_1100_1^2 - 15/413*c_0101_8*c_1100_1 + 664/413*c_0101_8 + 13/413*c_1100_1^5 - 58/413*c_1100_1^4 - 521/413*c_1100_1^3 - 369/413*c_1100_1^2 - 2235/413*c_1100_1 + 642/413, c_0101_10 + 11/413*c_0101_8*c_1100_1^5 + 78/413*c_0101_8*c_1100_1^4 + 131/413*c_0101_8*c_1100_1^3 + 69/413*c_0101_8*c_1100_1^2 + 15/413*c_0101_8*c_1100_1 - 664/413*c_0101_8 - 24/413*c_1100_1^5 - 20/413*c_1100_1^4 + 390/413*c_1100_1^3 + 300/413*c_1100_1^2 + 2220/413*c_1100_1 - 391/413, c_0101_8^2 + 37/413*c_0101_8*c_1100_1^5 - 38/413*c_0101_8*c_1100_1^4 - 911/413*c_0101_8*c_1100_1^3 - 669/413*c_0101_8*c_1100_1^2 - 3629/413*c_0101_8*c_1100_1 + 620/413*c_0101_8 + 544/413*c_1100_1^5 + 2656/413*c_1100_1^4 + 2724/413*c_1100_1^3 + 8481/413*c_1100_1^2 - 3238/413*c_1100_1 + 465/413, c_1001_2 - 162/413*c_1100_1^5 - 961/413*c_1100_1^4 - 1704/413*c_1100_1^3 - 3757/413*c_1100_1^2 - 2361/413*c_1100_1 - 471/413, c_1100_1^6 + 6*c_1100_1^5 + 11*c_1100_1^4 + 24*c_1100_1^3 + 15*c_1100_1^2 + 3*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.940 Total time: 1.159 seconds, Total memory usage: 32.09MB