Magma V2.19-8 Tue Aug 20 2013 23:51:03 on localhost [Seed = 2917910181] Type ? for help. Type -D to quit. Loading file "L13a5010__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5010 geometric_solution 10.71401254 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 1 1 0 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 -1 0 1 4 0 0 -4 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.715746437783 0.842640977403 0 0 5 4 0132 1302 0132 0132 1 1 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 0 0 0 0 0 4 0 -4 -4 0 5 -1 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.414444161793 0.689368913046 6 0 6 7 0132 0132 3012 0132 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 -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 0.701929114931 0.552033702737 7 8 5 0 3120 0132 3120 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172185581664 1.013943718093 9 10 1 9 0132 0132 0132 0321 1 1 1 1 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 -5 4 1 0 0 1 -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.760783150428 0.844071483707 10 10 3 1 3012 0213 3120 0132 1 1 0 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 0 0 0 0 0 0 0 5 0 0 -5 4 -3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525954487232 0.863629268304 2 2 9 10 0132 1230 3120 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 0.757318040432 1.402569331494 9 8 2 3 3120 1302 0132 3120 1 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 0 0 0 0 0 0 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.171498203518 0.452809704969 11 3 11 7 0132 0132 2310 2031 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.208966430893 0.963684746594 4 4 6 7 0132 0321 3120 3120 1 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 -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.019017912930 0.980848090613 6 4 5 5 3201 0132 0213 1230 1 0 1 1 0 -1 0 1 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 5 0 -5 1 0 3 -4 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.525954487232 0.863629268304 8 8 11 11 0132 3201 2031 1302 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471074855711 0.111908159535 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0011_7']), 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_11'], 'c_1001_3' : d['c_0011_7'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : d['c_0101_11'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0101_5'], '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_0011_5'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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_0101_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_0101_11'], 'c_1010_2' : d['c_0101_11'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_0011_7'], 'c_1100_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0011_5'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_11'], '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_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_5'])})} 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_11, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_5, c_0101_6, c_0101_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 76100936880629017607259/402297224099053791200*c_0101_8^14 - 174464767513969461220067/25143576506190861950*c_0101_8^13 + 1333299348736399719077217/402297224099053791200*c_0101_8^12 + 5905500827854065383190491/100574306024763447800*c_0101_8^11 + 68210607096585375596812063/402297224099053791200*c_0101_8^10 + 8645865482172726991810833/25143576506190861950*c_0101_8^9 + 209453559747820643733121093/402297224099053791200*c_0101_8^8 + 42215769199616904247231907/100574306024763447800*c_0101_8^7 + 3656705514723000131068724/12571788253095430975*c_0101_8^6 + 23771023199726602440505239/100574306024763447800*c_0101_8^5 + 26202334068858027606576247/201148612049526895600*c_0101_8^4 + 3020654993568387664288369/100574306024763447800*c_0101_8^3 - 979991380401263953681303/402297224099053791200*c_0101_8^2 - 27968801236048711469657/12571788253095430975*c_0101_8 - 100532696445397146295529/402297224099053791200, c_0011_0 - 1, c_0011_10 + 3780267694201/1188404701400*c_0101_8^14 + 69171483278039/594202350700*c_0101_8^13 - 157157893913441/2376809402800*c_0101_8^12 - 148734752652272/148550587675*c_0101_8^11 - 815907846080483/297101175350*c_0101_8^10 - 1602154694592083/297101175350*c_0101_8^9 - 18786362504800789/2376809402800*c_0101_8^8 - 3349766660818831/594202350700*c_0101_8^7 - 4003493585862737/1188404701400*c_0101_8^6 - 462368999849923/148550587675*c_0101_8^5 - 1751197586175721/1188404701400*c_0101_8^4 + 9855287151793/594202350700*c_0101_8^3 + 199041928177237/1188404701400*c_0101_8^2 + 9743154716823/594202350700*c_0101_8 - 14545235694653/2376809402800, c_0011_11 + 5280832963793/2376809402800*c_0101_8^14 + 47877304004571/594202350700*c_0101_8^13 - 10846476643889/148550587675*c_0101_8^12 - 809090017076469/1188404701400*c_0101_8^11 - 4023246878202201/2376809402800*c_0101_8^10 - 1875190031488709/594202350700*c_0101_8^9 - 5131782017932473/1188404701400*c_0101_8^8 - 2590839628180523/1188404701400*c_0101_8^7 - 663808337041939/594202350700*c_0101_8^6 - 1590132555915331/1188404701400*c_0101_8^5 - 174377029849187/594202350700*c_0101_8^4 + 414560665911449/1188404701400*c_0101_8^3 + 365818822582621/2376809402800*c_0101_8^2 - 537095176677/148550587675*c_0101_8 - 4874709113583/594202350700, c_0011_5 - 661032331453/237680940280*c_0101_8^14 - 1213310636581/11884047014*c_0101_8^13 + 274963073830/5942023507*c_0101_8^12 + 104872963446381/118840470140*c_0101_8^11 + 594004018312451/237680940280*c_0101_8^10 + 1184407441785153/237680940280*c_0101_8^9 + 353760990673683/47536188056*c_0101_8^8 + 1357745120590547/237680940280*c_0101_8^7 + 417832881428367/118840470140*c_0101_8^6 + 368388254896671/118840470140*c_0101_8^5 + 388363904058547/237680940280*c_0101_8^4 + 34448456947677/237680940280*c_0101_8^3 - 14698987209601/118840470140*c_0101_8^2 - 2362850856773/118840470140*c_0101_8 + 719885459203/237680940280, c_0011_7 - 137234447087/148550587675*c_0101_8^14 - 40572703509143/1188404701400*c_0101_8^13 + 8630127582973/1188404701400*c_0101_8^12 + 45375458703777/148550587675*c_0101_8^11 + 132746911852284/148550587675*c_0101_8^10 + 2126919796115557/1188404701400*c_0101_8^9 + 3215205228547567/1188404701400*c_0101_8^8 + 323257821325429/148550587675*c_0101_8^7 + 700198056995221/594202350700*c_0101_8^6 + 159159055988733/148550587675*c_0101_8^5 + 182532222277859/297101175350*c_0101_8^4 + 5146283261247/594202350700*c_0101_8^3 - 23320433473833/297101175350*c_0101_8^2 - 10392560441331/1188404701400*c_0101_8 + 3598608359149/1188404701400, c_0101_0 - 1, c_0101_1 - 114601783599/95072376112*c_0101_8^14 - 1283664533701/29710117535*c_0101_8^13 + 27576371672501/475361880560*c_0101_8^12 + 83601381934647/237680940280*c_0101_8^11 + 72766476760221/95072376112*c_0101_8^10 + 79153442053919/59420235070*c_0101_8^9 + 773235753851319/475361880560*c_0101_8^8 + 45832797392503/237680940280*c_0101_8^7 + 19033247114519/237680940280*c_0101_8^6 + 18092012864339/47536188056*c_0101_8^5 - 50517546097923/237680940280*c_0101_8^4 - 13867546122795/47536188056*c_0101_8^3 - 21473351382731/475361880560*c_0101_8^2 + 760929282129/59420235070*c_0101_8 + 791630586921/475361880560, c_0101_11 - 4999340376329/2376809402800*c_0101_8^14 - 45467251882333/594202350700*c_0101_8^13 + 143836877467777/2376809402800*c_0101_8^12 + 777893140913117/1188404701400*c_0101_8^11 + 3973865730182153/2376809402800*c_0101_8^10 + 468372306618598/148550587675*c_0101_8^9 + 10445585470293783/2376809402800*c_0101_8^8 + 1470256970684317/594202350700*c_0101_8^7 + 1466383037586779/1188404701400*c_0101_8^6 + 836526567403509/594202350700*c_0101_8^5 + 502888530536307/1188404701400*c_0101_8^4 - 366429444525297/1188404701400*c_0101_8^3 - 386921290929143/2376809402800*c_0101_8^2 + 1325774929903/1188404701400*c_0101_8 + 20075108525951/2376809402800, c_0101_3 - 5263862061931/2376809402800*c_0101_8^14 - 192427090449593/2376809402800*c_0101_8^13 + 7306612296203/148550587675*c_0101_8^12 + 822978749388653/1188404701400*c_0101_8^11 + 4487832073045417/2376809402800*c_0101_8^10 + 8793017694480017/2376809402800*c_0101_8^9 + 6419352522406371/1188404701400*c_0101_8^8 + 2254380920724393/594202350700*c_0101_8^7 + 2736377684057961/1188404701400*c_0101_8^6 + 2505234796970677/1188404701400*c_0101_8^5 + 1170167777212513/1188404701400*c_0101_8^4 - 19236428409333/1188404701400*c_0101_8^3 - 277873664591597/2376809402800*c_0101_8^2 - 25558119141501/2376809402800*c_0101_8 + 2373812696271/594202350700, c_0101_5 + 4790042721/13581768016*c_0101_8^14 + 216935456771/16977210020*c_0101_8^13 - 413356737787/33954420040*c_0101_8^12 - 1920256935219/16977210020*c_0101_8^11 - 3524817698679/13581768016*c_0101_8^10 - 15193670594699/33954420040*c_0101_8^9 - 9472471183009/16977210020*c_0101_8^8 - 3834785460717/33954420040*c_0101_8^7 + 4252848609159/33954420040*c_0101_8^6 - 82902325651/1697721002*c_0101_8^5 + 2649995236697/33954420040*c_0101_8^4 + 1146436190287/6790884008*c_0101_8^3 + 3726601682479/67908840080*c_0101_8^2 - 83109394857/16977210020*c_0101_8 - 89018725167/33954420040, c_0101_6 + 911911847491/2376809402800*c_0101_8^14 + 16793598643639/1188404701400*c_0101_8^13 - 11102496497433/2376809402800*c_0101_8^12 - 36459390045717/297101175350*c_0101_8^11 - 850794319640387/2376809402800*c_0101_8^10 - 867150258171111/1188404701400*c_0101_8^9 - 2653601928532157/2376809402800*c_0101_8^8 - 275919393607759/297101175350*c_0101_8^7 - 364821735354383/594202350700*c_0101_8^6 - 320239459869261/594202350700*c_0101_8^5 - 346713552888553/1188404701400*c_0101_8^4 - 10568019963014/148550587675*c_0101_8^3 - 10940693640253/2376809402800*c_0101_8^2 + 4158339423513/1188404701400*c_0101_8 + 95851942121/2376809402800, c_0101_8^15 + 37*c_0101_8^14 - 6*c_0101_8^13 - 323*c_0101_8^12 - 991*c_0101_8^11 - 2045*c_0101_8^10 - 3170*c_0101_8^9 - 2775*c_0101_8^8 - 1770*c_0101_8^7 - 1392*c_0101_8^6 - 852*c_0101_8^5 - 178*c_0101_8^4 + 61*c_0101_8^3 + 29*c_0101_8^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB