Magma V2.19-8 Tue Aug 20 2013 23:48:50 on localhost [Seed = 4614809] Type ? for help. Type -D to quit. Loading file "K11a95__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a95 geometric_solution 11.76068508 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 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 0 0 1 -1 -4 0 0 4 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.168649651940 0.604737697467 0 0 4 2 0132 1302 0132 1302 0 0 0 0 0 1 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 0 0 0 -4 0 4 4 0 0 -4 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572118518353 1.534281624801 3 0 1 5 0321 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -4 5 0 0 0 0 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.220780729184 0.990193654678 2 5 6 0 0321 0132 0132 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 1 -1 5 0 -5 0 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.353130377604 1.822717009369 7 7 8 1 0132 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 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.649776665409 0.590336238601 9 3 2 6 0132 0132 0132 0132 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 -5 5 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.438427162355 0.300510245027 8 10 5 3 2103 0132 0132 0132 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 1 0 -1 0 0 -5 5 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.850781988608 1.396884759245 4 11 4 10 0132 0132 3012 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 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.156907863190 0.765967550598 9 12 6 4 2103 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.256971148647 0.972303698405 5 11 8 11 0132 0321 2103 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 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.499954054848 0.685059048667 12 6 11 7 2031 0132 3120 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 1 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.110511977557 1.029163446638 9 7 10 9 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 1 -1 0 0 0 0 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.304904923597 0.952449864456 12 8 10 12 3201 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373851801496 0.901597399452 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0110_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0110_10'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_10'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_1001_10'], 's_0_10' : 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_0011_12'], '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' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_2'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1010_1']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_0110_10']), 'c_1100_6' : negation(d['c_1010_1']), 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : negation(d['c_1010_1']), 'c_1100_3' : negation(d['c_1010_1']), 'c_1100_2' : negation(d['c_1010_1']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_11']), 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1010_1'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0110_10'], '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' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), '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_3']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0101_6'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : negation(d['c_0101_2'])})} 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_3, c_0101_1, c_0101_11, c_0101_2, c_0101_6, c_0110_10, c_1001_0, c_1001_10, c_1010_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 1366074622103908421877/398996512580219225*c_1010_1^35 - 961316901392171669621/11399900359434835*c_1010_1^34 + 84909080131950161443773/79799302516043845*c_1010_1^33 - 517778973758795257592981/56999501797174175*c_1010_1^32 + 3342052592665812690407389/56999501797174175*c_1010_1^31 - 121130313601459647688306379/398996512580219225*c_1010_1^30 + 104350368884385555301643366/79799302516043845*c_1010_1^29 - 1915519151570064762153230209/398996512580219225*c_1010_1^28 + 6097320309006893230005740408/398996512580219225*c_1010_1^27 - 3407666131674310757931811602/79799302516043845*c_1010_1^26 + 42186740322047421473126224777/398996512580219225*c_1010_1^25 - 93200281045191632293620635498/398996512580219225*c_1010_1^24 + 184687026834335431646023719798/398996512580219225*c_1010_1^23 - 329563671619237814724258103186/398996512580219225*c_1010_1^22 + 531088938271237055490464283676/398996512580219225*c_1010_1^21 - 774424154053389396921770341476/398996512580219225*c_1010_1^20 + 40923321030528176178191088191/15959860503208769*c_1010_1^19 - 1225246303410930094670661291592/398996512580219225*c_1010_1^18 + 1330256549701692189106151895401/398996512580219225*c_1010_1^17 - 1308735383550785451562617313712/398996512580219225*c_1010_1^16 + 233138111857219696502691874729/79799302516043845*c_1010_1^15 - 187752587034817601514009401906/79799302516043845*c_1010_1^14 + 682350128278656902286874744024/398996512580219225*c_1010_1^13 - 446641287059813683502611633941/398996512580219225*c_1010_1^12 + 934219643301325306884919449/1419916414876225*c_1010_1^11 - 19717852864694508013658532739/56999501797174175*c_1010_1^10 + 64592495913736579836061304362/398996512580219225*c_1010_1^9 - 39355719862826886342845193/587623729867775*c_1010_1^8 + 9683339700962154870615558573/398996512580219225*c_1010_1^7 - 3034519602935663400356177189/398996512580219225*c_1010_1^6 + 807732644469195605090366648/398996512580219225*c_1010_1^5 - 25414462686742425499196661/56999501797174175*c_1010_1^4 + 6235729607802143459830119/79799302516043845*c_1010_1^3 - 583198435015084770650194/56999501797174175*c_1010_1^2 + 351989347673932554851553/398996512580219225*c_1010_1 - 12904618595029090802703/398996512580219225, c_0011_0 - 1, c_0011_10 - c_1010_1^29 + 20*c_1010_1^28 - 206*c_1010_1^27 + 1437*c_1010_1^26 - 7568*c_1010_1^25 + 31871*c_1010_1^24 - 111136*c_1010_1^23 + 328330*c_1010_1^22 - 834845*c_1010_1^21 + 1847390*c_1010_1^20 - 3585718*c_1010_1^19 + 6137994*c_1010_1^18 - 9299797*c_1010_1^17 + 12497762*c_1010_1^16 - 14909924*c_1010_1^15 + 15787352*c_1010_1^14 - 14819417*c_1010_1^13 + 12307596*c_1010_1^12 - 9018458*c_1010_1^11 + 5809911*c_1010_1^10 - 3276034*c_1010_1^9 + 1607501*c_1010_1^8 - 680928*c_1010_1^7 + 246122*c_1010_1^6 - 74617*c_1010_1^5 + 18498*c_1010_1^4 - 3600*c_1010_1^3 + 509*c_1010_1^2 - 44*c_1010_1 + 1, c_0011_11 - c_1010_1^16 + 11*c_1010_1^15 - 64*c_1010_1^14 + 251*c_1010_1^13 - 731*c_1010_1^12 + 1657*c_1010_1^11 - 2998*c_1010_1^10 + 4385*c_1010_1^9 - 5206*c_1010_1^8 + 5007*c_1010_1^7 - 3872*c_1010_1^6 + 2383*c_1010_1^5 - 1153*c_1010_1^4 + 433*c_1010_1^3 - 122*c_1010_1^2 + 21*c_1010_1 - 2, c_0011_12 - c_1010_1^22 + 15*c_1010_1^21 - 117*c_1010_1^20 + 618*c_1010_1^19 - 2453*c_1010_1^18 + 7722*c_1010_1^17 - 19901*c_1010_1^16 + 42828*c_1010_1^15 - 77926*c_1010_1^14 + 120766*c_1010_1^13 - 159982*c_1010_1^12 + 181248*c_1010_1^11 - 175216*c_1010_1^10 + 143843*c_1010_1^9 - 99548*c_1010_1^8 + 57492*c_1010_1^7 - 27320*c_1010_1^6 + 10444*c_1010_1^5 - 3072*c_1010_1^4 + 622*c_1010_1^3 - 60*c_1010_1^2 - 5*c_1010_1 + 2, c_0011_3 - c_1010_1^2 + c_1010_1 - 1, c_0101_1 + c_1010_1^35 - 24*c_1010_1^34 + 295*c_1010_1^33 - 2453*c_1010_1^32 + 15420*c_1010_1^31 - 77754*c_1010_1^30 + 326158*c_1010_1^29 - 1166177*c_1010_1^28 + 3615593*c_1010_1^27 - 9842736*c_1010_1^26 + 23749031*c_1010_1^25 - 51151710*c_1010_1^24 + 98881928*c_1010_1^23 - 172270214*c_1010_1^22 + 271322710*c_1010_1^21 - 387191771*c_1010_1^20 + 501425706*c_1010_1^19 - 589851372*c_1010_1^18 + 630547812*c_1010_1^17 - 612497885*c_1010_1^16 + 540342786*c_1010_1^15 - 432483558*c_1010_1^14 + 313568688*c_1010_1^13 - 205502655*c_1010_1^12 + 121381441*c_1010_1^11 - 64364052*c_1010_1^10 + 30481821*c_1010_1^9 - 12803950*c_1010_1^8 + 4726180*c_1010_1^7 - 1513604*c_1010_1^6 + 413172*c_1010_1^5 - 93693*c_1010_1^4 + 16974*c_1010_1^3 - 2308*c_1010_1^2 + 210*c_1010_1 - 9, c_0101_11 - c_1010_1^17 + 12*c_1010_1^16 - 76*c_1010_1^15 + 325*c_1010_1^14 - 1035*c_1010_1^13 + 2577*c_1010_1^12 - 5154*c_1010_1^11 + 8405*c_1010_1^10 - 11256*c_1010_1^9 + 12401*c_1010_1^8 - 11212*c_1010_1^7 + 8277*c_1010_1^6 - 4955*c_1010_1^5 + 2385*c_1010_1^4 - 908*c_1010_1^3 + 259*c_1010_1^2 - 50*c_1010_1 + 5, c_0101_2 + c_1010_1^34 - 23*c_1010_1^33 + 271*c_1010_1^32 - 2158*c_1010_1^31 + 12968*c_1010_1^30 - 62357*c_1010_1^29 + 248674*c_1010_1^28 - 842156*c_1010_1^27 + 2462159*c_1010_1^26 - 6287878*c_1010_1^25 + 14146191*c_1010_1^24 - 28207056*c_1010_1^23 + 50058524*c_1010_1^22 - 79277017*c_1010_1^21 + 112182408*c_1010_1^20 - 141846918*c_1010_1^19 + 160061074*c_1010_1^18 - 160751919*c_1010_1^17 + 143052434*c_1010_1^16 - 112015496*c_1010_1^15 + 76331266*c_1010_1^14 - 44418205*c_1010_1^13 + 21267386*c_1010_1^12 - 7624746*c_1010_1^11 + 1316113*c_1010_1^10 + 697790*c_1010_1^9 - 852761*c_1010_1^8 + 520722*c_1010_1^7 - 231912*c_1010_1^6 + 80759*c_1010_1^5 - 22162*c_1010_1^4 + 4678*c_1010_1^3 - 724*c_1010_1^2 + 75*c_1010_1 - 4, c_0101_6 - c_1010_1^31 + 22*c_1010_1^30 - 247*c_1010_1^29 + 1869*c_1010_1^28 - 10647*c_1010_1^27 + 48426*c_1010_1^26 - 182279*c_1010_1^25 + 581426*c_1010_1^24 - 1597705*c_1010_1^23 + 3826904*c_1010_1^22 - 8058289*c_1010_1^21 + 15009053*c_1010_1^20 - 24835467*c_1010_1^19 + 36616962*c_1010_1^18 - 48191671*c_1010_1^17 + 56666157*c_1010_1^16 - 59536335*c_1010_1^15 + 55861052*c_1010_1^14 - 46754991*c_1010_1^13 + 34853597*c_1010_1^12 - 23091513*c_1010_1^11 + 13559110*c_1010_1^10 - 7029365*c_1010_1^9 + 3199758*c_1010_1^8 - 1268727*c_1010_1^7 + 433204*c_1010_1^6 - 125297*c_1010_1^5 + 29947*c_1010_1^4 - 5691*c_1010_1^3 + 812*c_1010_1^2 - 79*c_1010_1 + 4, c_0110_10 - 2*c_1010_1^17 + 24*c_1010_1^16 - 151*c_1010_1^15 + 640*c_1010_1^14 - 2017*c_1010_1^13 + 4965*c_1010_1^12 - 9809*c_1010_1^11 + 15788*c_1010_1^10 - 20847*c_1010_1^9 + 22614*c_1010_1^8 - 20091*c_1010_1^7 + 14532*c_1010_1^6 - 8491*c_1010_1^5 + 3971*c_1010_1^4 - 1463*c_1010_1^3 + 402*c_1010_1^2 - 73*c_1010_1 + 7, c_1001_0 + c_1010_1^35 - 24*c_1010_1^34 + 295*c_1010_1^33 - 2453*c_1010_1^32 + 15420*c_1010_1^31 - 77754*c_1010_1^30 + 326158*c_1010_1^29 - 1166177*c_1010_1^28 + 3615593*c_1010_1^27 - 9842736*c_1010_1^26 + 23749031*c_1010_1^25 - 51151710*c_1010_1^24 + 98881928*c_1010_1^23 - 172270214*c_1010_1^22 + 271322710*c_1010_1^21 - 387191771*c_1010_1^20 + 501425706*c_1010_1^19 - 589851372*c_1010_1^18 + 630547812*c_1010_1^17 - 612497885*c_1010_1^16 + 540342786*c_1010_1^15 - 432483558*c_1010_1^14 + 313568688*c_1010_1^13 - 205502655*c_1010_1^12 + 121381441*c_1010_1^11 - 64364052*c_1010_1^10 + 30481821*c_1010_1^9 - 12803950*c_1010_1^8 + 4726180*c_1010_1^7 - 1513604*c_1010_1^6 + 413172*c_1010_1^5 - 93693*c_1010_1^4 + 16974*c_1010_1^3 - 2308*c_1010_1^2 + 210*c_1010_1 - 9, c_1001_10 + c_1010_1^3 - 2*c_1010_1^2 + 3*c_1010_1 - 1, c_1010_1^36 - 25*c_1010_1^35 + 320*c_1010_1^34 - 2771*c_1010_1^33 + 18144*c_1010_1^32 - 95332*c_1010_1^31 + 416880*c_1010_1^30 - 1554692*c_1010_1^29 + 5030444*c_1010_1^28 - 14300485*c_1010_1^27 + 36053926*c_1010_1^26 - 81188619*c_1010_1^25 + 164179829*c_1010_1^24 - 299359198*c_1010_1^23 + 493651448*c_1010_1^22 - 737791498*c_1010_1^21 + 1000799885*c_1010_1^20 - 1233123996*c_1010_1^19 + 1380460258*c_1010_1^18 - 1403797616*c_1010_1^17 + 1295893105*c_1010_1^16 - 1084841840*c_1010_1^15 + 822383512*c_1010_1^14 - 563489548*c_1010_1^13 + 348151482*c_1010_1^12 - 193370239*c_1010_1^11 + 96161986*c_1010_1^10 - 42587981*c_1010_1^9 + 16677369*c_1010_1^8 - 5719062*c_1010_1^7 + 1694864*c_1010_1^6 - 426106*c_1010_1^5 + 88505*c_1010_1^4 - 14604*c_1010_1^3 + 1794*c_1010_1^2 - 144*c_1010_1 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.190 Total time: 2.399 seconds, Total memory usage: 32.09MB