Magma V2.19-8 Tue Aug 20 2013 23:50:56 on localhost [Seed = 2766327722] Type ? for help. Type -D to quit. Loading file "K12a743__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a743 geometric_solution 11.02104170 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 2310 0132 0132 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 1 -1 0 0 0 0 0 6 1 0 -7 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226352989168 0.598719271709 0 3 2 0 0132 2103 2103 3201 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 1 -1 1 0 0 -1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808413256492 0.625624592857 1 4 5 0 2103 0132 0132 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 0 1 -1 0 1 0 0 1 0 -1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.278872950187 1.087735746080 4 1 0 5 0132 2103 0132 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 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.278872950187 1.087735746080 3 2 6 7 0132 0132 0132 0132 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 1 0 -1 0 0 0 0 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.173501592664 1.226795690805 7 6 3 2 0132 0132 0132 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 1 0 0 -1 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173501592664 1.226795690805 8 5 9 4 0132 0132 0132 0132 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 1 0 0 -1 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228978972186 0.894852986050 5 8 4 10 0132 0132 0132 0132 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 1 -1 -1 0 0 1 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228978972186 0.894852986050 6 7 10 9 0132 0132 2103 0321 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 7 0 -7 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.566080007578 0.757907200853 10 8 11 6 1230 0321 0132 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 0 0 -1 7 0 -6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851931566549 0.624935276261 8 9 7 11 2103 3012 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 -1 1 0 0 0 -1 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.851931566549 0.624935276261 12 10 12 9 0132 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 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.055333391167 0.345116609278 11 11 12 12 0132 3201 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.653661607397 0.212569292610 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_2'], 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0110_10']), 'c_1010_10' : negation(d['c_0101_12']), '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : 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' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_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' : 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_10']), 'c_0011_8' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_7' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_10'], 'c_1100_8' : negation(d['c_0110_10'])})} 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_2, c_0011_5, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0110_10, c_1001_0, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 39 Groebner basis: [ t - 14053685309591874483/9212835916883417*c_1100_0^38 + 363525855130115356457/9212835916883417*c_1100_0^37 - 4800033683330456301015/9212835916883417*c_1100_0^36 + 6118038251681940879905/1316119416697631*c_1100_0^35 - 41270826275489165112866/1316119416697631*c_1100_0^34 + 1564826984114191716976650/9212835916883417*c_1100_0^33 - 7063032458213570572452977/9212835916883417*c_1100_0^32 + 27233686011729115235875053/9212835916883417*c_1100_0^31 - 91293586672856149473074956/9212835916883417*c_1100_0^30 + 269513094398194006386357588/9212835916883417*c_1100_0^29 - 707473544783647495301958218/9212835916883417*c_1100_0^28 + 1663422833993535928020586142/9212835916883417*c_1100_0^27 - 3522594990323601255307709935/9212835916883417*c_1100_0^26 + 6746725173629685105294305466/9212835916883417*c_1100_0^25 - 11722027595591316950122316523/9212835916883417*c_1100_0^24 + 18513175403044205675990770773/9212835916883417*c_1100_0^23 - 26609977580691751217557299846/9212835916883417*c_1100_0^22 + 34823114478285568784960063802/9212835916883417*c_1100_0^21 - 41475912971022592740034128977/9212835916883417*c_1100_0^20 + 44910663051937774098150913491/9212835916883417*c_1100_0^19 - 1076294870924945204060431936/224703315045937*c_1100_0^18 + 39240354672027776767548914672/9212835916883417*c_1100_0^17 - 31468782237516705396039902244/9212835916883417*c_1100_0^16 + 22660170548919536333579226266/9212835916883417*c_1100_0^15 - 14576196160545269150559215911/9212835916883417*c_1100_0^14 + 91517304258913218999023846/101239955130587*c_1100_0^13 - 4202728375197362128017173681/9212835916883417*c_1100_0^12 + 1865775425676134688646979654/9212835916883417*c_1100_0^11 - 56072668215770618440076772/708679685914109*c_1100_0^10 + 252820214370603541556942484/9212835916883417*c_1100_0^9 - 1933456008592922429749650/224703315045937*c_1100_0^8 + 22850278440678174608364107/9212835916883417*c_1100_0^7 - 6000612145101786433487072/9212835916883417*c_1100_0^6 + 1379298642961396150943518/9212835916883417*c_1100_0^5 - 38989370281568569568987/1316119416697631*c_1100_0^4 + 50152157774177820377301/9212835916883417*c_1100_0^3 - 8295498708723499684569/9212835916883417*c_1100_0^2 + 774357561660908828194/9212835916883417*c_1100_0 - 97526930617710529679/9212835916883417, c_0011_0 - 1, c_0011_10 - c_1100_0^33 + 22*c_1100_0^32 - 248*c_1100_0^31 + 1891*c_1100_0^30 - 10895*c_1100_0^29 + 50309*c_1100_0^28 - 193018*c_1100_0^27 + 630173*c_1100_0^26 - 1780156*c_1100_0^25 + 4403229*c_1100_0^24 - 9619528*c_1100_0^23 + 18677117*c_1100_0^22 - 32368811*c_1100_0^21 + 50213607*c_1100_0^20 - 69828190*c_1100_0^19 + 87068767*c_1100_0^18 - 97255717*c_1100_0^17 + 97112757*c_1100_0^16 - 86397320*c_1100_0^15 + 68167583*c_1100_0^14 - 47414935*c_1100_0^13 + 28864845*c_1100_0^12 - 15256534*c_1100_0^11 + 6950045*c_1100_0^10 - 2720434*c_1100_0^9 + 922397*c_1100_0^8 - 277952*c_1100_0^7 + 76737*c_1100_0^6 - 19175*c_1100_0^5 + 4027*c_1100_0^4 - 694*c_1100_0^3 + 115*c_1100_0^2 - 13*c_1100_0 + 1, c_0011_11 + c_1100_0^3 - 2*c_1100_0^2 + 3*c_1100_0 - 1, c_0011_2 + c_1100_0, c_0011_5 - c_1100_0^3 + 2*c_1100_0^2 - 3*c_1100_0 + 1, c_0101_1 + c_1100_0^38 - 25*c_1100_0^37 + 319*c_1100_0^36 - 2750*c_1100_0^35 + 17921*c_1100_0^34 - 93756*c_1100_0^33 + 408641*c_1100_0^32 - 1521168*c_1100_0^31 + 4921886*c_1100_0^30 - 14021474*c_1100_0^29 + 35510222*c_1100_0^28 - 80536144*c_1100_0^27 + 164484404*c_1100_0^26 - 303791909*c_1100_0^25 + 508954594*c_1100_0^24 - 775093420*c_1100_0^23 + 1074380949*c_1100_0^22 - 1356174535*c_1100_0^21 + 1558591355*c_1100_0^20 - 1629299630*c_1100_0^19 + 1546657331*c_1100_0^18 - 1329992985*c_1100_0^17 + 1032643657*c_1100_0^16 - 720960872*c_1100_0^15 + 450384034*c_1100_0^14 - 250331794*c_1100_0^13 + 123076206*c_1100_0^12 - 53265908*c_1100_0^11 + 20264626*c_1100_0^10 - 6818545*c_1100_0^9 + 2063208*c_1100_0^8 - 572708*c_1100_0^7 + 145377*c_1100_0^6 - 32203*c_1100_0^5 + 5927*c_1100_0^4 - 982*c_1100_0^3 + 163*c_1100_0^2 - 13*c_1100_0 + 1, c_0101_10 + c_1100_0^2 - c_1100_0 + 1, c_0101_11 + c_1100_0^15 - 10*c_1100_0^14 + 53*c_1100_0^13 - 189*c_1100_0^12 + 499*c_1100_0^11 - 1020*c_1100_0^10 + 1651*c_1100_0^9 - 2134*c_1100_0^8 + 2197*c_1100_0^7 - 1778*c_1100_0^6 + 1101*c_1100_0^5 - 499*c_1100_0^4 + 155*c_1100_0^3 - 32*c_1100_0^2 + 7*c_1100_0 - 1, c_0101_12 - c_1100_0^27 + 18*c_1100_0^26 - 167*c_1100_0^25 + 1049*c_1100_0^24 - 4970*c_1100_0^23 + 18800*c_1100_0^22 - 58758*c_1100_0^21 + 155143*c_1100_0^20 - 351266*c_1100_0^19 + 688902*c_1100_0^18 - 1178030*c_1100_0^17 + 1763225*c_1100_0^16 - 2313584*c_1100_0^15 + 2659788*c_1100_0^14 - 2672072*c_1100_0^13 + 2334506*c_1100_0^12 - 1760987*c_1100_0^11 + 1135718*c_1100_0^10 - 618561*c_1100_0^9 + 280677*c_1100_0^8 - 105090*c_1100_0^7 + 32752*c_1100_0^6 - 8926*c_1100_0^5 + 2266*c_1100_0^4 - 501*c_1100_0^3 + 78*c_1100_0^2 - 11*c_1100_0 + 1, c_0110_10 + c_1100_0^8 - 5*c_1100_0^7 + 14*c_1100_0^6 - 25*c_1100_0^5 + 31*c_1100_0^4 - 25*c_1100_0^3 + 12*c_1100_0^2 - c_1100_0 - 1, c_1001_0 + c_1100_0^38 - 25*c_1100_0^37 + 319*c_1100_0^36 - 2750*c_1100_0^35 + 17921*c_1100_0^34 - 93756*c_1100_0^33 + 408641*c_1100_0^32 - 1521168*c_1100_0^31 + 4921886*c_1100_0^30 - 14021474*c_1100_0^29 + 35510222*c_1100_0^28 - 80536144*c_1100_0^27 + 164484404*c_1100_0^26 - 303791909*c_1100_0^25 + 508954594*c_1100_0^24 - 775093420*c_1100_0^23 + 1074380949*c_1100_0^22 - 1356174535*c_1100_0^21 + 1558591355*c_1100_0^20 - 1629299630*c_1100_0^19 + 1546657331*c_1100_0^18 - 1329992985*c_1100_0^17 + 1032643657*c_1100_0^16 - 720960872*c_1100_0^15 + 450384034*c_1100_0^14 - 250331794*c_1100_0^13 + 123076206*c_1100_0^12 - 53265908*c_1100_0^11 + 20264626*c_1100_0^10 - 6818545*c_1100_0^9 + 2063208*c_1100_0^8 - 572708*c_1100_0^7 + 145377*c_1100_0^6 - 32203*c_1100_0^5 + 5927*c_1100_0^4 - 982*c_1100_0^3 + 163*c_1100_0^2 - 13*c_1100_0 + 1, c_1001_2 + c_1100_0^2 - c_1100_0 + 1, c_1100_0^39 - 26*c_1100_0^38 + 345*c_1100_0^37 - 3093*c_1100_0^36 + 20965*c_1100_0^35 - 114108*c_1100_0^34 + 517569*c_1100_0^33 - 2005668*c_1100_0^32 + 6758232*c_1100_0^31 - 20058296*c_1100_0^30 + 52947340*c_1100_0^29 - 125219964*c_1100_0^28 + 266814032*c_1100_0^27 - 514370172*c_1100_0^26 + 899935684*c_1100_0^25 - 1431980053*c_1100_0^24 + 2074949327*c_1100_0^23 - 2739322922*c_1100_0^22 + 3294170091*c_1100_0^21 - 3604995853*c_1100_0^20 + 3584197735*c_1100_0^19 - 3229640012*c_1100_0^18 + 2629063583*c_1100_0^17 - 1925767341*c_1100_0^16 + 1263340826*c_1100_0^15 - 738400924*c_1100_0^14 + 382548778*c_1100_0^13 - 174996418*c_1100_0^12 + 70661962*c_1100_0^11 - 25348208*c_1100_0^10 + 8197890*c_1100_0^9 - 2429089*c_1100_0^8 + 658831*c_1100_0^7 - 159138*c_1100_0^6 + 33475*c_1100_0^5 - 6357*c_1100_0^4 + 1103*c_1100_0^3 - 140*c_1100_0^2 + 15*c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.700 Total time: 0.910 seconds, Total memory usage: 32.09MB