Magma V2.19-8 Wed Aug 21 2013 01:06:05 on localhost [Seed = 2513669428] Type ? for help. Type -D to quit. Loading file "L14n31171__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n31171 geometric_solution 11.77118904 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 1 1 0 0 0 0 1 0 0 -1 -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 -1 0 1 -3 0 1 2 -1 0 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352375719806 0.874099966878 0 5 7 6 0132 0132 0132 0132 0 0 1 1 0 0 -1 1 -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 -1 3 -2 3 0 -3 0 2 -1 0 -1 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564952701263 0.892214805674 8 0 9 6 0132 0132 0132 2031 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 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.984112533747 1.092929630659 10 4 11 0 0132 2031 0132 0132 1 0 1 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 1 0 0 -1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523124295200 1.008118329145 3 8 0 5 1302 3120 0132 3120 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 0 -1 1 0 0 -2 2 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.603278514515 0.984103665010 4 1 12 9 3120 0132 0132 1302 0 0 1 1 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 1 -1 0 -2 0 0 2 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.564952701263 0.892214805674 8 2 1 9 3120 1302 0132 3120 0 0 1 1 0 0 -1 1 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 2 -2 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.555859374303 0.598543981436 10 11 10 1 1230 2031 2031 0132 0 0 1 0 0 0 -1 1 1 0 0 -1 -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 3 -3 -3 0 0 3 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285222297028 0.449252008549 2 4 12 6 0132 3120 3012 3120 1 0 1 1 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 -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.337002350385 0.598005833349 6 11 5 2 3120 0132 2031 0132 1 0 1 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 -1 1 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529217587245 0.323798609425 3 7 12 7 0132 3012 1023 1302 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 1 0 0 3 0 -3 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485227025419 0.144872726878 7 9 12 3 1302 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.883666002228 0.772642744039 11 8 10 5 2103 1230 1023 0132 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 -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.793507989123 0.688944194888 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_12' : d['c_0101_0'], 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : negation(d['c_0110_4']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0101_8'], 'c_1010_11' : negation(d['c_0110_4']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0101_11' : negation(d['c_0011_7']), 'c_0101_10' : d['c_0101_0'], '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_12' : 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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_5']), 'c_1100_10' : d['c_0101_7'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_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_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_7']), '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' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_4'], '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_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_5'], 'c_0110_0' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_7']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0110_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} 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_4, c_0011_7, c_0101_0, c_0101_2, c_0101_3, c_0101_5, c_0101_7, c_0101_8, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 59673592175484954912583067/687282678391767631585280*c_0110_4^15 + 24945729835121919759100681443/36425981954763684474019840*c_0110_4^1\ 4 - 174679229492608753085078626769/36425981954763684474019840*c_011\ 0_4^13 + 144482314291591927003913472873/7285196390952736894803968*c\ _0110_4^12 - 2357882538320584292240959708323/3642598195476368447401\ 9840*c_0110_4^11 + 1144255500478449477515018000667/7285196390952736\ 894803968*c_0110_4^10 - 931694291626470309479389700311/331145290497\ 8516770365440*c_0110_4^9 + 13985825933436584928260167677601/3642598\ 1954763684474019840*c_0110_4^8 - 473891878017258024382819714251/117\ 5031675960118854000640*c_0110_4^7 + 11699774784118563562089890731881/36425981954763684474019840*c_0110_\ 4^6 - 1403500356919252000568228999063/7285196390952736894803968*c_0\ 110_4^5 + 2991919309172307345322994294263/3642598195476368447401984\ 0*c_0110_4^4 - 1915317278104948556170312111/87773450493406468612096\ *c_0110_4^3 + 117502619071155792235541364909/3642598195476368447401\ 9840*c_0110_4^2 - 310550573324197700554852513/117503167596011885400\ 0640*c_0110_4 - 9951783890653991464063606949/3642598195476368447401\ 9840, c_0011_0 - 1, c_0011_10 - 28571476830977/740693327628160*c_0110_4^15 + 233446486635079/740693327628160*c_0110_4^14 - 1685757348795549/740693327628160*c_0110_4^13 + 7307067301048791/740693327628160*c_0110_4^12 - 5095855379243105/148138665525632*c_0110_4^11 + 13417199305845327/148138665525632*c_0110_4^10 - 137281575648540457/740693327628160*c_0110_4^9 + 44682309457247463/148138665525632*c_0110_4^8 - 290584647167459507/740693327628160*c_0110_4^7 + 60561918213512465/148138665525632*c_0110_4^6 - 50635268480735211/148138665525632*c_0110_4^5 + 164770614231858101/740693327628160*c_0110_4^4 - 81690406976764519/740693327628160*c_0110_4^3 + 29048249652846489/740693327628160*c_0110_4^2 - 5995029207932067/740693327628160*c_0110_4 + 129829866342077/148138665525632, c_0011_11 + 134027254096219/1481386655256320*c_0110_4^15 - 258845549302371/296277331051264*c_0110_4^14 + 9212240576426137/1481386655256320*c_0110_4^13 - 43273067516827801/1481386655256320*c_0110_4^12 + 151044048584597391/1481386655256320*c_0110_4^11 - 81503550669328575/296277331051264*c_0110_4^10 + 826514696866514909/1481386655256320*c_0110_4^9 - 1278397734498466917/1481386655256320*c_0110_4^8 + 1537814794023922929/1481386655256320*c_0110_4^7 - 1437743529381474557/1481386655256320*c_0110_4^6 + 207263377557031327/296277331051264*c_0110_4^5 - 574347520499407147/1481386655256320*c_0110_4^4 + 233461606786778789/1481386655256320*c_0110_4^3 - 69030305584316377/1481386655256320*c_0110_4^2 + 15592115957641583/1481386655256320*c_0110_4 - 1987227395222487/1481386655256320, c_0011_12 - 5409979475161/18065690917760*c_0110_4^15 + 25959981091663/9032845458880*c_0110_4^14 - 899897297445/43531785344*c_0110_4^13 + 439600390708099/4516422729440*c_0110_4^12 - 6228359978033337/18065690917760*c_0110_4^11 + 1698972715489853/1806569091776*c_0110_4^10 - 35215889564365971/18065690917760*c_0110_4^9 + 6998121784370763/2258211364720*c_0110_4^8 - 69310890005621891/18065690917760*c_0110_4^7 + 33452850696824097/9032845458880*c_0110_4^6 - 9968529514569237/3613138183552*c_0110_4^5 + 7043234786771147/4516422729440*c_0110_4^4 - 11546604502702059/18065690917760*c_0110_4^3 + 311968889196467/1806569091776*c_0110_4^2 - 551102029123849/18065690917760*c_0110_4 + 4088032878699/1129105682360, c_0011_4 + 2563848440693/9032845458880*c_0110_4^15 - 17879641318933/9032845458880*c_0110_4^14 + 295493534519/21765892672*c_0110_4^13 - 226137806587599/4516422729440*c_0110_4^12 + 1349047517031271/9032845458880*c_0110_4^11 - 555795294079271/1806569091776*c_0110_4^10 + 3713433129518443/9032845458880*c_0110_4^9 - 181286298209127/564552841180*c_0110_4^8 + 118236093431123/9032845458880*c_0110_4^7 + 3194291921416453/9032845458880*c_0110_4^6 - 939930595744317/1806569091776*c_0110_4^5 + 1994659689600093/4516422729440*c_0110_4^4 - 2207920707809743/9032845458880*c_0110_4^3 + 150770984944759/1806569091776*c_0110_4^2 - 137889697784323/9032845458880*c_0110_4 + 7008646445477/2258211364720, c_0011_7 + 1500343649786941/1481386655256320*c_0110_4^15 - 12483899815426007/1481386655256320*c_0110_4^14 + 87855718417639227/1481386655256320*c_0110_4^13 - 4548503371180991/17848031991040*c_0110_4^12 + 251902723162527221/296277331051264*c_0110_4^11 - 633568984366172183/296277331051264*c_0110_4^10 + 5938101772430436871/1481386655256320*c_0110_4^9 - 1700789325712972581/296277331051264*c_0110_4^8 + 9433047616466110711/1481386655256320*c_0110_4^7 - 1609015653343868593/296277331051264*c_0110_4^6 + 1048133450689407181/296277331051264*c_0110_4^5 - 2534776207775120743/1481386655256320*c_0110_4^4 + 850804242009469827/1481386655256320*c_0110_4^3 - 193046262815889857/1481386655256320*c_0110_4^2 + 34231101113822141/1481386655256320*c_0110_4 - 396080478768535/296277331051264, c_0101_0 - 1, c_0101_2 - 137261550141259/740693327628160*c_0110_4^15 + 125041526111447/74069332762816*c_0110_4^14 - 9004636244798177/740693327628160*c_0110_4^13 + 20691392615711823/370346663814080*c_0110_4^12 - 145983512849553391/740693327628160*c_0110_4^11 + 39484438464740707/74069332762816*c_0110_4^10 - 817207873228474029/740693327628160*c_0110_4^9 + 656753488884030011/370346663814080*c_0110_4^8 - 1660952897983515009/740693327628160*c_0110_4^7 + 828608864933800121/370346663814080*c_0110_4^6 - 259795639032238759/148138665525632*c_0110_4^5 + 392963474308059901/370346663814080*c_0110_4^4 - 356047303500545669/740693327628160*c_0110_4^3 + 56706925963708581/370346663814080*c_0110_4^2 - 23197993187507183/740693327628160*c_0110_4 + 20482882072387/4462007997760, c_0101_3 - 209359119975/903284545888*c_0110_4^15 + 36120783184737/18065690917760*c_0110_4^14 - 128010938853167/9032845458880*c_0110_4^13 + 1129858498349599/18065690917760*c_0110_4^12 - 60093863397569/282276420590*c_0110_4^11 + 1989760598145849/3613138183552*c_0110_4^10 - 1937595346422909/1806569091776*c_0110_4^9 + 29016910401961747/18065690917760*c_0110_4^8 - 1695179109854947/903284545888*c_0110_4^7 + 30839063272498627/18065690917760*c_0110_4^6 - 2174418165394685/1806569091776*c_0110_4^5 + 2335403309203961/3613138183552*c_0110_4^4 - 574365072685287/2258211364720*c_0110_4^3 + 1286326569581119/18065690917760*c_0110_4^2 - 133505706753487/9032845458880*c_0110_4 + 33174293552497/18065690917760, c_0101_5 + 286600627135203/740693327628160*c_0110_4^15 - 2502374620596541/740693327628160*c_0110_4^14 + 17762008432808071/740693327628160*c_0110_4^13 - 78993621604469309/740693327628160*c_0110_4^12 + 54025053430116963/148138665525632*c_0110_4^11 - 140656306685457653/148138665525632*c_0110_4^10 + 1380524956159914843/740693327628160*c_0110_4^9 - 416620516466668253/148138665525632*c_0110_4^8 + 2453950647178158393/740693327628160*c_0110_4^7 - 450832826624906955/148138665525632*c_0110_4^6 + 321073828761112561/148138665525632*c_0110_4^5 - 870259426848621479/740693327628160*c_0110_4^4 + 343574623432530741/740693327628160*c_0110_4^3 - 92087273369945731/740693327628160*c_0110_4^2 + 16934705260216233/740693327628160*c_0110_4 - 347179482787087/148138665525632, c_0101_7 - 283393273541/1806569091776*c_0110_4^15 + 21036772137701/18065690917760*c_0110_4^14 - 72952202008861/9032845458880*c_0110_4^13 + 572516621131347/18065690917760*c_0110_4^12 - 898770856060709/9032845458880*c_0110_4^11 + 816121905450641/3613138183552*c_0110_4^10 - 659021880673269/1806569091776*c_0110_4^9 + 7735286134262491/18065690917760*c_0110_4^8 - 637937220169791/1806569091776*c_0110_4^7 + 3082798272647911/18065690917760*c_0110_4^6 - 10190515114059/1806569091776*c_0110_4^5 - 251982374973923/3613138183552*c_0110_4^4 + 562961372466521/9032845458880*c_0110_4^3 - 497639275605793/18065690917760*c_0110_4^2 + 60118881707709/9032845458880*c_0110_4 - 25124157002559/18065690917760, c_0101_8 + 1187315667766941/1481386655256320*c_0110_4^15 - 1882047747790717/296277331051264*c_0110_4^14 + 65915215335608683/1481386655256320*c_0110_4^13 - 273502544573501379/1481386655256320*c_0110_4^12 + 894143502709630569/1481386655256320*c_0110_4^11 - 434995248355879841/296277331051264*c_0110_4^10 + 3907406622487978311/1481386655256320*c_0110_4^9 - 5340513094746152983/1481386655256320*c_0110_4^8 + 5611846057126166871/1481386655256320*c_0110_4^7 - 4472140708922676163/1481386655256320*c_0110_4^6 + 537325815308581309/296277331051264*c_0110_4^5 - 1156508878298590953/1481386655256320*c_0110_4^4 + 324110906825143971/1481386655256320*c_0110_4^3 - 56733804933882023/1481386655256320*c_0110_4^2 + 7644730529767197/1481386655256320*c_0110_4 + 1079845939526467/1481386655256320, c_0110_4^16 - 438/53*c_0110_4^15 + 3088/53*c_0110_4^14 - 13234/53*c_0110_4^13 + 44252/53*c_0110_4^12 - 111494/53*c_0110_4^11 + 210288/53*c_0110_4^10 - 305042/53*c_0110_4^9 + 345566/53*c_0110_4^8 - 305042/53*c_0110_4^7 + 210288/53*c_0110_4^6 - 111494/53*c_0110_4^5 + 44252/53*c_0110_4^4 - 13234/53*c_0110_4^3 + 3088/53*c_0110_4^2 - 438/53*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.080 Total time: 5.280 seconds, Total memory usage: 64.12MB