Magma V2.19-8 Wed Aug 21 2013 00:58:38 on localhost [Seed = 1091001290] Type ? for help. Type -D to quit. Loading file "L13n5924__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5924 geometric_solution 11.88832861 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 0 1 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 1 0 1 -2 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.047936711870 0.526859386246 0 5 6 3 0132 0132 0132 0321 1 1 1 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 -1 0 0 1 0 1 0 -1 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.190796090691 1.562786126054 7 0 8 3 0132 0132 0132 3012 1 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 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.201943645778 0.552858909628 9 1 2 0 0132 0321 1230 0132 1 1 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 0 0 0 0 0 0 0 1 0 0 -1 -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.491715494426 0.917986506379 10 11 0 7 0132 0132 0132 1302 1 1 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 0 -1 1 0 0 2 -2 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440833227244 0.695301051627 7 1 9 11 1023 0132 2031 1230 1 0 0 1 0 0 0 0 -1 0 1 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 0 0 0 1 0 -2 1 0 1 0 -1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.731781054042 1.853396195370 12 8 11 1 0132 0132 0132 0132 1 1 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 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.876627742056 0.711182170014 2 5 4 12 0132 1023 2031 2031 0 1 0 1 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 -1 1 0 0 0 -1 1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744108643278 0.703013818690 10 6 11 2 1023 0132 1023 0132 1 1 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.329480570626 0.580877308414 3 12 10 5 0132 2310 3120 1302 0 1 1 1 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 0 0 -2 2 -1 0 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.628146802673 0.995841265751 4 8 9 12 0132 1023 3120 0132 1 1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.936442774199 0.493909382592 5 4 8 6 3012 0132 1023 0132 1 1 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.905797589402 1.094487774391 6 7 10 9 0132 1302 0132 3201 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 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.773439660505 0.359180583729 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_8'], 'c_1001_10' : d['c_0101_8'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : d['c_0101_8'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0101_2'], '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_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_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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_8' : negation(d['c_1001_3']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : negation(d['c_1001_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : d['c_0011_3'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_6']), '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' : 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_3'], '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_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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' : d['c_0101_6'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_8'], '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' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_3, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_6, c_0101_7, c_0101_8, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 11103719404152943684566933/6699578514926346753732184*c_1001_3^12 + 29710397814948055409230155/6699578514926346753732184*c_1001_3^11 + 4454979200563271314761713/13399157029852693507464368*c_1001_3^10 + 65631184458184877230776827/3349789257463173376866092*c_1001_3^9 - 1754023319575181650586075441/6699578514926346753732184*c_1001_3^8 + 5693185475947242344913610625/6699578514926346753732184*c_1001_3^7 - 4140698204340669809965405001/3349789257463173376866092*c_1001_3^6 + 1325146196224093363149214613/3349789257463173376866092*c_1001_3^5 + 17551931548366718660656964445/13399157029852693507464368*c_1001_3^4 - 1775483130864246353172046046/837447314365793344216523*c_1001_3^3 + 5962270938995254775494625819/6699578514926346753732184*c_1001_3^2 + 2086656501364738585022137639/3349789257463173376866092*c_1001_3 - 16997356124352689896958366929/13399157029852693507464368, c_0011_0 - 1, c_0011_10 - 44904904046827/5369629548879194*c_1001_3^12 + 2855012359588/2684814774439597*c_1001_3^11 + 89810728887245/5369629548879194*c_1001_3^10 + 991248198279427/5369629548879194*c_1001_3^9 - 2506653854052390/2684814774439597*c_1001_3^8 + 4014937852765333/2684814774439597*c_1001_3^7 - 4798398569662321/2684814774439597*c_1001_3^6 + 8291039829968347/5369629548879194*c_1001_3^5 + 63232692468044/2684814774439597*c_1001_3^4 - 9081086619925606/2684814774439597*c_1001_3^3 + 4196084809614803/2684814774439597*c_1001_3^2 - 7498284490933122/2684814774439597*c_1001_3 - 7994375265628887/2684814774439597, c_0011_3 + 1, c_0101_1 + 876722944680/2684814774439597*c_1001_3^12 - 16891040743567/5369629548879194*c_1001_3^11 - 11249278190664/2684814774439597*c_1001_3^10 + 38433469889809/5369629548879194*c_1001_3^9 + 564987778665441/5369629548879194*c_1001_3^8 - 967087845096938/2684814774439597*c_1001_3^7 + 73351497857803/2684814774439597*c_1001_3^6 + 2818771848091768/2684814774439597*c_1001_3^5 - 9668680304045617/5369629548879194*c_1001_3^4 + 2001702216716857/2684814774439597*c_1001_3^3 + 1218043186362828/2684814774439597*c_1001_3^2 - 4620668403863086/2684814774439597*c_1001_3 + 520259267460719/2684814774439597, c_0101_10 + 9393009473692/2684814774439597*c_1001_3^12 + 8307923249672/2684814774439597*c_1001_3^11 - 91710952752089/5369629548879194*c_1001_3^10 - 420691479628751/5369629548879194*c_1001_3^9 + 931915868534468/2684814774439597*c_1001_3^8 - 240365337598393/5369629548879194*c_1001_3^7 - 6044901389979057/5369629548879194*c_1001_3^6 + 11131805421317825/5369629548879194*c_1001_3^5 - 7520180123161407/5369629548879194*c_1001_3^4 + 9090519771535/2684814774439597*c_1001_3^3 + 5073265449977824/2684814774439597*c_1001_3^2 - 378311771515855/2684814774439597*c_1001_3 + 1666851958247413/2684814774439597, c_0101_11 - 24712304436453/5369629548879194*c_1001_3^12 + 17535405997453/2684814774439597*c_1001_3^11 + 37260197155092/2684814774439597*c_1001_3^10 + 194068112787511/2684814774439597*c_1001_3^9 - 3544627507034611/5369629548879194*c_1001_3^8 + 7742528540705619/5369629548879194*c_1001_3^7 - 5663463650520097/5369629548879194*c_1001_3^6 - 3788515563847921/5369629548879194*c_1001_3^5 + 8173945854139509/5369629548879194*c_1001_3^4 - 4104481561763097/5369629548879194*c_1001_3^3 - 1788571342858850/2684814774439597*c_1001_3^2 + 565021372614176/2684814774439597*c_1001_3 + 2309987892648194/2684814774439597, c_0101_2 + 24712304436453/5369629548879194*c_1001_3^12 - 17535405997453/2684814774439597*c_1001_3^11 - 37260197155092/2684814774439597*c_1001_3^10 - 194068112787511/2684814774439597*c_1001_3^9 + 3544627507034611/5369629548879194*c_1001_3^8 - 7742528540705619/5369629548879194*c_1001_3^7 + 5663463650520097/5369629548879194*c_1001_3^6 + 3788515563847921/5369629548879194*c_1001_3^5 - 8173945854139509/5369629548879194*c_1001_3^4 + 4104481561763097/5369629548879194*c_1001_3^3 + 1788571342858850/2684814774439597*c_1001_3^2 - 3249836147053773/2684814774439597*c_1001_3 + 374826881791403/2684814774439597, c_0101_3 - 10227670437041/2684814774439597*c_1001_3^12 + 24914059387656/2684814774439597*c_1001_3^11 - 7241320820002/2684814774439597*c_1001_3^10 + 271463118417311/5369629548879194*c_1001_3^9 - 3062287241838555/5369629548879194*c_1001_3^8 + 5177608607897963/2684814774439597*c_1001_3^7 - 16860282918963989/5369629548879194*c_1001_3^6 + 8796957247675473/5369629548879194*c_1001_3^5 + 11865224612540071/5369629548879194*c_1001_3^4 - 22974431913826791/5369629548879194*c_1001_3^3 + 5739341210839641/2684814774439597*c_1001_3^2 + 914045321492390/2684814774439597*c_1001_3 - 4202330846014728/2684814774439597, c_0101_6 + 3927494942721/2684814774439597*c_1001_3^12 - 41623374081601/5369629548879194*c_1001_3^11 + 41786328798131/2684814774439597*c_1001_3^10 - 70811490094163/5369629548879194*c_1001_3^9 + 1336607960009697/5369629548879194*c_1001_3^8 - 4021611238746123/2684814774439597*c_1001_3^7 + 9797122447718274/2684814774439597*c_1001_3^6 - 9107516933809124/2684814774439597*c_1001_3^5 - 7252431977627753/5369629548879194*c_1001_3^4 + 15493685561766938/2684814774439597*c_1001_3^3 - 12827993944549264/2684814774439597*c_1001_3^2 + 466233937457995/2684814774439597*c_1001_3 + 10925378527025150/2684814774439597, c_0101_7 + 45167645310535/5369629548879194*c_1001_3^12 - 42449465385109/2684814774439597*c_1001_3^11 - 30018876335090/2684814774439597*c_1001_3^10 - 659599343992333/5369629548879194*c_1001_3^9 + 3303457374436583/2684814774439597*c_1001_3^8 - 18097745756501545/5369629548879194*c_1001_3^7 + 11261873284742043/2684814774439597*c_1001_3^6 - 2504220841913776/2684814774439597*c_1001_3^5 - 10019585233339790/2684814774439597*c_1001_3^4 + 13539456737794944/2684814774439597*c_1001_3^3 - 3950769867980791/2684814774439597*c_1001_3^2 - 4163881468546163/2684814774439597*c_1001_3 + 4577157727806131/2684814774439597, c_0101_8 - 34365394261791/5369629548879194*c_1001_3^12 + 38631224996697/2684814774439597*c_1001_3^11 + 81223796504317/5369629548879194*c_1001_3^10 + 490544671089227/5369629548879194*c_1001_3^9 - 5432604033661333/5369629548879194*c_1001_3^8 + 7146048802557271/2684814774439597*c_1001_3^7 - 7806692985881096/2684814774439597*c_1001_3^6 + 1412116301844109/2684814774439597*c_1001_3^5 + 6218306757050235/2684814774439597*c_1001_3^4 - 17613008372634261/5369629548879194*c_1001_3^3 + 4132066672080362/2684814774439597*c_1001_3^2 + 2473111644651073/2684814774439597*c_1001_3 - 398139646959704/2684814774439597, c_1001_2 + 10227670437041/2684814774439597*c_1001_3^12 - 24914059387656/2684814774439597*c_1001_3^11 + 7241320820002/2684814774439597*c_1001_3^10 - 271463118417311/5369629548879194*c_1001_3^9 + 3062287241838555/5369629548879194*c_1001_3^8 - 5177608607897963/2684814774439597*c_1001_3^7 + 16860282918963989/5369629548879194*c_1001_3^6 - 8796957247675473/5369629548879194*c_1001_3^5 - 11865224612540071/5369629548879194*c_1001_3^4 + 22974431913826791/5369629548879194*c_1001_3^3 - 5739341210839641/2684814774439597*c_1001_3^2 - 914045321492390/2684814774439597*c_1001_3 + 6887145620454325/2684814774439597, c_1001_3^13 - 2*c_1001_3^12 - 2*c_1001_3^11 - 12*c_1001_3^10 + 150*c_1001_3^9 - 406*c_1001_3^8 + 401*c_1001_3^7 + 258*c_1001_3^6 - 940*c_1001_3^5 + 744*c_1001_3^4 + 307*c_1001_3^3 - 718*c_1001_3^2 + 516*c_1001_3 + 502 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.400 seconds, Total memory usage: 32.09MB