Magma V2.19-8 Wed Aug 21 2013 00:56:42 on localhost [Seed = 1747874478] Type ? for help. Type -D to quit. Loading file "L13n2806__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2806 geometric_solution 11.71792797 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 0 1 0 0 0 0 0 0 1 -1 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 1 -1 0 -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.303583858027 0.718510055566 0 5 7 6 0132 0132 0132 0132 1 0 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 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.485940805925 0.442122208242 8 0 3 9 0132 0132 3201 0132 1 1 1 0 0 0 0 0 0 0 0 0 -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 -1 1 0 0 0 -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.499045833309 0.633871851670 2 5 10 0 2310 1230 0132 0132 1 0 1 1 0 0 0 0 1 0 0 -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 0 -1 1 0 0 1 -1 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.296584939599 0.695880221606 11 9 0 5 0132 0132 0132 1230 1 0 1 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327622469996 1.251445024816 4 1 3 12 3012 0132 3012 0132 1 1 0 1 0 0 -1 1 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 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 1.134771788109 0.992483943733 8 9 1 10 3201 0321 0132 2310 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 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.491101366083 0.432968026421 11 8 9 1 3120 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.652309521164 0.383625377578 2 12 7 6 0132 3120 2310 2310 0 1 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.083263865400 0.464146470868 7 4 2 6 2310 0132 0132 0321 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 0 0 1 0 -1 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.786989274284 1.437288680898 6 11 12 3 3201 0132 1302 0132 1 0 1 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 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 1.035485801351 1.860874837591 4 10 12 7 0132 0132 1230 3120 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.452639798034 0.508216117674 10 8 5 11 2031 3120 0132 3012 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 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.286667891911 0.810808756423 ==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' : negation(d['c_0011_6']), 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : negation(d['c_1001_1']), 'c_1010_12' : negation(d['c_0011_0']), 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : d['c_1001_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0011_0'], 'c_0101_10' : negation(d['c_0011_12']), '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' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_3']), 'c_1100_8' : d['c_0011_6'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_11']), 'c_1100_4' : d['c_0101_12'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_0101_12'], 'c_1100_3' : d['c_0101_12'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_6']), 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : negation(d['c_0011_12']), 's_3_1' : negation(d['1']), 's_3_0' : 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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_11']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : 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' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], '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_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0011_6']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_5, c_0101_8, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 6764215334047949083077477120469729788416/98690585591799712462619035\ 1682536675*c_1001_11^11 + 8458976134002985287681757739250270730312/\ 197381171183599424925238070336507335*c_1001_11^10 - 414867697517032962853821303220630106925279/197381171183599424925238\ 0703365073350*c_1001_11^9 + 629861427164361166428505755374571276275\ 236/986905855917997124626190351682536675*c_1001_11^8 - 138504082969757400736590383092182107224118/897187141743633749660173\ 04698412425*c_1001_11^7 + 61757263255101733977863197581207859002239\ /23221314256894049991204478863118510*c_1001_11^6 - 165264506693783556808177495112452456292899/459025979496742848663344\ 34961978450*c_1001_11^5 + 62008027041742438876331818338317884576302\ 7/179437428348726749932034609396824850*c_1001_11^4 - 2482039314501081300922102249983979354271144/98690585591799712462619\ 0351682536675*c_1001_11^3 + 123808892471878341475255550522734852989\ 2868/986905855917997124626190351682536675*c_1001_11^2 - 18688006955411382516222278943097304193441/4590259794967428486633443\ 4961978450*c_1001_11 - 31651660333936719616876060901999116317443/19\ 73811711835994249252380703365073350, c_0011_0 - 1, c_0011_10 - 4163483157436723930540096/143754758708999634264542437*c_100\ 1_11^11 + 25655763320148100856716145/143754758708999634264542437*c_\ 1001_11^10 - 120245456886056454840940685/14375475870899963426454243\ 7*c_1001_11^9 + 353629700042509329794315120/14375475870899963426454\ 2437*c_1001_11^8 - 807883019228909223330963681/14375475870899963426\ 4542437*c_1001_11^7 + 1326193485607655677589127611/1437547587089996\ 34264542437*c_1001_11^6 - 1682554834876995987252546443/143754758708\ 999634264542437*c_1001_11^5 + 1577244565057552625249206273/14375475\ 8708999634264542437*c_1001_11^4 - 1172790143874584855156148985/1437\ 54758708999634264542437*c_1001_11^3 + 755372145271094910029405100/143754758708999634264542437*c_1001_11^2 - 239486014950419431514958265/143754758708999634264542437*c_1001_11 + 113363173310607449037370404/143754758708999634264542437, c_0011_12 - 86249748465020713829628160/143754758708999634264542437*c_10\ 01_11^11 + 510955966822919231176308708/143754758708999634264542437*\ c_1001_11^10 - 2468963373697771876770674631/14375475870899963426454\ 2437*c_1001_11^9 + 7158928673777628310456447253/1437547587089996342\ 64542437*c_1001_11^8 - 16769549373420001456255347187/14375475870899\ 9634264542437*c_1001_11^7 + 26949368926420671020138892008/143754758\ 708999634264542437*c_1001_11^6 - 33957450615015334908268797895/1437\ 54758708999634264542437*c_1001_11^5 + 27756130948701351229577309828/143754758708999634264542437*c_1001_11\ ^4 - 16217224220548233618475775103/143754758708999634264542437*c_10\ 01_11^3 + 4013744810754833355267594994/143754758708999634264542437*\ c_1001_11^2 + 940406429877886905536990273/1437547587089996342645424\ 37*c_1001_11 - 2503711884698478317100013912/14375475870899963426454\ 2437, c_0011_3 + 1117113050023243831294208/143754758708999634264542437*c_1001\ _11^11 + 1650062012614931352236764/143754758708999634264542437*c_10\ 01_11^10 - 6307289526449322680551768/143754758708999634264542437*c_\ 1001_11^9 + 84769902623196164961710965/143754758708999634264542437*\ c_1001_11^8 - 190831569717296070595125750/1437547587089996342645424\ 37*c_1001_11^7 + 510735515782515010520896675/1437547587089996342645\ 42437*c_1001_11^6 - 500933226337712078284496099/1437547587089996342\ 64542437*c_1001_11^5 + 577948116817422671873670559/1437547587089996\ 34264542437*c_1001_11^4 + 78587036813264295707495083/14375475870899\ 9634264542437*c_1001_11^3 + 21937757213478330828838925/143754758708\ 999634264542437*c_1001_11^2 + 183048312385845963878308178/143754758\ 708999634264542437*c_1001_11 + 1376057810446312563092513/1437547587\ 08999634264542437, c_0011_6 + 13517813553714384986252800/143754758708999634264542437*c_100\ 1_11^11 - 78876485697781357357608536/143754758708999634264542437*c_\ 1001_11^10 + 381362178595447006845524161/14375475870899963426454243\ 7*c_1001_11^9 - 1100264423705532644297845788/1437547587089996342645\ 42437*c_1001_11^8 + 2595819148269038818063825762/143754758708999634\ 264542437*c_1001_11^7 - 4214940937291466686872365522/14375475870899\ 9634264542437*c_1001_11^6 + 5524446622864751420422535457/1437547587\ 08999634264542437*c_1001_11^5 - 4892690425254290733847659009/143754\ 758708999634264542437*c_1001_11^4 + 3537742500230019686152086232/143754758708999634264542437*c_1001_11^\ 3 - 1604024454619857438512372225/143754758708999634264542437*c_1001\ _11^2 + 619976364353034955143898761/143754758708999634264542437*c_1\ 001_11 + 8807806467574817085413192/143754758708999634264542437, c_0101_0 + 21356010468334959661067136/143754758708999634264542437*c_100\ 1_11^11 - 128101844929684234023738766/143754758708999634264542437*c\ _1001_11^10 + 620230914237321334519873644/1437547587089996342645424\ 37*c_1001_11^9 - 1817400798358404194793653151/143754758708999634264\ 542437*c_1001_11^8 + 4288982216310660428707878597/14375475870899963\ 4264542437*c_1001_11^7 - 7032453573445643698981780334/1437547587089\ 99634264542437*c_1001_11^6 + 9102387026539264188655913463/143754758\ 708999634264542437*c_1001_11^5 - 8035423072238084307138735193/14375\ 4758708999634264542437*c_1001_11^4 + 5425362051364503558508626977/143754758708999634264542437*c_1001_11^\ 3 - 2459688457244022244322103029/143754758708999634264542437*c_1001\ _11^2 + 514800140785680691996780502/143754758708999634264542437*c_1\ 001_11 + 143891743087100655024530888/143754758708999634264542437, c_0101_1 - 1, c_0101_12 - 42685891842558776982251264/143754758708999634264542437*c_10\ 01_11^11 + 265205093668800065234734748/143754758708999634264542437*\ c_1001_11^10 - 1305315812944492412913763673/14375475870899963426454\ 2437*c_1001_11^9 + 3961266027732805557374797668/1437547587089996342\ 64542437*c_1001_11^8 - 9638273061773089537794935659/143754758708999\ 634264542437*c_1001_11^7 + 16680299075878238282793906948/1437547587\ 08999634264542437*c_1001_11^6 - 22870818324732636778444293871/14375\ 4758708999634264542437*c_1001_11^5 + 22266423874285601646864346716/143754758708999634264542437*c_1001_11\ ^4 - 16634726379306996708041533865/143754758708999634264542437*c_10\ 01_11^3 + 8474302064505527546414287084/143754758708999634264542437*\ c_1001_11^2 - 2827464975164441184916783614/143754758708999634264542\ 437*c_1001_11 + 1757898121418341088415552/1437547587089996342645424\ 37, c_0101_3 + 37604452407801835646551872/143754758708999634264542437*c_100\ 1_11^11 - 240163371279929265544661293/143754758708999634264542437*c\ _1001_11^10 + 1178793871975372854703330143/143754758708999634264542\ 437*c_1001_11^9 - 3630513235234622719127034362/14375475870899963426\ 4542437*c_1001_11^8 + 8812010495485196215513565835/1437547587089996\ 34264542437*c_1001_11^7 - 15427544792412624871445022522/14375475870\ 8999634264542437*c_1001_11^6 + 21005585002729319836933198800/143754\ 758708999634264542437*c_1001_11^5 - 20672870803042067144213859869/143754758708999634264542437*c_1001_11\ ^4 + 15114157156997058953734723241/143754758708999634264542437*c_10\ 01_11^3 - 7855981493695794956279132207/143754758708999634264542437*\ c_1001_11^2 + 2520790044291767613649139291/143754758708999634264542\ 437*c_1001_11 + 16842047462092491496300155/143754758708999634264542\ 437, c_0101_5 + 2274065744200844501848320/143754758708999634264542437*c_1001\ _11^11 - 2185844432375484338389572/143754758708999634264542437*c_10\ 01_11^10 + 9260814022423637921393487/143754758708999634264542437*c_\ 1001_11^9 + 76752685803059218560023215/143754758708999634264542437*\ c_1001_11^8 - 238214084636269026278928040/1437547587089996342645424\ 37*c_1001_11^7 + 825903846558772086118740843/1437547587089996342645\ 42437*c_1001_11^6 - 1285030639584675703061668403/143754758708999634\ 264542437*c_1001_11^5 + 1907179215981277074133100544/14375475870899\ 9634264542437*c_1001_11^4 - 1428136192288527210939008497/1437547587\ 08999634264542437*c_1001_11^3 + 978076270299114531604420972/1437547\ 58708999634264542437*c_1001_11^2 - 255860120723273396906403402/143754758708999634264542437*c_1001_11 - 5431900526328504495985665/143754758708999634264542437, c_0101_8 - 284535114381786916456768/143754758708999634264542437*c_1001_\ 11^11 - 3112216369403634386734923/143754758708999634264542437*c_100\ 1_11^10 + 15835522007705076147277925/143754758708999634264542437*c_\ 1001_11^9 - 92287645480550789614344947/143754758708999634264542437*\ c_1001_11^8 + 249304057624899351335160185/1437547587089996342645424\ 37*c_1001_11^7 - 624192318676107460657786361/1437547587089996342645\ 42437*c_1001_11^6 + 926459608641439722986395042/1437547587089996342\ 64542437*c_1001_11^5 - 1237868428958415204806787230/143754758708999\ 634264542437*c_1001_11^4 + 775834921948746747017621887/143754758708\ 999634264542437*c_1001_11^3 - 500179983670776077059114326/143754758\ 708999634264542437*c_1001_11^2 - 68914071352583636540134342/1437547\ 58708999634264542437*c_1001_11 + 4258470928432277015638596/14375475\ 8708999634264542437, c_1001_1 - 2745303976527788814444672/143754758708999634264542437*c_1001\ _11^11 + 21984877539990577600615938/143754758708999634264542437*c_1\ 001_11^10 - 111799553830677517133580737/143754758708999634264542437\ *c_1001_11^9 + 384909287672624417791919886/143754758708999634264542\ 437*c_1001_11^8 - 984195283452507888704183373/143754758708999634264\ 542437*c_1001_11^7 + 1918498825799577928667299250/14375475870899963\ 4264542437*c_1001_11^6 - 2839534266531981678853816285/1437547587089\ 99634264542437*c_1001_11^5 + 3327355690900516857363996798/143754758\ 708999634264542437*c_1001_11^4 - 2901614796284612563635125387/14375\ 4758708999634264542437*c_1001_11^3 + 2070026024548405515063508919/143754758708999634264542437*c_1001_11^\ 2 - 805603929548300583811542906/143754758708999634264542437*c_1001_\ 11 + 102468535971318690476862572/143754758708999634264542437, c_1001_11^12 - 401/64*c_1001_11^11 + 123/4*c_1001_11^10 - 2993/32*c_1001_11^9 + 7249/32*c_1001_11^8 - 12519/32*c_1001_11^7 + 531*c_1001_11^6 - 8195/16*c_1001_11^5 + 24007/64*c_1001_11^4 - 12121/64*c_1001_11^3 + 4029/64*c_1001_11^2 + 31/32*c_1001_11 + 11/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB