Magma V2.19-8 Tue Aug 20 2013 16:14:20 on localhost [Seed = 1848635981] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s308 geometric_solution 4.47424448 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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.398408924697 0.193608243548 2 0 3 0 0132 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571107605271 0.793112469311 1 4 3 3 0132 0132 3012 1230 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 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.203167215975 1.445587929305 2 2 4 1 3012 1230 3201 0132 0 0 0 0 0 0 0 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 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 1.203167215975 1.445587929305 3 2 5 5 2310 0132 2310 0132 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 0 0 0 1 0 -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 0 -0.384546891635 0.546385374655 5 4 4 5 3201 3201 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.563592959103 1.085841401097 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : 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' : negation(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' : d['1'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 13839019539218114678906213838283/249502931850598354316109997569*c_0\ 101_3^16 - 46486815531604620431659647468323/16633528790039890287740\ 6665046*c_0101_3^15 - 592286212493549266547760958813847/24950293185\ 0598354316109997569*c_0101_3^14 + 469009223709382197841213132085515\ /71286551957313815518888570734*c_0101_3^13 - 210914080612874985033062321472741/166335287900398902877406665046*c_\ 0101_3^12 - 5140105585911150412351029345522041/16633528790039890287\ 7406665046*c_0101_3^11 + 29695719273474095194158982077825589/499005\ 863701196708632219995138*c_0101_3^10 + 26292358112307194663360221815678818/249502931850598354316109997569*\ c_0101_3^9 - 31068704195052330826788328261268965/249502931850598354\ 316109997569*c_0101_3^8 - 18999019022674190732112102401216721/83167\ 643950199451438703332523*c_0101_3^7 + 26575143067210654009905247182864347/249502931850598354316109997569*\ c_0101_3^6 + 91500335665027933364849255470778545/499005863701196708\ 632219995138*c_0101_3^5 - 12287758073608668862249597516987531/49900\ 5863701196708632219995138*c_0101_3^4 - 4193708231281754667897144879645332/83167643950199451438703332523*c_\ 0101_3^3 + 335194445432174160813177292025859/1663352879003989028774\ 06665046*c_0101_3^2 + 2275883697916337233173752524467199/4990058637\ 01196708632219995138*c_0101_3 - 39566166922125951467169206383264/83\ 167643950199451438703332523, c_0011_0 - 1, c_0011_1 + 817091134227500702040952883/11881091992885635919814761789*c_\ 0101_3^16 - 3687498062168162729737639900/11881091992885635919814761\ 789*c_0101_3^15 - 37003669065773939669172705530/1188109199288563591\ 9814761789*c_0101_3^14 + 77973800998341640375284945067/118810919928\ 85635919814761789*c_0101_3^13 + 26231268530635969663422556235/11881\ 091992885635919814761789*c_0101_3^12 - 453843788946850216230398400196/11881091992885635919814761789*c_0101\ _3^11 + 643718280288750932137645103344/1188109199288563591981476178\ 9*c_0101_3^10 + 1941186331220672444233428743512/1188109199288563591\ 9814761789*c_0101_3^9 - 928333604237769677696386056811/118810919928\ 85635919814761789*c_0101_3^8 - 4001984885737144191292575333730/1188\ 1091992885635919814761789*c_0101_3^7 - 286607771868651424395568714561/11881091992885635919814761789*c_0101\ _3^6 + 2892519697297598540558868247422/1188109199288563591981476178\ 9*c_0101_3^5 + 908234334249844485466726299749/118810919928856359198\ 14761789*c_0101_3^4 - 521341530714225937926308828290/11881091992885\ 635919814761789*c_0101_3^3 - 174168497437871853445148136318/1188109\ 1992885635919814761789*c_0101_3^2 + 32173634207604694561854932857/11881091992885635919814761789*c_0101_\ 3 - 2514453276932466803573413907/11881091992885635919814761789, c_0011_3 + 599744039333733952638665138/11881091992885635919814761789*c_\ 0101_3^16 - 2732521891263124442630432847/11881091992885635919814761\ 789*c_0101_3^15 - 27188623316127102011835039206/1188109199288563591\ 9814761789*c_0101_3^14 + 59088605270989214877586209544/118810919928\ 85635919814761789*c_0101_3^13 + 23174955440179228562749989119/11881\ 091992885635919814761789*c_0101_3^12 - 348921551309677542348426705302/11881091992885635919814761789*c_0101\ _3^11 + 486585792809223596180352767668/1188109199288563591981476178\ 9*c_0101_3^10 + 1481885187289521510235264214330/1188109199288563591\ 9814761789*c_0101_3^9 - 873348975333354540179086447626/118810919928\ 85635919814761789*c_0101_3^8 - 3209032386323957288417614635596/1188\ 1091992885635919814761789*c_0101_3^7 + 115691395618626439483985946578/11881091992885635919814761789*c_0101\ _3^6 + 2730803590935854620039582195395/1188109199288563591981476178\ 9*c_0101_3^5 + 551528779371654427753833455040/118810919928856359198\ 14761789*c_0101_3^4 - 773998408505667107316602932202/11881091992885\ 635919814761789*c_0101_3^3 - 213031257167353231539807405992/1188109\ 1992885635919814761789*c_0101_3^2 + 49059939594954678667806233051/11881091992885635919814761789*c_0101_\ 3 + 8042422465093460401865117687/11881091992885635919814761789, c_0011_5 + 572851851344475116259384428/11881091992885635919814761789*c_\ 0101_3^16 - 2761761472975027415405403809/11881091992885635919814761\ 789*c_0101_3^15 - 25084886951726208047337504054/1188109199288563591\ 9814761789*c_0101_3^14 + 62308587254819064079612635097/118810919928\ 85635919814761789*c_0101_3^13 - 854343068558532742528158041/1188109\ 1992885635919814761789*c_0101_3^12 - 314829148645239166253242661630/11881091992885635919814761789*c_0101\ _3^11 + 542451219458318725050539386510/1188109199288563591981476178\ 9*c_0101_3^10 + 1189993708532864445037538187607/1188109199288563591\ 9814761789*c_0101_3^9 - 981820480699039778935824826264/118810919928\ 85635919814761789*c_0101_3^8 - 2539448711599894213913651845069/1188\ 1091992885635919814761789*c_0101_3^7 + 458827157069371452712047031604/11881091992885635919814761789*c_0101\ _3^6 + 1946072752561578058831186078382/1188109199288563591981476178\ 9*c_0101_3^5 + 285985022832928235311772327479/118810919928856359198\ 14761789*c_0101_3^4 - 455191515210852928898472796982/11881091992885\ 635919814761789*c_0101_3^3 - 149313254078713685823864913444/1188109\ 1992885635919814761789*c_0101_3^2 + 20611349105907147900133941002/11881091992885635919814761789*c_0101_\ 3 + 4183587108430439623827889268/11881091992885635919814761789, c_0101_0 - 1372151999428683429993923844/11881091992885635919814761789*c\ _0101_3^16 + 6790436091417960339524580491/1188109199288563591981476\ 1789*c_0101_3^15 + 59226031407415207831600383546/118810919928856359\ 19814761789*c_0101_3^14 - 156853552541099390591723561865/1188109199\ 2885635919814761789*c_0101_3^13 + 21818758686942391005300885467/118\ 81091992885635919814761789*c_0101_3^12 + 752527450751571994180621776194/11881091992885635919814761789*c_0101\ _3^11 - 1397388808451485169688795997246/118810919928856359198147617\ 89*c_0101_3^10 - 2677550534347045771679161158417/118810919928856359\ 19814761789*c_0101_3^9 + 2711574074809260232618771084308/1188109199\ 2885635919814761789*c_0101_3^8 + 5732816489203935300914985838635/11\ 881091992885635919814761789*c_0101_3^7 - 1880215098291090941598469899077/11881091992885635919814761789*c_010\ 1_3^6 - 4357039115317646624697710991528/118810919928856359198147617\ 89*c_0101_3^5 + 18184438203452191523338427020/118810919928856359198\ 14761789*c_0101_3^4 + 1059688366173793771837429585318/1188109199288\ 5635919814761789*c_0101_3^3 + 66945677479186088689477529959/1188109\ 1992885635919814761789*c_0101_3^2 - 98606693757761321006267061964/11881091992885635919814761789*c_0101_\ 3 + 1202702563683268190275138130/11881091992885635919814761789, c_0101_3^17 - 5*c_0101_3^16 - 43*c_0101_3^15 + 117*c_0101_3^14 - 18*c_0101_3^13 - 559*c_0101_3^12 + 1052*c_0101_3^11 + 1945*c_0101_3^10 - 2181*c_0101_3^9 - 4214*c_0101_3^8 + 1783*c_0101_3^7 + 3400*c_0101_3^6 - 343*c_0101_3^5 - 942*c_0101_3^4 + 13*c_0101_3^3 + 89*c_0101_3^2 - 7*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB