Magma V2.19-8 Tue Aug 20 2013 23:52:54 on localhost [Seed = 4055341627] Type ? for help. Type -D to quit. Loading file "L13n4430__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4430 geometric_solution 11.21728714 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 2 2 0132 0132 0321 0213 0 1 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 0 0 0 0 -1 0 1 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.674447938346 0.528072853162 0 3 5 4 0132 0132 0132 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 -1 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 0 0 0 0.281282909723 0.870211371039 6 0 0 0 0132 0132 0321 0213 0 1 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 0 0 0 0 1 0 -1 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.674447938346 0.528072853162 7 1 8 9 0132 0132 0132 0132 1 1 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 0 0 0 0 1 -7 6 -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.249673292996 1.240578432373 10 7 1 11 0132 1230 0132 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 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.804714443358 1.532468779038 6 8 9 1 2310 0132 2310 0132 1 1 1 1 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 -1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.020382437364 0.631368032347 2 8 5 10 0132 0213 3201 0213 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 7 -7 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.900258439753 0.851560017724 3 8 4 10 0132 2031 3012 0321 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 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.763610818784 0.688559748856 7 5 6 3 1302 0132 0213 0132 1 1 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 0 0 0 0 0 -7 7 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.272137453670 0.800550795524 11 5 3 10 3201 3201 0132 0132 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.076611828409 0.608870523152 4 7 9 6 0132 0321 0132 0213 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.939175974880 0.907143216925 11 11 4 9 1230 3012 0132 2310 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.943116792929 1.328946067433 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_11']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_1001_10']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_10']), 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : negation(d['c_0101_5']), 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_5']), '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_10'], '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_9'], 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0011_9'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1010_6'], 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : d['c_1010_6'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : negation(d['c_1001_10']), 'c_1100_8' : d['c_1010_6'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_0']), '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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_11'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0011_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1010_6'], 'c_0110_3' : negation(d['c_0011_11']), 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0101_0'])})} 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_9, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_1001_0, c_1001_10, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 17170844002265005480594414895284138176338494921/2345375677877128265\ 2714108388271993688704*c_1010_6^13 + 14496244254990107601864071807078965358353404479/5863439194692820663\ 178527097067998422176*c_1010_6^12 + 87133049140072324740082381169985275552789132275/1172687838938564132\ 6357054194135996844352*c_1010_6^11 - 9406286277052557410457139236094474992782435/46479898491421487619330\ 37730533490624*c_1010_6^10 - 78691150945870534212693098789544100467\ 9390667/732929899336602582897315887133499802772*c_1010_6^9 - 104302378741588993006121736470182888755079685545/586343919469282066\ 3178527097067998422176*c_1010_6^8 - 168696231097094973243890662243599947466127439989/234537567787712826\ 52714108388271993688704*c_1010_6^7 + 6380691691680075395762938798101347946585615625/13796327516924283913\ 36124022839529040512*c_1010_6^6 + 749511377222280043035016583810752\ 5960439510673/1234408251514278034353374125698525983616*c_1010_6^5 + 4078169921424892189041959074642365971676223409/68981637584621419566\ 8062011419764520256*c_1010_6^4 + 3346804585176570581625232905128261\ 6545638962687/7817918926257094217571369462757331229568*c_1010_6^3 - 15602372134458335620010782306180726444622487745/7817918926257094217\ 571369462757331229568*c_1010_6^2 + 1319493814181141328547898002827378123122650957/11726878389385641326\ 357054194135996844352*c_1010_6 - 2246365741841717635023057785928303\ 7963039508485/23453756778771282652714108388271993688704, c_0011_0 - 1, c_0011_10 + 5020477159741491298181695650/11636035047571210509077694683*\ c_1010_6^13 + 13531365316535081759220933855/11636035047571210509077\ 694683*c_1010_6^12 + 76274925367320737810820462713/2327207009514242\ 1018155389366*c_1010_6^11 - 3731511190264941934153586305/8024851756\ 94566242005358254*c_1010_6^10 - 32093621520014147526848892339/23272\ 070095142421018155389366*c_1010_6^9 - 131741241846853268956609956187/11636035047571210509077694683*c_1010\ _6^8 + 20655735142980896179373276014/11636035047571210509077694683*\ c_1010_6^7 + 159461436346678281919771605795/23272070095142421018155\ 389366*c_1010_6^6 + 107639740399886775753877439921/2327207009514242\ 1018155389366*c_1010_6^5 + 71278172666843435473900468675/2327207009\ 5142421018155389366*c_1010_6^4 + 21036302944573382572646323419/1163\ 6035047571210509077694683*c_1010_6^3 - 77304925869946527970164134951/23272070095142421018155389366*c_1010_\ 6^2 - 6883511390674930728372938159/11636035047571210509077694683*c_\ 1010_6 - 17036611272941965971284589523/2327207009514242101815538936\ 6, c_0011_11 - 11493303861332165158109037537/11636035047571210509077694683\ *c_1010_6^13 - 34910520051992956464148964501/1163603504757121050907\ 7694683*c_1010_6^12 - 100403909668132788352197711510/11636035047571\ 210509077694683*c_1010_6^11 + 2873294942145964969490125132/40124258\ 7847283121002679127*c_1010_6^10 + 43264834596663729261722320372/116\ 36035047571210509077694683*c_1010_6^9 + 285436246446948085084159539135/11636035047571210509077694683*c_1010\ _6^8 + 23822067573962579749011829096/11636035047571210509077694683*\ c_1010_6^7 - 163416026578939377308704105768/11636035047571210509077\ 694683*c_1010_6^6 - 120360100802324840860990363559/1163603504757121\ 0509077694683*c_1010_6^5 - 54279675382373049724425591302/1163603504\ 7571210509077694683*c_1010_6^4 - 32426888169106673188851480685/1163\ 6035047571210509077694683*c_1010_6^3 + 50800177821822559811723615040/11636035047571210509077694683*c_1010_\ 6^2 - 2072622192732342627873079851/11636035047571210509077694683*c_\ 1010_6 + 11888984033473988091761881937/1163603504757121050907769468\ 3, c_0011_5 + 12822833463830503552882296958/11636035047571210509077694683*\ c_1010_6^13 + 50100335033185016516868616385/11636035047571210509077\ 694683*c_1010_6^12 + 149362964533621999946904233749/116360350475712\ 10509077694683*c_1010_6^11 + 694278170753379319468697849/4012425878\ 47283121002679127*c_1010_6^10 - 77261005090569489072351719812/11636\ 035047571210509077694683*c_1010_6^9 - 316041157680858265594930502911/11636035047571210509077694683*c_1010\ _6^8 - 274339749699282261286460928494/11636035047571210509077694683\ *c_1010_6^7 + 100690742429807339442907670641/1163603504757121050907\ 7694683*c_1010_6^6 + 190090413205221216606740763142/116360350475712\ 10509077694683*c_1010_6^5 + 118106080287877407500515821951/11636035\ 047571210509077694683*c_1010_6^4 + 77317589298071922871159455976/11636035047571210509077694683*c_1010_\ 6^3 - 8599406363455259446369612746/11636035047571210509077694683*c_\ 1010_6^2 - 25107071929336249419739205538/11636035047571210509077694\ 683*c_1010_6 + 652931438306150708755974359/116360350475712105090776\ 94683, c_0011_9 + 4499311186834040738479629090/11636035047571210509077694683*c\ _1010_6^13 + 1466497153509230512075195207/1163603504757121050907769\ 4683*c_1010_6^12 - 1842001750281980559380842378/1163603504757121050\ 9077694683*c_1010_6^11 - 5251822743436666927848491919/4012425878472\ 83121002679127*c_1010_6^10 + 31051979601972937415047423218/11636035\ 047571210509077694683*c_1010_6^9 - 53164176979671383892853421150/11636035047571210509077694683*c_1010_\ 6^8 + 277630307679904138134931846886/11636035047571210509077694683*\ c_1010_6^7 + 168877204643022196668101577020/11636035047571210509077\ 694683*c_1010_6^6 - 126374781353270901269263593612/1163603504757121\ 0509077694683*c_1010_6^5 - 125368347257364817793622986002/116360350\ 47571210509077694683*c_1010_6^4 - 40265751048171977101264274143/116\ 36035047571210509077694683*c_1010_6^3 - 56300702673334601290520406827/11636035047571210509077694683*c_1010_\ 6^2 + 65576699262941810915545054643/11636035047571210509077694683*c\ _1010_6 + 4809488600443306961810798158/1163603504757121050907769468\ 3, c_0101_0 - 11897933204675080970354010542/11636035047571210509077694683*\ c_1010_6^13 - 35759352516851476632988890986/11636035047571210509077\ 694683*c_1010_6^12 - 105366033841201600339396273732/116360350475712\ 10509077694683*c_1010_6^11 + 2693966226883507720703502225/401242587\ 847283121002679127*c_1010_6^10 + 7909485802096578461896877585/11636\ 035047571210509077694683*c_1010_6^9 + 278022189709477954838981545847/11636035047571210509077694683*c_1010\ _6^8 + 38349853062019050830630424441/11636035047571210509077694683*\ c_1010_6^7 - 112519133698106919060277946052/11636035047571210509077\ 694683*c_1010_6^6 - 50332962554044719009215955477/11636035047571210\ 509077694683*c_1010_6^5 - 67512891528826870117389252082/11636035047\ 571210509077694683*c_1010_6^4 - 81921042796931360857819676315/11636\ 035047571210509077694683*c_1010_6^3 + 63029191007532437493172743624/11636035047571210509077694683*c_1010_\ 6^2 - 11710184804581111301192230800/11636035047571210509077694683*c\ _1010_6 + 494746492851243282279194358/11636035047571210509077694683\ , c_0101_1 + 11897933204675080970354010542/11636035047571210509077694683*\ c_1010_6^13 + 35759352516851476632988890986/11636035047571210509077\ 694683*c_1010_6^12 + 105366033841201600339396273732/116360350475712\ 10509077694683*c_1010_6^11 - 2693966226883507720703502225/401242587\ 847283121002679127*c_1010_6^10 - 7909485802096578461896877585/11636\ 035047571210509077694683*c_1010_6^9 - 278022189709477954838981545847/11636035047571210509077694683*c_1010\ _6^8 - 38349853062019050830630424441/11636035047571210509077694683*\ c_1010_6^7 + 112519133698106919060277946052/11636035047571210509077\ 694683*c_1010_6^6 + 50332962554044719009215955477/11636035047571210\ 509077694683*c_1010_6^5 + 67512891528826870117389252082/11636035047\ 571210509077694683*c_1010_6^4 + 81921042796931360857819676315/11636\ 035047571210509077694683*c_1010_6^3 - 63029191007532437493172743624/11636035047571210509077694683*c_1010_\ 6^2 + 11710184804581111301192230800/11636035047571210509077694683*c\ _1010_6 + 11141288554719967226798500325/116360350475712105090776946\ 83, c_0101_10 + 16044549802769804416477640342/11636035047571210509077694683\ *c_1010_6^13 + 50755528359206555351179687969/1163603504757121050907\ 7694683*c_1010_6^12 + 299175791197937887586376108655/23272070095142\ 421018155389366*c_1010_6^11 - 5624397756317323305972863563/80248517\ 5694566242005358254*c_1010_6^10 - 35798820444593260780315977327/232\ 72070095142421018155389366*c_1010_6^9 - 337763011910756246533236291184/11636035047571210509077694683*c_1010\ _6^8 - 50101745640550276604402950019/11636035047571210509077694683*\ c_1010_6^7 + 380582958626521224176095488887/23272070095142421018155\ 389366*c_1010_6^6 + 122816606139594488629185474943/2327207009514242\ 1018155389366*c_1010_6^5 + 52886388135612785013495652577/2327207009\ 5142421018155389366*c_1010_6^4 + 30828646398327994807881178580/1163\ 6035047571210509077694683*c_1010_6^3 - 118239777823697041786587348517/23272070095142421018155389366*c_1010\ _6^2 + 21557737812054729812367345195/11636035047571210509077694683*\ c_1010_6 - 17834674412685626290830570575/23272070095142421018155389\ 366, c_0101_5 + 21364037330677786997418713609/23272070095142421018155389366*\ c_1010_6^13 + 40289793044169423611268997174/11636035047571210509077\ 694683*c_1010_6^12 + 119592407136770810420079371796/116360350475712\ 10509077694683*c_1010_6^11 + 124406365218040845634421665/8024851756\ 94566242005358254*c_1010_6^10 - 62894814365557552902011502913/11636\ 035047571210509077694683*c_1010_6^9 - 544458600844254294762251402803/23272070095142421018155389366*c_1010\ _6^8 - 212039354014111707570415954259/11636035047571210509077694683\ *c_1010_6^7 + 86428233973783914906131231137/11636035047571210509077\ 694683*c_1010_6^6 + 314572329492334294138063004869/2327207009514242\ 1018155389366*c_1010_6^5 + 238083360997842164463620126575/232720700\ 95142421018155389366*c_1010_6^4 + 162221269622063462479007560913/23\ 272070095142421018155389366*c_1010_6^3 - 29211321503523686896941956149/23272070095142421018155389366*c_1010_\ 6^2 - 55668283500400501366254690125/23272070095142421018155389366*c\ _1010_6 - 7762876179379503898409307188/1163603504757121050907769468\ 3, c_1001_0 - 1, c_1001_10 + 3404659331580578626841418575/11636035047571210509077694683*\ c_1010_6^13 + 8631474596242839802908203105/116360350475712105090776\ 94683*c_1010_6^12 + 22656922343354360008763330719/11636035047571210\ 509077694683*c_1010_6^11 - 1558432136298033688318113221/40124258784\ 7283121002679127*c_1010_6^10 - 16663278846798808255022277090/116360\ 35047571210509077694683*c_1010_6^9 - 65109714551202012952990256535/11636035047571210509077694683*c_1010_\ 6^8 + 33109899846710648585890776083/11636035047571210509077694683*c\ _1010_6^7 + 81333797949863831857284903546/1163603504757121050907769\ 4683*c_1010_6^6 + 3434095146172808541793542765/11636035047571210509\ 077694683*c_1010_6^5 - 25698814811357565779304410002/11636035047571\ 210509077694683*c_1010_6^4 + 4485459005454381436749382725/116360350\ 47571210509077694683*c_1010_6^3 - 11554310463880398714324360542/116\ 36035047571210509077694683*c_1010_6^2 + 3479592552257160379652185296/11636035047571210509077694683*c_1010_6 + 5925881137466964764937720395/11636035047571210509077694683, c_1010_6^14 + 239/71*c_1010_6^13 + 718/71*c_1010_6^12 - 204/71*c_1010_6^11 - 102/71*c_1010_6^10 - 1724/71*c_1010_6^9 - 679/71*c_1010_6^8 + 456/71*c_1010_6^7 + 584/71*c_1010_6^6 + 567/71*c_1010_6^5 + 409/71*c_1010_6^4 - 198/71*c_1010_6^3 + 13/71*c_1010_6^2 - 93/71*c_1010_6 + 1/71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB