Magma V2.19-8 Tue Aug 20 2013 23:29:34 on localhost [Seed = 1578645553] Type ? for help. Type -D to quit. Loading file "K13a4866__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4866 geometric_solution 6.29824027 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 8 1 2 3 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665556330688 0.454968788153 0 4 2 5 0132 0132 1230 0132 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 -15 -1 16 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.328777877473 0.582927747964 4 0 5 1 3012 0132 3201 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 -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 0 0 0 0 0 0.763498934961 0.258962301893 3 0 3 0 2310 2310 3201 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 -1.064043401548 0.328930703946 6 1 7 2 0132 0132 0132 1230 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 15 -15 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.757497770178 1.032196714628 2 6 1 6 2310 1230 0132 2031 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 -16 16 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.757497770178 1.032196714628 4 5 5 7 0132 1302 3012 1302 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 -16 0 15 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537894977255 0.629682759566 7 7 6 4 1230 3012 2031 0132 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 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360589655223 0.663187903873 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_6' : d['c_0101_7'], 'c_1100_5' : d['c_0110_2'], 'c_1100_4' : d['c_0110_2'], 'c_1100_7' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_7'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : negation(d['c_0011_7']), 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), '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_0110_2'], 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0011_7'], 'c_0110_6' : d['c_0011_7'], 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : negation(d['c_0110_2']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 9 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_7, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 25125966167797696582563043620320879067784962148/4543261116816881205\ 58098582344416473542880638703*c_0110_2^19 - 19945765330835624844526005521118215061956935322/4543261116816881205\ 58098582344416473542880638703*c_0110_2^18 + 262595384291622302008428559245602377919828439290/454326111681688120\ 558098582344416473542880638703*c_0110_2^17 - 75764986814827006885020524651336893768972587542/4543261116816881205\ 58098582344416473542880638703*c_0110_2^16 - 790431212491845122179307735339809966080644280094/454326111681688120\ 558098582344416473542880638703*c_0110_2^15 - 19954402400483342825068057785544183919732277040/4543261116816881205\ 58098582344416473542880638703*c_0110_2^14 + 2217719927688292748199445472397501759695315782555/15144203722722937\ 3519366194114805491180960212901*c_0110_2^13 + 802001653177944231031390586834807543022583810075/649037302402411600\ 79728368906345210506125805529*c_0110_2^12 + 1730940873712399021533346656064173661899999717812/45432611168168812\ 0558098582344416473542880638703*c_0110_2^11 + 3537964275574542633090172766561162771321662204657/64903730240241160\ 079728368906345210506125805529*c_0110_2^10 + 4231890414671945564727480865271929678774114789153/64903730240241160\ 079728368906345210506125805529*c_0110_2^9 + 20424118259559318921980560107247145540770045874390/1514420372272293\ 73519366194114805491180960212901*c_0110_2^8 - 820644454961322934677792720367546731461166492784/267250653930404776\ 79888151902612733737816508159*c_0110_2^7 + 42589160913090211015076909337456865836891415334/1581364816156241282\ 83361845577590140460452711*c_0110_2^6 - 5261316915678380281478082704087936004647580823627/64903730240241160\ 079728368906345210506125805529*c_0110_2^5 + 142304111757681779926870940515780443212986274668802/454326111681688\ 120558098582344416473542880638703*c_0110_2^4 - 79720988453841286670783807095018789817129965410640/4543261116816881\ 20558098582344416473542880638703*c_0110_2^3 + 69589298348914889394176663214732081587317128387337/4543261116816881\ 20558098582344416473542880638703*c_0110_2^2 - 53061778232180470097547914942642477272737886380272/4543261116816881\ 20558098582344416473542880638703*c_0110_2 + 1317467461675942177706865258266272589237063768497/34948162437052932\ 350622967872647421041760049131, c_0011_0 - 1, c_0011_3 - 2544788518243824551872188886360968399/4333510953019906970390\ 8260977437800670037*c_0110_2^19 - 165513146493452262596953230091606\ 8800/43335109530199069703908260977437800670037*c_0110_2^18 + 17602370586097172044983687432230301100/4333510953019906970390826097\ 7437800670037*c_0110_2^17 - 13722894783812739272913550578835016530/\ 43335109530199069703908260977437800670037*c_0110_2^16 + 46827819033825395838745233792437693836/4333510953019906970390826097\ 7437800670037*c_0110_2^15 - 52480185063628147309224267117097616412/\ 43335109530199069703908260977437800670037*c_0110_2^14 + 123813303293786278653497391961697181685/433351095301990697039082609\ 77437800670037*c_0110_2^13 + 67943161784231224230225376758954421279\ 7/43335109530199069703908260977437800670037*c_0110_2^12 + 3413469809010456766934851158581116232967/43335109530199069703908260\ 977437800670037*c_0110_2^11 + 3193744843566751618165434046927328156\ 157/43335109530199069703908260977437800670037*c_0110_2^10 - 3955594903363407286549375848591338720578/43335109530199069703908260\ 977437800670037*c_0110_2^9 + 86555964496022863786065635886317133596\ 45/43335109530199069703908260977437800670037*c_0110_2^8 + 2438989302000331267355140938899936903538/43335109530199069703908260\ 977437800670037*c_0110_2^7 + 76253360044689951725471481367113365799\ 5/3333469963861466900300635459802907743849*c_0110_2^6 - 28037019498019844897251983291957475355738/4333510953019906970390826\ 0977437800670037*c_0110_2^5 + 3874210358158269018120763533809382478\ 6103/43335109530199069703908260977437800670037*c_0110_2^4 - 23284106980666264486465533353260468555090/4333510953019906970390826\ 0977437800670037*c_0110_2^3 + 2334164059533394977032071546303258701\ 8345/43335109530199069703908260977437800670037*c_0110_2^2 - 9772330819032336595747428177349628537037/43335109530199069703908260\ 977437800670037*c_0110_2 + 1645083401217695888705590992802855492378\ /3333469963861466900300635459802907743849, c_0011_5 + 25275155819102579161387381021045846809/433351095301990697039\ 08260977437800670037*c_0110_2^19 + 46143259756060182505126705740558564767/4333510953019906970390826097\ 7437800670037*c_0110_2^18 - 244591422427791210661622505265961510682\ /43335109530199069703908260977437800670037*c_0110_2^17 - 203789506366953125488459634282027367410/433351095301990697039082609\ 77437800670037*c_0110_2^16 + 86086264231548629853367734176163178565\ 7/43335109530199069703908260977437800670037*c_0110_2^15 + 855009247559485314047026926814787945104/433351095301990697039082609\ 77437800670037*c_0110_2^14 - 65561474162362308619030979952334032237\ 09/43335109530199069703908260977437800670037*c_0110_2^13 - 12404108948082745070825992883372465203500/4333510953019906970390826\ 0977437800670037*c_0110_2^12 - 777862226930153892117725050812935171\ 7565/43335109530199069703908260977437800670037*c_0110_2^11 - 26299141463566913833818982205785031442835/4333510953019906970390826\ 0977437800670037*c_0110_2^10 - 500608587735941827660261033541270414\ 29456/43335109530199069703908260977437800670037*c_0110_2^9 - 75812498589445939135448585986769806846670/4333510953019906970390826\ 0977437800670037*c_0110_2^8 - 2657208756875460819317784237745994605\ 5768/43335109530199069703908260977437800670037*c_0110_2^7 - 6717951613481765072432260236286701025523/33334699638614669003006354\ 59802907743849*c_0110_2^6 - 582033351830467714463553188682014270771\ 89/43335109530199069703908260977437800670037*c_0110_2^5 - 54891217124406266240695689395055161376546/4333510953019906970390826\ 0977437800670037*c_0110_2^4 - 8982504600183163858373257214414383706\ 603/43335109530199069703908260977437800670037*c_0110_2^3 + 1961253435453782357201259079353154038334/43335109530199069703908260\ 977437800670037*c_0110_2^2 - 10831886634229298128864467840792795592\ 752/43335109530199069703908260977437800670037*c_0110_2 + 725228627305716683444950027232593559185/333346996386146690030063545\ 9802907743849, c_0011_7 + 5784244692930721942149560490126099382/4333510953019906970390\ 8260977437800670037*c_0110_2^19 - 523970950025865816688167303960245\ 03871/43335109530199069703908260977437800670037*c_0110_2^18 - 101539626488343683917774640551287117828/433351095301990697039082609\ 77437800670037*c_0110_2^17 + 61870069490760022460713890791195677118\ 6/43335109530199069703908260977437800670037*c_0110_2^16 - 78276594228687902053321102978260320047/4333510953019906970390826097\ 7437800670037*c_0110_2^15 - 186597614832181275196811866663476506201\ 9/43335109530199069703908260977437800670037*c_0110_2^14 - 928172549765062325744900208311037780177/433351095301990697039082609\ 77437800670037*c_0110_2^13 + 14174991906346286921394973379036638375\ 908/43335109530199069703908260977437800670037*c_0110_2^12 + 9388355907031887444435617074553120225420/43335109530199069703908260\ 977437800670037*c_0110_2^11 - 5243107736615289676106938072661517631\ 235/43335109530199069703908260977437800670037*c_0110_2^10 + 61606462288976243051168803289394335794438/4333510953019906970390826\ 0977437800670037*c_0110_2^9 + 7037325706201390304542245683954178585\ 8851/43335109530199069703908260977437800670037*c_0110_2^8 + 137001839148188173463893920448317361731525/433351095301990697039082\ 60977437800670037*c_0110_2^7 - 466743767067380497120811578235327461\ 9937/3333469963861466900300635459802907743849*c_0110_2^6 + 311535110901033869760470839712833900978969/433351095301990697039082\ 60977437800670037*c_0110_2^5 - 621450310784690131269314391315237647\ 11370/43335109530199069703908260977437800670037*c_0110_2^4 + 265618411293752445255931912191064428897883/433351095301990697039082\ 60977437800670037*c_0110_2^3 - 183045264865192757709189509609724700\ 335263/43335109530199069703908260977437800670037*c_0110_2^2 + 47671446935853435133919879552976151547497/4333510953019906970390826\ 0977437800670037*c_0110_2 - 649324917078959395669355463231895376233\ 9/3333469963861466900300635459802907743849, c_0101_0 + 4972180412065231793453993415674585261/4333510953019906970390\ 8260977437800670037*c_0110_2^19 + 164853675067615548985121276708823\ 69779/43335109530199069703908260977437800670037*c_0110_2^18 - 24447017819904461869475204425085144026/4333510953019906970390826097\ 7437800670037*c_0110_2^17 - 115280154276581500375127376343872631081\ /43335109530199069703908260977437800670037*c_0110_2^16 - 32862208260268858290733179097938436195/4333510953019906970390826097\ 7437800670037*c_0110_2^15 + 526666130873812917367610494973550127184\ /43335109530199069703908260977437800670037*c_0110_2^14 - 485096044635439876796995934690287041727/433351095301990697039082609\ 77437800670037*c_0110_2^13 - 44862262934199213731692593729102040469\ 26/43335109530199069703908260977437800670037*c_0110_2^12 - 8722116503702291609159459222941611339623/43335109530199069703908260\ 977437800670037*c_0110_2^11 - 8010131974342767185147399885461129150\ 667/43335109530199069703908260977437800670037*c_0110_2^10 - 8713188536179460654461212056501084977041/43335109530199069703908260\ 977437800670037*c_0110_2^9 - 24991047860702116004535902651761782335\ 822/43335109530199069703908260977437800670037*c_0110_2^8 - 19876476980555657160879417163450067878159/4333510953019906970390826\ 0977437800670037*c_0110_2^7 - 1607881379510818321043254352203616434\ 003/3333469963861466900300635459802907743849*c_0110_2^6 + 20593727908184771848993901546782747979406/4333510953019906970390826\ 0977437800670037*c_0110_2^5 - 2654754924955261186100484015844125305\ 5300/43335109530199069703908260977437800670037*c_0110_2^4 + 27605949593333597828166289113466204723142/4333510953019906970390826\ 0977437800670037*c_0110_2^3 - 1597110242969667944201091665188619182\ 7103/43335109530199069703908260977437800670037*c_0110_2^2 + 11506951975017502241145530092436162780474/4333510953019906970390826\ 0977437800670037*c_0110_2 - 956376781768970657864112837884857447743\ /3333469963861466900300635459802907743849, c_0101_1 + 357443700661365835592410157972176203/33334699638614669003006\ 35459802907743849*c_0110_2^19 + 98640566525807262749336167288888412\ 4/3333469963861466900300635459802907743849*c_0110_2^18 - 3163239544319206683324388986653776072/33334699638614669003006354598\ 02907743849*c_0110_2^17 - 6496714578799574617912462426826806272/333\ 3469963861466900300635459802907743849*c_0110_2^16 + 11857008484263477094017339380782458863/3333469963861466900300635459\ 802907743849*c_0110_2^15 + 22701355775857309310045998632482388428/3\ 333469963861466900300635459802907743849*c_0110_2^14 - 83717671049017690470342110353216570303/3333469963861466900300635459\ 802907743849*c_0110_2^13 - 261689178392458653023992739028639309502/\ 3333469963861466900300635459802907743849*c_0110_2^12 - 216526520287636831214319469050943168089/333346996386146690030063545\ 9802907743849*c_0110_2^11 - 397483417760817854463149823333941052805\ /3333469963861466900300635459802907743849*c_0110_2^10 - 808297887832101687906998281221644853813/333346996386146690030063545\ 9802907743849*c_0110_2^9 - 1032320904114502218512082612654376243179\ /3333469963861466900300635459802907743849*c_0110_2^8 - 650949661362490965917705247098137498565/333346996386146690030063545\ 9802907743849*c_0110_2^7 - 146877939064439843067762193026313084248/\ 3333469963861466900300635459802907743849*c_0110_2^6 - 997240136563940939148757441217507106733/333346996386146690030063545\ 9802907743849*c_0110_2^5 + 2437062559414679930720657675206223208735\ /3333469963861466900300635459802907743849*c_0110_2^4 - 285321640106943587254361969213403733122/333346996386146690030063545\ 9802907743849*c_0110_2^3 + 1114936561826426838335918254602111318020\ /3333469963861466900300635459802907743849*c_0110_2^2 - 218524766232599942922851879031370171259/333346996386146690030063545\ 9802907743849*c_0110_2 + 2171212245358896905069947972908233605032/3\ 333469963861466900300635459802907743849, c_0101_7 - 12772062840687582365172389965875539987/433351095301990697039\ 08260977437800670037*c_0110_2^19 - 17418830949285338227873722019513830626/4333510953019906970390826097\ 7437800670037*c_0110_2^18 + 114897354758520879494310197911199906258\ /43335109530199069703908260977437800670037*c_0110_2^17 + 28350051235462104518044666860623548949/4333510953019906970390826097\ 7437800670037*c_0110_2^16 - 285932532855545418557137297461642178087\ /43335109530199069703908260977437800670037*c_0110_2^15 - 269089675861613443508776921643051825102/433351095301990697039082609\ 77437800670037*c_0110_2^14 + 29745304621298760644535338490418671871\ 08/43335109530199069703908260977437800670037*c_0110_2^13 + 4664507319029753038362716625036966610299/43335109530199069703908260\ 977437800670037*c_0110_2^12 + 5828651258832603138694659700888663621\ 056/43335109530199069703908260977437800670037*c_0110_2^11 + 16136106306576427212660955832070449391598/4333510953019906970390826\ 0977437800670037*c_0110_2^10 + 228693635280836212661498801960447321\ 08447/43335109530199069703908260977437800670037*c_0110_2^9 + 48044965230598126514032631765589595121362/4333510953019906970390826\ 0977437800670037*c_0110_2^8 + 1523380467686616553651155333966121783\ 9481/43335109530199069703908260977437800670037*c_0110_2^7 + 5861951300363024570908040353175357813261/33334699638614669003006354\ 59802907743849*c_0110_2^6 - 980256841707279506898217308936580007285\ 5/43335109530199069703908260977437800670037*c_0110_2^5 + 96799942261604522853925414471834636862197/4333510953019906970390826\ 0977437800670037*c_0110_2^4 - 7333151019587304519219571345640103761\ 1162/43335109530199069703908260977437800670037*c_0110_2^3 + 48832879337539495130460759349212531304657/4333510953019906970390826\ 0977437800670037*c_0110_2^2 - 9932571700333657370672029328639487722\ 2060/43335109530199069703908260977437800670037*c_0110_2 + 946532348151792137737678107086275950518/333346996386146690030063545\ 9802907743849, c_0110_2^20 + c_0110_2^19 - 10*c_0110_2^18 + c_0110_2^17 + 29*c_0110_2^16 + 9*c_0110_2^15 - 256*c_0110_2^14 - 280*c_0110_2^13 - 190*c_0110_2^12 - 1043*c_0110_2^11 - 1386*c_0110_2^10 - 2939*c_0110_2^9 - 142*c_0110_2^8 - 5304*c_0110_2^7 + 917*c_0110_2^6 - 6564*c_0110_2^5 + 3261*c_0110_2^4 - 3533*c_0110_2^3 + 3249*c_0110_2^2 - 741*c_0110_2 + 1183 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB