Magma V2.19-8 Tue Aug 20 2013 23:46:32 on localhost [Seed = 2681861511] Type ? for help. Type -D to quit. Loading file "K14n2014__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n2014 geometric_solution 11.22098134 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 0 2 0 0132 1302 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 -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.556019977104 0.448825480634 0 3 5 4 0132 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 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.911051262583 0.879011475456 6 5 7 0 0132 1023 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 0 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.136183771679 0.670710908559 8 1 6 7 0132 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 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.790053038894 0.539643914609 9 9 1 7 0132 1230 0132 3120 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 14 -13 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604788700675 0.876409388061 2 10 8 1 1023 0132 0321 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177343198341 1.086728758905 2 11 9 3 0132 0132 0132 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 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.277302451736 1.769228964942 4 3 8 2 3120 2310 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 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.246213561561 1.042410254736 3 7 5 10 0132 3201 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701967810991 0.591617448309 4 10 4 6 0132 2310 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 -1 0 0 0 0 0 0 0 0 0 -14 1 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466612091777 0.772941309458 11 5 8 9 0132 0132 0132 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 1 -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.432352417976 0.526756254122 10 6 11 11 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389092725318 1.015333791904 ==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_10']), 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : negation(d['c_1001_1']), 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_5'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0011_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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' : 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_1100_9' : negation(d['c_1001_3']), 'c_1100_8' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0011_0']), 'c_1100_6' : negation(d['c_1001_3']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : d['c_0011_4'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_1'], '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'], '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_4']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : 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_0'], 'c_0011_2' : negation(d['c_0011_10']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_11'], 'c_0011_11' : negation(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_0101_0'], 'c_0101_3' : d['c_0101_10'], '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' : negation(d['c_0011_7']), 'c_0101_8' : negation(d['c_0101_5']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : negation(d['c_0011_7']), 'c_0011_10' : d['c_0011_10']})} 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_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_0101_7, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 14909361549528846710216349/760085535698237036288*c_1001_3^15 - 10327189954391668337918865/108583647956891005184*c_1001_3^14 - 63606078259480908487520131/760085535698237036288*c_1001_3^13 + 34631700920695421054230349/380042767849118518144*c_1001_3^12 - 532310532956350845186837931/760085535698237036288*c_1001_3^11 - 585911169469184236106877927/380042767849118518144*c_1001_3^10 + 878868635679336899231269903/380042767849118518144*c_1001_3^9 + 768415883613310574173407465/190021383924559259072*c_1001_3^8 - 4326689381709623372969973663/760085535698237036288*c_1001_3^7 - 387727248344145114670093163/54291823978445502592*c_1001_3^6 + 992207329507639822087056197/380042767849118518144*c_1001_3^5 + 489856112006884322967096429/760085535698237036288*c_1001_3^4 - 3339264401718387693995300809/760085535698237036288*c_1001_3^3 - 462578253514270016039716141/190021383924559259072*c_1001_3^2 - 569809928528028412149425613/760085535698237036288*c_1001_3 - 197043730588345495856350445/760085535698237036288, c_0011_0 - 1, c_0011_10 + 1765855587539/52497663819742*c_1001_3^15 + 8726725430721/52497663819742*c_1001_3^14 + 7135585550197/52497663819742*c_1001_3^13 - 5501152926685/26248831909871*c_1001_3^12 + 33019794847441/26248831909871*c_1001_3^11 + 150558444745485/52497663819742*c_1001_3^10 - 251859819369437/52497663819742*c_1001_3^9 - 383765308916541/52497663819742*c_1001_3^8 + 707408563310663/52497663819742*c_1001_3^7 + 275932177843215/26248831909871*c_1001_3^6 - 650595775018019/52497663819742*c_1001_3^5 + 171278791489941/26248831909871*c_1001_3^4 + 295501388941702/26248831909871*c_1001_3^3 - 170291285352905/52497663819742*c_1001_3^2 + 52702684070715/26248831909871*c_1001_3 + 24625420815224/26248831909871, c_0011_4 + 27356542147755/104995327639484*c_1001_3^15 + 117141666425051/104995327639484*c_1001_3^14 + 26467550968013/52497663819742*c_1001_3^13 - 146467663525525/104995327639484*c_1001_3^12 + 265915707320774/26248831909871*c_1001_3^11 + 768423217256035/52497663819742*c_1001_3^10 - 1996401894174661/52497663819742*c_1001_3^9 - 3259917802209141/104995327639484*c_1001_3^8 + 2356341341008445/26248831909871*c_1001_3^7 + 4426543396575993/104995327639484*c_1001_3^6 - 5400024801296401/104995327639484*c_1001_3^5 + 2352732938957071/104995327639484*c_1001_3^4 + 1169072391854886/26248831909871*c_1001_3^3 + 540526697230365/52497663819742*c_1001_3^2 + 542179063610561/104995327639484*c_1001_3 + 62592237829575/52497663819742, c_0011_7 - 33734375500915/104995327639484*c_1001_3^15 - 147198160857597/104995327639484*c_1001_3^14 - 38704876434573/52497663819742*c_1001_3^13 + 176060435753459/104995327639484*c_1001_3^12 - 322142825683645/26248831909871*c_1001_3^11 - 999805350008113/52497663819742*c_1001_3^10 + 2369995779710135/52497663819742*c_1001_3^9 + 4494206332761731/104995327639484*c_1001_3^8 - 5574350809356037/52497663819742*c_1001_3^7 - 6750345675004561/104995327639484*c_1001_3^6 + 5937917172759253/104995327639484*c_1001_3^5 - 1532120333004371/104995327639484*c_1001_3^4 - 2892008273330315/52497663819742*c_1001_3^3 - 579939603405187/26248831909871*c_1001_3^2 - 670508751603013/104995327639484*c_1001_3 - 53728399545639/52497663819742, c_0101_0 + 324773726797/26248831909871*c_1001_3^15 + 671272241201/26248831909871*c_1001_3^14 - 11261452681945/104995327639484*c_1001_3^13 - 8393350403815/52497663819742*c_1001_3^12 + 70095014373099/104995327639484*c_1001_3^11 - 15719852351157/52497663819742*c_1001_3^10 - 103550624706435/26248831909871*c_1001_3^9 + 66709583000859/26248831909871*c_1001_3^8 + 1050152342331173/104995327639484*c_1001_3^7 - 448205138077517/52497663819742*c_1001_3^6 - 1203744415775107/104995327639484*c_1001_3^5 + 503932015164547/52497663819742*c_1001_3^4 + 55935123125635/104995327639484*c_1001_3^3 - 160799280195003/26248831909871*c_1001_3^2 - 13219595258710/26248831909871*c_1001_3 + 413623916521/26248831909871, c_0101_1 + 3159339269995/26248831909871*c_1001_3^15 + 11330645546013/26248831909871*c_1001_3^14 - 2675207848183/26248831909871*c_1001_3^13 - 18942871065653/26248831909871*c_1001_3^12 + 134244140559940/26248831909871*c_1001_3^11 + 178004675902827/52497663819742*c_1001_3^10 - 557908524396881/26248831909871*c_1001_3^9 - 38674546966760/26248831909871*c_1001_3^8 + 1247983797553552/26248831909871*c_1001_3^7 - 494544794141117/52497663819742*c_1001_3^6 - 755164244739132/26248831909871*c_1001_3^5 + 651650786243183/26248831909871*c_1001_3^4 + 242228958320224/26248831909871*c_1001_3^3 - 262621749526853/52497663819742*c_1001_3^2 + 35785001007989/52497663819742*c_1001_3 - 20666789206511/26248831909871, c_0101_10 + 5882825500777/104995327639484*c_1001_3^15 + 12939770894811/52497663819742*c_1001_3^14 + 11812168186227/104995327639484*c_1001_3^13 - 19299751661485/52497663819742*c_1001_3^12 + 114792993611231/52497663819742*c_1001_3^11 + 186349339094395/52497663819742*c_1001_3^10 - 930510008906093/104995327639484*c_1001_3^9 - 212104859558513/26248831909871*c_1001_3^8 + 2412085834665021/104995327639484*c_1001_3^7 + 559953756444055/52497663819742*c_1001_3^6 - 2079982566743535/104995327639484*c_1001_3^5 + 187230312729329/26248831909871*c_1001_3^4 + 833008325947861/52497663819742*c_1001_3^3 - 42824314372103/26248831909871*c_1001_3^2 + 4341364092227/52497663819742*c_1001_3 + 14428931164330/26248831909871, c_0101_11 + 13599552615463/52497663819742*c_1001_3^15 + 120603100060251/104995327639484*c_1001_3^14 + 34979942567489/52497663819742*c_1001_3^13 - 34475806544100/26248831909871*c_1001_3^12 + 259657991382957/26248831909871*c_1001_3^11 + 1687161628189455/104995327639484*c_1001_3^10 - 939566457276194/26248831909871*c_1001_3^9 - 3806353152369393/104995327639484*c_1001_3^8 + 4465957653901447/52497663819742*c_1001_3^7 + 1408326693220652/26248831909871*c_1001_3^6 - 1177312773272561/26248831909871*c_1001_3^5 + 474369834626799/26248831909871*c_1001_3^4 + 2365706422589065/52497663819742*c_1001_3^3 + 1698787221584603/104995327639484*c_1001_3^2 + 222732886033380/26248831909871*c_1001_3 + 20937949672162/26248831909871, c_0101_5 - 35563861995369/52497663819742*c_1001_3^15 - 82818933165656/26248831909871*c_1001_3^14 - 123222426963967/52497663819742*c_1001_3^13 + 176028013759597/52497663819742*c_1001_3^12 - 652909939886882/26248831909871*c_1001_3^11 - 2526570015094271/52497663819742*c_1001_3^10 + 4547196939718427/52497663819742*c_1001_3^9 + 3157576893821201/26248831909871*c_1001_3^8 - 11011159109262245/52497663819742*c_1001_3^7 - 5295795609876797/26248831909871*c_1001_3^6 + 2766899662069727/26248831909871*c_1001_3^5 - 91109827238789/52497663819742*c_1001_3^4 - 7136356018837549/52497663819742*c_1001_3^3 - 1763361626245414/26248831909871*c_1001_3^2 - 1165476387695715/52497663819742*c_1001_3 - 138185102680505/26248831909871, c_0101_7 + 5168418786839/52497663819742*c_1001_3^15 + 20172962847799/52497663819742*c_1001_3^14 + 4523347324571/52497663819742*c_1001_3^13 - 41907971583925/104995327639484*c_1001_3^12 + 105193524633428/26248831909871*c_1001_3^11 + 401412808322291/104995327639484*c_1001_3^10 - 370788459829459/26248831909871*c_1001_3^9 - 124505004435522/26248831909871*c_1001_3^8 + 1549388725726539/52497663819742*c_1001_3^7 + 275646882177589/104995327639484*c_1001_3^6 - 178398504654921/26248831909871*c_1001_3^5 + 1269060171776487/104995327639484*c_1001_3^4 + 166257078497961/26248831909871*c_1001_3^3 + 720239626485863/104995327639484*c_1001_3^2 + 117811529993335/26248831909871*c_1001_3 + 17987882712266/26248831909871, c_1001_1 + 5168418786839/52497663819742*c_1001_3^15 + 20172962847799/52497663819742*c_1001_3^14 + 4523347324571/52497663819742*c_1001_3^13 - 41907971583925/104995327639484*c_1001_3^12 + 105193524633428/26248831909871*c_1001_3^11 + 401412808322291/104995327639484*c_1001_3^10 - 370788459829459/26248831909871*c_1001_3^9 - 124505004435522/26248831909871*c_1001_3^8 + 1549388725726539/52497663819742*c_1001_3^7 + 275646882177589/104995327639484*c_1001_3^6 - 178398504654921/26248831909871*c_1001_3^5 + 1269060171776487/104995327639484*c_1001_3^4 + 166257078497961/26248831909871*c_1001_3^3 + 720239626485863/104995327639484*c_1001_3^2 + 117811529993335/26248831909871*c_1001_3 + 17987882712266/26248831909871, c_1001_3^16 + 5*c_1001_3^15 + 5*c_1001_3^14 - 4*c_1001_3^13 + 35*c_1001_3^12 + 84*c_1001_3^11 - 106*c_1001_3^10 - 224*c_1001_3^9 + 259*c_1001_3^8 + 408*c_1001_3^7 - 78*c_1001_3^6 - 53*c_1001_3^5 + 219*c_1001_3^4 + 158*c_1001_3^3 + 57*c_1001_3^2 + 19*c_1001_3 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.320 Total time: 1.530 seconds, Total memory usage: 32.09MB