Magma V2.19-8 Tue Aug 20 2013 23:39:25 on localhost [Seed = 2934491895] Type ? for help. Type -D to quit. Loading file "K11n80__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n80 geometric_solution 10.83430754 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.237424903951 1.685876392172 0 5 4 6 0132 0132 1302 0132 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 -4 5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536119692362 0.213915970836 7 0 9 8 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 1 0 -1 1 0 -1 0 0 4 0 -4 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488276564769 0.575525418491 6 10 8 0 0132 0132 2103 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 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392705926405 0.579354593144 1 7 0 11 2031 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309010892251 0.627996720004 10 1 11 11 0213 0132 0213 1230 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 -1 0 0 1 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742427417191 1.055596134946 3 10 1 9 0132 0321 0132 1230 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 5 0 -5 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.904035528235 0.565465120263 2 10 9 4 0132 0213 0213 0321 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 -1 0 1 0 -1 1 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618021784502 1.255993440007 3 9 2 11 2103 0213 0132 2103 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 1 -1 0 0 0 0 -1 1 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529787836872 0.393540700020 6 7 8 2 3012 0213 0213 0132 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 -1 1 0 -1 0 1 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727418458212 0.993089248018 5 3 7 6 0213 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 1 4 0 -5 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.950780178549 1.338999283634 5 5 4 8 3012 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.742427417191 1.055596134946 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_11'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_0110_11'], 'c_1010_10' : d['c_0011_8'], 's_0_10' : d['1'], 's_0_11' : 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_0'], 's_2_0' : negation(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' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0110_11']), 'c_1100_8' : negation(d['c_0110_11']), 'c_1100_5' : d['c_0110_11'], 'c_1100_4' : negation(d['c_0110_8']), 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0110_8']), 'c_1100_3' : negation(d['c_0110_8']), 'c_1100_2' : negation(d['c_0110_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_8']), 'c_1100_10' : d['c_1001_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0110_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_0' : negation(d['c_0011_4']), 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0011_9'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_9'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_4']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_9'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_4']), 'c_0110_6' : d['c_0011_9']})} 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_8, c_0011_9, c_0101_0, c_0101_11, c_0110_11, c_0110_8, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 222628596946014668449987/82692868082046523577120*c_1001_2^14 - 14621995310319883306234563/82692868082046523577120*c_1001_2^13 - 24607281203136042418346297/82692868082046523577120*c_1001_2^12 - 76768184353927182277734931/82692868082046523577120*c_1001_2^11 - 103972481269154762933583389/82692868082046523577120*c_1001_2^10 - 2827870802179264382932747/1590247463116279299560*c_1001_2^9 - 189750917446215776148798063/82692868082046523577120*c_1001_2^8 - 179244792921192103263826961/82692868082046523577120*c_1001_2^7 - 185860045726259547551816927/82692868082046523577120*c_1001_2^6 - 139185010747679242949679363/82692868082046523577120*c_1001_2^5 - 87538421011287595651690777/82692868082046523577120*c_1001_2^4 - 2509008372712883751792076/2584152127563953861785*c_1001_2^3 - 518229974062726538466505/2067321702051163089428*c_1001_2^2 - 368439133611595158719361/2584152127563953861785*c_1001_2 - 21584074593697937534446/516830425512790772357, c_0011_0 - 1, c_0011_10 - 1150660456656106527/209243087252142013100*c_1001_2^14 + 82657163768516875641/209243087252142013100*c_1001_2^13 - 17194776985635770568/10462154362607100655*c_1001_2^12 + 487580494201217833/209243087252142013100*c_1001_2^11 - 132726565565200937317/20924308725214201310*c_1001_2^10 - 310416279787751178031/104621543626071006550*c_1001_2^9 - 653908779676912912299/104621543626071006550*c_1001_2^8 - 419239775443324267224/52310771813035503275*c_1001_2^7 - 554488536463584936677/209243087252142013100*c_1001_2^6 - 77492661162324592054/10462154362607100655*c_1001_2^5 - 77564672940410543057/41848617450428402620*c_1001_2^4 - 51373420978996239761/209243087252142013100*c_1001_2^3 - 311525945135688887297/52310771813035503275*c_1001_2^2 + 313415962363531688811/104621543626071006550*c_1001_2 - 95928377508093713262/52310771813035503275, c_0011_4 + 1408366805096097053/209243087252142013100*c_1001_2^14 - 90131259483351469549/209243087252142013100*c_1001_2^13 - 31252132210526926171/20924308725214201310*c_1001_2^12 - 664664684321424642987/209243087252142013100*c_1001_2^11 - 62259217762212455736/10462154362607100655*c_1001_2^10 - 689780089770619857891/104621543626071006550*c_1001_2^9 - 805688801585600490839/104621543626071006550*c_1001_2^8 - 364091030016930962864/52310771813035503275*c_1001_2^7 - 869276406351474574997/209243087252142013100*c_1001_2^6 - 60366768843335040183/20924308725214201310*c_1001_2^5 + 23855587108028429343/41848617450428402620*c_1001_2^4 + 160596558234392054029/209243087252142013100*c_1001_2^3 - 80662389012183179159/104621543626071006550*c_1001_2^2 + 102479013278625935671/104621543626071006550*c_1001_2 - 10067948253846912457/52310771813035503275, c_0011_8 - 311620730639738429/83697234900856805240*c_1001_2^14 + 18673695302320901619/83697234900856805240*c_1001_2^13 + 155258376313499342947/83697234900856805240*c_1001_2^12 + 104676024958903239729/83697234900856805240*c_1001_2^11 + 517923801221306289059/83697234900856805240*c_1001_2^10 + 19946292548874001934/10462154362607100655*c_1001_2^9 + 104797332497396709931/16739446980171361048*c_1001_2^8 + 91929268272537339093/16739446980171361048*c_1001_2^7 + 17328119532438310405/16739446980171361048*c_1001_2^6 + 419117792978559685053/83697234900856805240*c_1001_2^5 - 143041041748984589233/83697234900856805240*c_1001_2^4 + 1189237555860560257/10462154362607100655*c_1001_2^3 + 155571089383120233501/41848617450428402620*c_1001_2^2 - 93365515543641277219/20924308725214201310*c_1001_2 + 29271757336716036084/10462154362607100655, c_0011_9 + 8744633814264105363/209243087252142013100*c_1001_2^14 - 579964177478927740739/209243087252142013100*c_1001_2^13 - 119589075273791647789/41848617450428402620*c_1001_2^12 - 2332731017062033721317/209243087252142013100*c_1001_2^11 - 397699440255273876013/41848617450428402620*c_1001_2^10 - 1416963949360893621701/104621543626071006550*c_1001_2^9 - 3259749607954549180843/209243087252142013100*c_1001_2^8 - 1921934775886163789911/209243087252142013100*c_1001_2^7 - 2491951484162191684857/209243087252142013100*c_1001_2^6 - 161444417927685224839/41848617450428402620*c_1001_2^5 - 38229885623753625199/41848617450428402620*c_1001_2^4 - 324504453911828405264/52310771813035503275*c_1001_2^3 + 399452160123147311391/104621543626071006550*c_1001_2^2 - 60329369629177836842/52310771813035503275*c_1001_2 + 10014319251618709593/52310771813035503275, c_0101_0 + 106415797700975199/16739446980171361048*c_1001_2^14 - 36106290792890245041/83697234900856805240*c_1001_2^13 + 16786119278357240469/83697234900856805240*c_1001_2^12 - 17062017268737114659/83697234900856805240*c_1001_2^11 + 238340419855401293873/83697234900856805240*c_1001_2^10 + 92681164745294122163/20924308725214201310*c_1001_2^9 + 509652908872243365217/83697234900856805240*c_1001_2^8 + 665494129793624626899/83697234900856805240*c_1001_2^7 + 431032050499493121113/83697234900856805240*c_1001_2^6 + 458365779691422877731/83697234900856805240*c_1001_2^5 + 206256588013427700419/83697234900856805240*c_1001_2^4 - 38032181743410355747/41848617450428402620*c_1001_2^3 + 19240216094869421393/41848617450428402620*c_1001_2^2 - 2347404099995280485/2092430872521420131*c_1001_2 + 1847937297529955432/10462154362607100655, c_0101_11 - 1101198690534932849/24616833794369648600*c_1001_2^14 + 74700731688104549637/24616833794369648600*c_1001_2^13 - 1421468787605719877/984673351774785944*c_1001_2^12 + 199220170118232387951/24616833794369648600*c_1001_2^11 - 6569219297934578613/984673351774785944*c_1001_2^10 + 33340069434453038833/12308416897184824300*c_1001_2^9 - 18105127861815067491/24616833794369648600*c_1001_2^8 - 247788183060330782107/24616833794369648600*c_1001_2^7 + 108202583278258445991/24616833794369648600*c_1001_2^6 - 53293290500839143271/4923366758873929720*c_1001_2^5 - 1482393381107118935/984673351774785944*c_1001_2^4 + 39896771875119583337/6154208448592412150*c_1001_2^3 - 165908331016859155113/12308416897184824300*c_1001_2^2 + 43680419280656524091/6154208448592412150*c_1001_2 - 8275181211688639212/3077104224296206075, c_0110_11 + 16419056825781645379/418486174504284026200*c_1001_2^14 - 1104598111160743592547/418486174504284026200*c_1001_2^13 - 16733368938599974999/83697234900856805240*c_1001_2^12 - 3385767731021548159501/418486174504284026200*c_1001_2^11 + 27477378063635432837/83697234900856805240*c_1001_2^10 - 1187613739961204016223/209243087252142013100*c_1001_2^9 - 2307847945056795501849/418486174504284026200*c_1001_2^8 + 858480908479029158027/418486174504284026200*c_1001_2^7 - 2948420988657563455201/418486174504284026200*c_1001_2^6 + 57208929843133739835/16739446980171361048*c_1001_2^5 - 29125908486715976639/83697234900856805240*c_1001_2^4 - 1407863664733062073219/209243087252142013100*c_1001_2^3 + 1574337846743850087733/209243087252142013100*c_1001_2^2 - 214575582703814610368/52310771813035503275*c_1001_2 + 44749703090613153342/52310771813035503275, c_0110_8 + 1370294697512955019/83697234900856805240*c_1001_2^14 - 18243207757952916125/16739446980171361048*c_1001_2^13 - 70032140883468388723/83697234900856805240*c_1001_2^12 - 438459754171794106823/83697234900856805240*c_1001_2^11 - 354176955464613310271/83697234900856805240*c_1001_2^10 - 17710783819964685628/2092430872521420131*c_1001_2^9 - 733073532272096398343/83697234900856805240*c_1001_2^8 - 394966311631966212961/83697234900856805240*c_1001_2^7 - 600233233627039056747/83697234900856805240*c_1001_2^6 - 65398455831830248557/83697234900856805240*c_1001_2^5 - 46404160900968574033/83697234900856805240*c_1001_2^4 - 18773990859516721967/8369723490085680524*c_1001_2^3 + 144103601114123699467/41848617450428402620*c_1001_2^2 - 22586322603353510583/10462154362607100655*c_1001_2 + 890075589701594388/10462154362607100655, c_1001_0 - 1929353973061136423/83697234900856805240*c_1001_2^14 + 126372322620136605063/83697234900856805240*c_1001_2^13 + 238370354350133438449/83697234900856805240*c_1001_2^12 + 542671313774151971933/83697234900856805240*c_1001_2^11 + 842200395454729073233/83697234900856805240*c_1001_2^10 + 373503670444418068137/41848617450428402620*c_1001_2^9 + 239664415744291276303/16739446980171361048*c_1001_2^8 + 165933691544206153723/16739446980171361048*c_1001_2^7 + 128652955987271625241/16739446980171361048*c_1001_2^6 + 580150387447865123351/83697234900856805240*c_1001_2^5 - 53638062481380386541/83697234900856805240*c_1001_2^4 + 43522656215323442909/10462154362607100655*c_1001_2^3 + 54268542360610974357/41848617450428402620*c_1001_2^2 - 73062301455269468613/20924308725214201310*c_1001_2 + 32592717920606745223/10462154362607100655, c_1001_11 - 21148226280708396841/418486174504284026200*c_1001_2^14 + 1434420428435990799073/418486174504284026200*c_1001_2^13 - 134703830100312470827/83697234900856805240*c_1001_2^12 + 4070017591158474335519/418486174504284026200*c_1001_2^11 - 598950431589620818439/83697234900856805240*c_1001_2^10 + 1014550930584222971357/209243087252142013100*c_1001_2^9 - 275058095862933292349/418486174504284026200*c_1001_2^8 - 4552714171803217455473/418486174504284026200*c_1001_2^7 + 2098782033106731932499/418486174504284026200*c_1001_2^6 - 1127899596605268734357/83697234900856805240*c_1001_2^5 - 90258346767578084427/83697234900856805240*c_1001_2^4 + 1416115769215070033921/209243087252142013100*c_1001_2^3 - 3222506407191777733587/209243087252142013100*c_1001_2^2 + 496361041880226700297/52310771813035503275*c_1001_2 - 187218727313428217888/52310771813035503275, c_1001_2^15 - 67*c_1001_2^14 - 23*c_1001_2^13 - 249*c_1001_2^12 - 79*c_1001_2^11 - 284*c_1001_2^10 - 255*c_1001_2^9 - 93*c_1001_2^8 - 281*c_1001_2^7 + 31*c_1001_2^6 - 55*c_1001_2^5 - 152*c_1001_2^4 + 182*c_1001_2^3 - 132*c_1001_2^2 + 48*c_1001_2 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.700 Total time: 0.920 seconds, Total memory usage: 32.09MB