Magma V2.19-8 Tue Aug 20 2013 23:39:40 on localhost [Seed = 2851065326] Type ? for help. Type -D to quit. Loading file "K14n12312__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12312 geometric_solution 10.38062448 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 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 0 0 0 0 -6 7 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513008772684 0.772193538474 0 5 3 6 0132 0132 1023 0132 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513008772684 0.772193538474 7 0 3 6 0132 0132 2103 3120 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 -1 0 0 1 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.019952157016 1.469754853188 2 8 1 0 2103 0132 1023 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 0.429070611336 0.412278370553 8 5 0 9 3012 3201 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 1 0 -1 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.754432397027 0.753699339498 8 1 4 10 0213 0132 2310 0132 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 1 -1 0 6 0 -6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.886608057658 0.853919699407 2 7 1 9 3120 1230 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.282845880000 1.369436380571 2 8 6 10 0132 0213 3012 2031 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 1 0 0 -1 -7 0 0 7 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666895139990 0.792284118893 5 3 7 4 0213 0132 0213 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297532954133 1.449158243305 10 10 4 6 0213 2310 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.719955089449 1.095932131817 9 7 5 9 0213 1302 0132 3201 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 1 0 -1 -1 0 1 0 0 0 0 0 1 -7 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218871884549 0.856536655343 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_7'], 'c_1001_10' : d['c_0101_2'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : negation(d['c_0011_6']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_4']), '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_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_1100_9' : d['c_1100_0'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_5']), 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_0']), 'c_1100_10' : d['c_0011_4'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_1001_5']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0101_1'], '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'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_10' : negation(d['c_0101_7']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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_0011_0'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_0011_10']})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_7, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 40/21*c_1100_0^3 - 127/21*c_1100_0^2 + 158/21*c_1100_0 - 24/7, c_0011_0 - 1, c_0011_10 + c_1100_0^3 + 1, c_0011_3 + c_1100_0^3 - c_1100_0^2 + c_1100_0 - 1, c_0011_4 + c_1100_0^3 - c_1100_0^2, c_0011_6 + c_1100_0^3 - c_1100_0^2 + 2*c_1100_0, c_0101_0 + c_1100_0^3 - 2*c_1100_0^2 + 2*c_1100_0 - 1, c_0101_1 - 1, c_0101_2 - c_1100_0^3 + c_1100_0^2 - c_1100_0, c_0101_7 + c_1100_0, c_1001_5 - c_1100_0^2 - 1, c_1100_0^4 - 2*c_1100_0^3 + 2*c_1100_0^2 - c_1100_0 + 1 ], Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_7, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 1080419900179817683706429/751957354424593378746336*c_1100_0^14 - 2621655079048209013832753/751957354424593378746336*c_1100_0^13 - 11505937003977551240729303/375978677212296689373168*c_1100_0^12 - 1113570569269601833808023/375978677212296689373168*c_1100_0^11 - 8393704907130242884624111/46997334651537086171646*c_1100_0^10 - 27979725966832055851848881/250652451474864459582112*c_1100_0^9 - 29635058274256522504221403/44232785554387845808608*c_1100_0^8 - 115355067671027091780895511/250652451474864459582112*c_1100_0^7 - 615139915156016428413861613/751957354424593378746336*c_1100_0^6 - 400617704675909571665590281/250652451474864459582112*c_1100_0^5 - 21971510102058495827366215/93994669303074172343292*c_1100_0^4 - 110539057460691009347205431/751957354424593378746336*c_1100_0^3 - 362875534403639569367393671/751957354424593378746336*c_1100_0^2 - 45711956040013428169948951/375978677212296689373168*c_1100_0 + 3368450376920461393057259/187989338606148344686584, c_0011_0 - 1, c_0011_10 - 1316622180190364569549/281984007909222517029876*c_1100_0^14 + 21416835160427180173/140992003954611258514938*c_1100_0^13 - 22429609367619227527757/281984007909222517029876*c_1100_0^12 + 31871925285403488627079/140992003954611258514938*c_1100_0^11 - 100478247869702379131347/140992003954611258514938*c_1100_0^10 + 39242405022995220590701/31331556434358057447764*c_1100_0^9 - 20624060149209403875901/8293647291447721089114*c_1100_0^8 + 222608584143162349355485/46997334651537086171646*c_1100_0^7 - 246764963809061367033182/70496001977305629257469*c_1100_0^6 + 67417838711250929719757/15665778217179028723882*c_1100_0^5 + 1326951803428360719292751/281984007909222517029876*c_1100_0^4 + 151053330076636589883395/281984007909222517029876*c_1100_0^3 + 205567934795052950984453/140992003954611258514938*c_1100_0^2 - 30797894644291022569855/281984007909222517029876*c_1100_0 + 55248772659764543395396/70496001977305629257469, c_0011_3 + 1, c_0011_4 + 11262779658809857290343/281984007909222517029876*c_1100_0^14 + 9902941856555973135695/140992003954611258514938*c_1100_0^13 + 234703074200394832091207/281984007909222517029876*c_1100_0^12 - 59368189352224498442077/140992003954611258514938*c_1100_0^11 + 822299788566773506543021/140992003954611258514938*c_1100_0^10 - 33303680486635963490571/31331556434358057447764*c_1100_0^9 + 192564762666308410422811/8293647291447721089114*c_1100_0^8 - 137431524336482231921827/46997334651537086171646*c_1100_0^7 + 2774778544068817966148702/70496001977305629257469*c_1100_0^6 + 284938739383489705510295/15665778217179028723882*c_1100_0^5 + 4265776017342209706955711/281984007909222517029876*c_1100_0^4 + 3301872260055119787393391/281984007909222517029876*c_1100_0^3 + 808085295625437904274473/140992003954611258514938*c_1100_0^2 + 1388118782309780762901001/281984007909222517029876*c_1100_0 + 31759750986209165019842/70496001977305629257469, c_0011_6 - 2071051657586904919813/281984007909222517029876*c_1100_0^14 - 1163034049782798197879/140992003954611258514938*c_1100_0^13 - 41918847107078363837405/281984007909222517029876*c_1100_0^12 + 23390457742940758203265/140992003954611258514938*c_1100_0^11 - 169671793865519904670171/140992003954611258514938*c_1100_0^10 + 27517356194897291685541/31331556434358057447764*c_1100_0^9 - 40606087814356262239123/8293647291447721089114*c_1100_0^8 + 144730422097816779530941/46997334651537086171646*c_1100_0^7 - 674135967342131525625470/70496001977305629257469*c_1100_0^6 + 8227510051864193912181/15665778217179028723882*c_1100_0^5 - 1007944675144065434681569/281984007909222517029876*c_1100_0^4 - 915452589020882205227353/281984007909222517029876*c_1100_0^3 - 147807184068785676675517/140992003954611258514938*c_1100_0^2 - 119457036483016797065803/281984007909222517029876*c_1100_0 - 2339592242661687244802/70496001977305629257469, c_0101_0 - 9170283819067998299/1843032731432826908692*c_1100_0^14 - 6072327793898775707/921516365716413454346*c_1100_0^13 - 187778375058631539963/1843032731432826908692*c_1100_0^12 + 86902397539149443675/921516365716413454346*c_1100_0^11 - 727670604206625305053/921516365716413454346*c_1100_0^10 + 880031562142651940227/1843032731432826908692*c_1100_0^9 - 2979626395628966242073/921516365716413454346*c_1100_0^8 + 1578209910316912945161/921516365716413454346*c_1100_0^7 - 2852063787108202976048/460758182858206727173*c_1100_0^6 + 220974872402224804115/921516365716413454346*c_1100_0^5 - 5127193201187293908715/1843032731432826908692*c_1100_0^4 - 2349366297731749427255/1843032731432826908692*c_1100_0^3 - 892763494798102282013/921516365716413454346*c_1100_0^2 + 148258448911172517419/1843032731432826908692*c_1100_0 - 66651333493628197608/460758182858206727173, c_0101_1 + 405741164936837292341/140992003954611258514938*c_1100_0^14 + 888804031027326163909/70496001977305629257469*c_1100_0^13 + 10681268442547033153195/140992003954611258514938*c_1100_0^12 + 9064809051248658187387/70496001977305629257469*c_1100_0^11 + 27270959717772766558310/70496001977305629257469*c_1100_0^10 + 14703251088191620978525/15665778217179028723882*c_1100_0^9 + 7633916171377508379680/4146823645723860544557*c_1100_0^8 + 87474838138954601202934/23498667325768543085823*c_1100_0^7 + 257244245441129364560441/70496001977305629257469*c_1100_0^6 + 55262576601837000215276/7832889108589514361941*c_1100_0^5 + 918504213084218203326311/140992003954611258514938*c_1100_0^4 + 354048078530048716715381/140992003954611258514938*c_1100_0^3 + 129556564383534432819893/70496001977305629257469*c_1100_0^2 + 189891639902605460818151/140992003954611258514938*c_1100_0 + 75487501263877275649433/70496001977305629257469, c_0101_2 + 5619280842084252636/460758182858206727173*c_1100_0^14 + 14189003187034720245/460758182858206727173*c_1100_0^13 + 125947188415928463236/460758182858206727173*c_1100_0^12 + 31013093833239109629/460758182858206727173*c_1100_0^11 + 798374921126983189141/460758182858206727173*c_1100_0^10 + 429633734098922035876/460758182858206727173*c_1100_0^9 + 3352236516217851570603/460758182858206727173*c_1100_0^8 + 1812743156565349641004/460758182858206727173*c_1100_0^7 + 5966737257284722289105/460758182858206727173*c_1100_0^6 + 5751290080798575791779/460758182858206727173*c_1100_0^5 + 5336555423896703126523/460758182858206727173*c_1100_0^4 + 2379229272077944625033/460758182858206727173*c_1100_0^3 + 1413232360568925808109/460758182858206727173*c_1100_0^2 + 1266439232893493387796/460758182858206727173*c_1100_0 + 471861398170596747465/460758182858206727173, c_0101_7 + 527432518283947160318/70496001977305629257469*c_1100_0^14 + 652583379176761440704/70496001977305629257469*c_1100_0^13 + 10752302754557887290973/70496001977305629257469*c_1100_0^12 - 10906698196425322711528/70496001977305629257469*c_1100_0^11 + 85019014192793971944430/70496001977305629257469*c_1100_0^10 - 6391829192065574808789/7832889108589514361941*c_1100_0^9 + 20711403878662082136949/4146823645723860544557*c_1100_0^8 - 70567998396379865303956/23498667325768543085823*c_1100_0^7 + 694140097202048962064221/70496001977305629257469*c_1100_0^6 - 8194163404762036191558/7832889108589514361941*c_1100_0^5 + 359476282830455616435260/70496001977305629257469*c_1100_0^4 + 127861279457546044323161/70496001977305629257469*c_1100_0^3 + 124934937867882352373443/70496001977305629257469*c_1100_0^2 + 87500803896457939879193/70496001977305629257469*c_1100_0 + 25542780425255414250802/70496001977305629257469, c_1001_5 - 3574301681030261894477/281984007909222517029876*c_1100_0^14 - 3081671363265628716835/140992003954611258514938*c_1100_0^13 - 73775153027925329714593/281984007909222517029876*c_1100_0^12 + 20713088708226821252897/140992003954611258514938*c_1100_0^11 - 256159066364872567465397/140992003954611258514938*c_1100_0^10 + 12786665698401892988229/31331556434358057447764*c_1100_0^9 - 59172592535375132570831/8293647291447721089114*c_1100_0^8 + 62553148061305125095825/46997334651537086171646*c_1100_0^7 - 816816572081837191414039/70496001977305629257469*c_1100_0^6 - 71569650055257129496389/15665778217179028723882*c_1100_0^5 - 899699027943683954144993/281984007909222517029876*c_1100_0^4 - 223641915797232791274185/281984007909222517029876*c_1100_0^3 - 215548529038316497366577/140992003954611258514938*c_1100_0^2 + 70837664413803445700305/281984007909222517029876*c_1100_0 - 4077944270572766653978/70496001977305629257469, c_1100_0^15 + 2*c_1100_0^14 + 21*c_1100_0^13 - 6*c_1100_0^12 + 138*c_1100_0^11 + 11*c_1100_0^10 + 538*c_1100_0^9 + 70*c_1100_0^8 + 824*c_1100_0^7 + 698*c_1100_0^6 + 265*c_1100_0^5 + 245*c_1100_0^4 + 162*c_1100_0^3 + 111*c_1100_0^2 + 12*c_1100_0 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.250 Total time: 0.470 seconds, Total memory usage: 32.09MB