Magma V2.19-8 Tue Aug 20 2013 23:38:39 on localhost [Seed = 3035811973] Type ? for help. Type -D to quit. Loading file "K12a1162__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1162 geometric_solution 10.26611226 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 11 1 1 2 3 0132 3120 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 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.766972952278 1.235509116151 0 0 2 3 0132 3120 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.147075347023 0.969732566955 4 5 1 0 0132 0132 3120 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 -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.257216388887 0.850016120811 6 1 0 4 0132 2310 0132 3012 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 -11 0 1 10 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.582916033474 0.667069141159 2 6 3 7 0132 1302 1230 0132 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 10 -10 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.553846423577 1.393201939129 7 2 8 8 1023 0132 0132 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 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.215000269034 0.793437359022 3 7 9 4 0132 2031 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 0 0 11 0 -1 -10 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.772891808626 1.607095057513 6 5 4 9 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702553104682 1.305903941693 10 5 9 5 0132 0321 2310 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 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.681843055196 1.174126930978 7 8 10 6 3012 3201 3120 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630133456830 0.636906493208 8 10 9 10 0132 2310 3120 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 1 0 -1 0 0 1 -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.454044631400 0.573536189134 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_0011_9']), 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0011_9'], 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_1100_9' : negation(d['c_0101_10']), 'c_1100_8' : d['c_0011_9'], 'c_1100_5' : d['c_0011_9'], 'c_1100_4' : d['c_0101_6'], 'c_1100_7' : d['c_0101_6'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_1']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : d['c_1001_0'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(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' : negation(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' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_2'], 'c_0110_10' : d['c_0101_8'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0011_9'], 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_6, c_0101_8, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 1507148446257669708721/43417343854682336*c_1001_0^33 - 1685530748186843222457/1550619423381512*c_1001_0^32 - 688504839188355834211227/43417343854682336*c_1001_0^31 - 6196241159925306262275567/43417343854682336*c_1001_0^30 - 38377766410202516351508163/43417343854682336*c_1001_0^29 - 86355281866853541124905173/21708671927341168*c_1001_0^28 - 580717446704552719405101747/43417343854682336*c_1001_0^27 - 1476019428247481360542031603/43417343854682336*c_1001_0^26 - 101228444458548953818887719/1550619423381512*c_1001_0^25 - 4069399999955275025274381313/43417343854682336*c_1001_0^24 - 2155568796470818391396614613/21708671927341168*c_1001_0^23 - 156418916597867727012624287/1973515629758288*c_1001_0^22 - 1230864007382553368710786339/21708671927341168*c_1001_0^21 - 64644199152643298980955314/1356791995458823*c_1001_0^20 - 794042108984578869077320529/21708671927341168*c_1001_0^19 - 4039541783427347159530591/305755942638608*c_1001_0^18 - 17314562747929124679861309/43417343854682336*c_1001_0^17 - 20875221349676663769473115/3101238846763024*c_1001_0^16 - 275910367228585531388142659/43417343854682336*c_1001_0^15 + 13399357586316574651323115/3947031259516576*c_1001_0^14 + 58744317744585797096707773/43417343854682336*c_1001_0^13 - 173630679831425718511526701/43417343854682336*c_1001_0^12 + 14784123746016854797862913/43417343854682336*c_1001_0^11 + 71760124961371856255587221/43417343854682336*c_1001_0^10 - 62614867922004914743366697/43417343854682336*c_1001_0^9 - 5095581939901331978951087/43417343854682336*c_1001_0^8 + 29524751683797672690260979/43417343854682336*c_1001_0^7 - 18444456791445489753012409/43417343854682336*c_1001_0^6 + 109709855061589976753809/3947031259516576*c_1001_0^5 + 5448278024865259538107711/43417343854682336*c_1001_0^4 - 4323654220268866758309417/43417343854682336*c_1001_0^3 + 1774915535315136356768431/43417343854682336*c_1001_0^2 - 221520866087637344744881/21708671927341168*c_1001_0 + 48796284344855213168055/43417343854682336, c_0011_0 - 1, c_0011_10 + c_1001_0^25 + 22*c_1001_0^24 + 218*c_1001_0^23 + 1276*c_1001_0^22 + 4851*c_1001_0^21 + 12354*c_1001_0^20 + 20794*c_1001_0^19 + 21532*c_1001_0^18 + 11229*c_1001_0^17 + 2382*c_1001_0^16 + 5706*c_1001_0^15 + 8156*c_1001_0^14 - 996*c_1001_0^13 - 4586*c_1001_0^12 + 2932*c_1001_0^11 + 2210*c_1001_0^10 - 3078*c_1001_0^9 + 314*c_1001_0^8 + 1560*c_1001_0^7 - 1128*c_1001_0^6 + 101*c_1001_0^5 + 386*c_1001_0^4 - 322*c_1001_0^3 + 138*c_1001_0^2 - 35*c_1001_0 + 4, c_0011_2 + c_1001_0^3 + 2*c_1001_0^2, c_0011_3 - c_1001_0^31 - 28*c_1001_0^30 - 362*c_1001_0^29 - 2856*c_1001_0^28 - 15300*c_1001_0^27 - 58540*c_1001_0^26 - 163600*c_1001_0^25 - 335064*c_1001_0^24 - 496184*c_1001_0^23 - 516548*c_1001_0^22 - 372504*c_1001_0^21 - 223928*c_1001_0^20 - 189762*c_1001_0^19 - 157816*c_1001_0^18 - 39324*c_1001_0^17 + 22992*c_1001_0^16 - 25762*c_1001_0^15 - 28274*c_1001_0^14 + 19068*c_1001_0^13 + 3182*c_1001_0^12 - 16312*c_1001_0^11 + 4934*c_1001_0^10 + 2936*c_1001_0^9 - 5204*c_1001_0^8 + 2230*c_1001_0^7 + 176*c_1001_0^6 - 980*c_1001_0^5 + 794*c_1001_0^4 - 398*c_1001_0^3 + 138*c_1001_0^2 - 34*c_1001_0 + 4, c_0011_9 - c_1001_0^27 - 24*c_1001_0^26 - 262*c_1001_0^25 - 1712*c_1001_0^24 - 7404*c_1001_0^23 - 22076*c_1001_0^22 - 45680*c_1001_0^21 - 64040*c_1001_0^20 - 57303*c_1001_0^19 - 31156*c_1001_0^18 - 18490*c_1001_0^17 - 24424*c_1001_0^16 - 15096*c_1001_0^15 + 6580*c_1001_0^14 + 2760*c_1001_0^13 - 9512*c_1001_0^12 + 1026*c_1001_0^11 + 5668*c_1001_0^10 - 4228*c_1001_0^9 - 1140*c_1001_0^8 + 2792*c_1001_0^7 - 1500*c_1001_0^6 - 192*c_1001_0^5 + 712*c_1001_0^4 - 487*c_1001_0^3 + 188*c_1001_0^2 - 42*c_1001_0 + 4, c_0101_0 + c_1001_0^32 + 30*c_1001_0^31 + 417*c_1001_0^30 + 3552*c_1001_0^29 + 20651*c_1001_0^28 + 86310*c_1001_0^27 + 265690*c_1001_0^26 + 605960*c_1001_0^25 + 1013539*c_1001_0^24 + 1210714*c_1001_0^23 + 999030*c_1001_0^22 + 606512*c_1001_0^21 + 445646*c_1001_0^20 + 446820*c_1001_0^19 + 225202*c_1001_0^18 - 62288*c_1001_0^17 - 6831*c_1001_0^16 + 124020*c_1001_0^15 - 9908*c_1001_0^14 - 73756*c_1001_0^13 + 48010*c_1001_0^12 + 27738*c_1001_0^11 - 39156*c_1001_0^10 + 11652*c_1001_0^9 + 13680*c_1001_0^8 - 14238*c_1001_0^7 + 4490*c_1001_0^6 + 2142*c_1001_0^5 - 3208*c_1001_0^4 + 1852*c_1001_0^3 - 652*c_1001_0^2 + 144*c_1001_0 - 15, c_0101_1 + c_1001_0^33 + 30*c_1001_0^32 + 418*c_1001_0^31 + 3580*c_1001_0^30 + 21013*c_1001_0^29 + 89166*c_1001_0^28 + 280990*c_1001_0^27 + 664500*c_1001_0^26 + 1177139*c_1001_0^25 + 1545778*c_1001_0^24 + 1495214*c_1001_0^23 + 1123060*c_1001_0^22 + 818150*c_1001_0^21 + 670748*c_1001_0^20 + 414964*c_1001_0^19 + 95528*c_1001_0^18 + 32493*c_1001_0^17 + 101028*c_1001_0^16 + 15854*c_1001_0^15 - 45482*c_1001_0^14 + 28942*c_1001_0^13 + 24556*c_1001_0^12 - 22844*c_1001_0^11 + 6718*c_1001_0^10 + 10744*c_1001_0^9 - 9034*c_1001_0^8 + 2260*c_1001_0^7 + 1966*c_1001_0^6 - 2228*c_1001_0^5 + 1058*c_1001_0^4 - 254*c_1001_0^3 + 6*c_1001_0^2 + 19*c_1001_0 - 4, c_0101_10 - c_1001_0^29 - 26*c_1001_0^28 - 310*c_1001_0^27 - 2236*c_1001_0^26 - 10827*c_1001_0^25 - 36862*c_1001_0^24 - 89614*c_1001_0^23 - 154124*c_1001_0^22 - 180532*c_1001_0^21 - 133408*c_1001_0^20 - 60008*c_1001_0^19 - 39872*c_1001_0^18 - 52715*c_1001_0^17 - 21230*c_1001_0^16 + 21626*c_1001_0^15 + 4164*c_1001_0^14 - 18994*c_1001_0^13 + 3134*c_1001_0^12 + 10040*c_1001_0^11 - 7386*c_1001_0^10 - 2566*c_1001_0^9 + 4398*c_1001_0^8 - 1632*c_1001_0^7 - 800*c_1001_0^6 + 1038*c_1001_0^5 - 400*c_1001_0^4 + 12*c_1001_0^3 + 58*c_1001_0^2 - 27*c_1001_0 + 4, c_0101_6 + c_1001_0, c_0101_8 + c_1001_0^12 + 10*c_1001_0^11 + 39*c_1001_0^10 + 70*c_1001_0^9 + 45*c_1001_0^8 - 14*c_1001_0^7 + 32*c_1001_0^5 - 10*c_1001_0^4 - 12*c_1001_0^3 + 13*c_1001_0^2 - 6*c_1001_0 + 1, c_1001_0^34 + 31*c_1001_0^33 + 447*c_1001_0^32 + 3968*c_1001_0^31 + 24176*c_1001_0^30 + 106627*c_1001_0^29 + 349505*c_1001_0^28 + 859180*c_1001_0^27 + 1575949*c_1001_0^26 + 2116957*c_1001_0^25 + 2027453*c_1001_0^24 + 1407560*c_1001_0^23 + 942180*c_1001_0^22 + 882386*c_1001_0^21 + 640066*c_1001_0^20 + 63672*c_1001_0^19 - 97181*c_1001_0^18 + 195809*c_1001_0^17 + 123713*c_1001_0^16 - 153648*c_1001_0^15 - 6632*c_1001_0^14 + 127254*c_1001_0^13 - 46298*c_1001_0^12 - 43864*c_1001_0^11 + 56618*c_1001_0^10 - 9942*c_1001_0^9 - 20454*c_1001_0^8 + 18464*c_1001_0^7 - 4752*c_1001_0^6 - 3312*c_1001_0^5 + 4012*c_1001_0^4 - 2100*c_1001_0^3 + 677*c_1001_0^2 - 129*c_1001_0 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB