Magma V2.19-8 Tue Aug 20 2013 23:52:20 on localhost [Seed = 4190081749] Type ? for help. Type -D to quit. Loading file "L13n2625__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2625 geometric_solution 10.93323530 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 3120 0 1 0 0 0 -1 0 1 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 0 0 0 0 1 0 -1 1 0 0 -1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389404844885 0.815802556994 0 4 5 5 0132 0132 0213 0132 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 0 -2 0 2 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352901800885 0.944130247158 0 0 4 6 3120 0132 2103 0132 0 1 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 0 0 0 0 1 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.956107214166 0.769724690878 7 6 8 0 0132 0132 0132 0132 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 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 1.523471406206 0.998326678273 2 1 9 10 2103 0132 0132 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 1 0 -1 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.262830087416 1.426589522453 8 1 1 7 0213 0213 0132 0213 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 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 0 0 0 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493923599008 0.720645197662 9 3 2 10 2103 0132 0132 2103 0 1 1 0 0 0 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 -1 1 0 0 1 -1 -5 -1 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620556460929 0.457573456338 3 11 11 5 0132 0132 0321 0213 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.635221949801 0.560549058556 5 11 9 3 0213 2031 2103 0132 0 1 1 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335787158210 0.461930401830 8 10 6 4 2103 0132 2103 0132 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 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0.232829088394 0.821132863966 11 9 4 6 3012 0132 0132 2103 1 1 0 0 0 -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 5 1 -6 -1 0 0 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.409436668805 0.964305353118 8 7 7 10 1302 0132 0321 1230 1 0 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 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.635221949801 0.560549058556 ==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_1'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_8']), '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_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_0110_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : negation(d['c_0110_6']), 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0110_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_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'], '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_10']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_11']), '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_0011_10'], 'c_0110_10' : d['c_0101_10'], 'c_0110_0' : d['c_0011_5'], 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : d['c_0011_5'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0011_8'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0110_6']})} 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_8, c_0101_10, c_0101_2, c_0101_3, c_0110_6, c_1001_0, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t - 34337621953730377326186423107426536990747/1587092475007450502899291\ 70324836744*c_1001_11^10 + 5391141554630064634254278897928775792013\ 805/158709247500745050289929170324836744*c_1001_11^9 - 27880504460034351824080139054197849320584711/1983865593759313128624\ 1146290604593*c_1001_11^8 + 863471714444315191189883754299968400571\ 183575/158709247500745050289929170324836744*c_1001_11^7 - 323384902100427185383641619053014695713617831/158709247500745050289\ 929170324836744*c_1001_11^6 + 1968130072730730626397038374442511500\ 243270175/158709247500745050289929170324836744*c_1001_11^5 - 295760225031000386134309658694776482270500087/396773118751862625724\ 82292581209186*c_1001_11^4 + 12918980220512345008361443502320966102\ 58886343/158709247500745050289929170324836744*c_1001_11^3 - 93899843107960338656965921898676970956502929/1983865593759313128624\ 1146290604593*c_1001_11^2 + 152080527697096210365079362451501927843\ 846165/158709247500745050289929170324836744*c_1001_11 + 8776121657631892443680877062428463856164761/15870924750074505028992\ 9170324836744, c_0011_0 - 1, c_0011_10 + 36141250336471764997311098089795/40240681414996209505560134\ 463701*c_1001_11^10 - 5674303554325731046724831286049320/4024068141\ 4996209505560134463701*c_1001_11^9 + 234757401939438910857721010869603608/402406814149962095055601344637\ 01*c_1001_11^8 - 908731243812840497332019559331163746/4024068141499\ 6209505560134463701*c_1001_11^7 + 340013385023970260834263670054107\ 712/40240681414996209505560134463701*c_1001_11^6 - 2071421028686793496717506246193153585/40240681414996209505560134463\ 701*c_1001_11^5 + 1244351653920114062042960674758893862/40240681414\ 996209505560134463701*c_1001_11^4 - 1359336602431078323076032102764233265/40240681414996209505560134463\ 701*c_1001_11^3 + 790190653202636585745199006718645277/402406814149\ 96209505560134463701*c_1001_11^2 - 159763064923576530830024610528893250/402406814149962095055601344637\ 01*c_1001_11 - 9279398179433634422967223364246021/40240681414996209\ 505560134463701, c_0011_11 + 133395525999651279095660773194/4024068141499620950556013446\ 3701*c_1001_11^10 - 20946357185867235845618962027635/40240681414996\ 209505560134463701*c_1001_11^9 + 866913701741473658604031945710680/\ 40240681414996209505560134463701*c_1001_11^8 - 3371889443835024231374053957346318/40240681414996209505560134463701\ *c_1001_11^7 + 1312479818232616636355253102258899/40240681414996209\ 505560134463701*c_1001_11^6 - 7639893943825201613847596931889283/40\ 240681414996209505560134463701*c_1001_11^5 + 4803701812164283451894456545395141/40240681414996209505560134463701\ *c_1001_11^4 - 5005419327681048573689012995208423/40240681414996209\ 505560134463701*c_1001_11^3 + 3082317482274980817531418425984968/40\ 240681414996209505560134463701*c_1001_11^2 - 622551977398312367693902686750338/40240681414996209505560134463701*\ c_1001_11 + 1136855986203737742163339283354/40240681414996209505560\ 134463701, c_0011_5 - 4730807934526260897296050674/4024068141499620950556013446370\ 1*c_1001_11^10 + 744630558874870221901407784642/4024068141499620950\ 5560134463701*c_1001_11^9 - 31023749085693209524640462223966/402406\ 81414996209505560134463701*c_1001_11^8 + 131118690353264055172686835590700/40240681414996209505560134463701*\ c_1001_11^7 - 90883735650891241168509207399660/40240681414996209505\ 560134463701*c_1001_11^6 + 295975474977710064152544585525130/402406\ 81414996209505560134463701*c_1001_11^5 - 316781368474580523310408534499565/40240681414996209505560134463701*\ c_1001_11^4 + 257084778593213332262583783533105/4024068141499620950\ 5560134463701*c_1001_11^3 - 227614104593293430801106790119274/40240\ 681414996209505560134463701*c_1001_11^2 + 112056548396442834027287120831792/40240681414996209505560134463701*\ c_1001_11 - 37299995615347274060447890677044/4024068141499620950556\ 0134463701, c_0011_8 - 1, c_0101_10 + 61312676030994975823937204536/40240681414996209505560134463\ 701*c_1001_11^10 - 9615292015942834178248670078982/4024068141499620\ 9505560134463701*c_1001_11^9 + 396532120157899773809132696635224/40\ 240681414996209505560134463701*c_1001_11^8 - 1470350772890954476122119220758447/40240681414996209505560134463701\ *c_1001_11^7 + 310238225770252809296698609191793/402406814149962095\ 05560134463701*c_1001_11^6 - 3442057254901810439996657670182887/402\ 40681414996209505560134463701*c_1001_11^5 + 1467171147064058597854005641971437/40240681414996209505560134463701\ *c_1001_11^4 - 2045275893897280609665595922227024/40240681414996209\ 505560134463701*c_1001_11^3 + 915216190543742762593856934430226/402\ 40681414996209505560134463701*c_1001_11^2 - 88278251667872520238421695286266/40240681414996209505560134463701*c\ _1001_11 - 37501532026045937723765512592533/40240681414996209505560\ 134463701, c_0101_2 + 15773193907794234787952786989/402406814149962095055601344637\ 01*c_1001_11^10 - 2468306291609002580107811068858/40240681414996209\ 505560134463701*c_1001_11^9 + 101177005605231030565610701463579/402\ 40681414996209505560134463701*c_1001_11^8 - 343644697321076083392526567843244/40240681414996209505560134463701*\ c_1001_11^7 - 59337640440926366727508491492759/40240681414996209505\ 560134463701*c_1001_11^6 - 821628654395669759653545208667774/402406\ 81414996209505560134463701*c_1001_11^5 + 101190132144179368954450252812206/40240681414996209505560134463701*\ c_1001_11^4 - 298581610113443045771934584032868/4024068141499620950\ 5560134463701*c_1001_11^3 + 31918739720671041992450036120384/402406\ 81414996209505560134463701*c_1001_11^2 + 76335438178995546165103345503486/40240681414996209505560134463701*c\ _1001_11 - 36424183482057822800496452136437/40240681414996209505560\ 134463701, c_0101_3 + 7138367644981928107483071728/4024068141499620950556013446370\ 1*c_1001_11^10 - 1120565126412013270387399259124/402406814149962095\ 05560134463701*c_1001_11^9 + 46340041998914696845501191235577/40240\ 681414996209505560134463701*c_1001_11^8 - 178485946335800427922043689059394/40240681414996209505560134463701*\ c_1001_11^7 + 70278305752856980639234261649089/40240681414996209505\ 560134463701*c_1001_11^6 - 424597561755719968024795823685348/402406\ 81414996209505560134463701*c_1001_11^5 + 185053509669844186267476148208794/40240681414996209505560134463701*\ c_1001_11^4 - 295356529460483651853677761168738/4024068141499620950\ 5560134463701*c_1001_11^3 + 141731750168621339402898216017560/40240\ 681414996209505560134463701*c_1001_11^2 + 7022853329644891090370629539404/40240681414996209505560134463701*c_\ 1001_11 + 180462745054004945958343962409/40240681414996209505560134\ 463701, c_0110_6 + 28829610242283561635783127119/402406814149962095055601344637\ 01*c_1001_11^10 - 4524992398145100080086107435493/40240681414996209\ 505560134463701*c_1001_11^9 + 187053669727518405012603141718999/402\ 40681414996209505560134463701*c_1001_11^8 - 716476437621849588250393530798242/40240681414996209505560134463701*\ c_1001_11^7 + 253845919409955247516018477039733/4024068141499620950\ 5560134463701*c_1001_11^6 - 1697049453061939158071509122518046/4024\ 0681414996209505560134463701*c_1001_11^5 + 897433550688298958128478070692810/40240681414996209505560134463701*\ c_1001_11^4 - 1134820675759094334708949732235798/402406814149962095\ 05560134463701*c_1001_11^3 + 597216451248374291415201384785497/4024\ 0681414996209505560134463701*c_1001_11^2 - 103833644254871163074620507066314/40240681414996209505560134463701*\ c_1001_11 - 388866410719192517511658306426/402406814149962095055601\ 34463701, c_1001_0 + 21889292671771320973453303895/402406814149962095055601344637\ 01*c_1001_11^10 - 3438032167869280264041647482530/40240681414996209\ 505560134463701*c_1001_11^9 + 142391678475349895160867986655935/402\ 40681414996209505560134463701*c_1001_11^8 - 558876763530058968686047713209458/40240681414996209505560134463701*\ c_1001_11^7 + 231683933500114292031431505445016/4024068141499620950\ 5560134463701*c_1001_11^6 - 1225205353129988989019601532268854/4024\ 0681414996209505560134463701*c_1001_11^5 + 784207775058390608978002690691611/40240681414996209505560134463701*\ c_1001_11^4 - 834096429944269352403207893313031/4024068141499620950\ 5560134463701*c_1001_11^3 + 346542348111150156232439726520051/40240\ 681414996209505560134463701*c_1001_11^2 - 148153863475534787015507809768114/40240681414996209505560134463701*\ c_1001_11 - 82643510320681458257843600312803/4024068141499620950556\ 0134463701, c_1001_1 - 119150069023009970134406757873/40240681414996209505560134463\ 701*c_1001_11^10 + 18710220589890960409103848947503/402406814149962\ 09505560134463701*c_1001_11^9 - 774452843841450336919923939952107/4\ 0240681414996209505560134463701*c_1001_11^8 + 3016713803611789074451938267682465/40240681414996209505560134463701\ *c_1001_11^7 - 1193008149052218854167065087438284/40240681414996209\ 505560134463701*c_1001_11^6 + 6824570476038735883858050234955544/40\ 240681414996209505560134463701*c_1001_11^5 - 4285110128888702724383395679678467/40240681414996209505560134463701\ *c_1001_11^4 + 4534857983017412618153326392352774/40240681414996209\ 505560134463701*c_1001_11^3 - 2710702267274247056281321263586197/40\ 240681414996209505560134463701*c_1001_11^2 + 553739699933049620655767917438461/40240681414996209505560134463701*\ c_1001_11 + 4741944044052521432491759605720/40240681414996209505560\ 134463701, c_1001_11^11 - 157*c_1001_11^10 + 6495*c_1001_11^9 - 25121*c_1001_11^8 + 9319*c_1001_11^7 - 57280*c_1001_11^6 + 34228*c_1001_11^5 - 37488*c_1001_11^4 + 21729*c_1001_11^3 - 4343*c_1001_11^2 - 273*c_1001_11 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.280 seconds, Total memory usage: 32.09MB