Magma V2.19-8 Tue Aug 20 2013 16:18:36 on localhost [Seed = 122067509] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2786 geometric_solution 6.02236814 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 1 0 -1 -1 0 1 0 -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.346406359465 0.405760360098 3 2 4 0 0132 3012 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 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.420041168444 0.879171620070 1 5 0 4 1230 0132 0132 2310 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 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.420041168444 0.879171620070 1 4 5 6 0132 0213 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 -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.208050668562 1.040776478935 2 5 3 1 3201 2031 0213 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 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.794360320473 0.786519753970 4 2 6 3 1302 0132 2310 0132 0 0 0 0 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.208050668562 1.040776478935 6 5 3 6 3201 3201 0132 2310 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 1 0 -1 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.184687552807 0.923902154425 ==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_2_6' : 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_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 118629360964434199693991541562/509734423826049820027847553*c_0101_1\ ^14 - 7074613538665549457639682717167/1019468847652099640055695106*\ c_0101_1^13 - 37199560128717978554214399922565/50973442382604982002\ 7847553*c_0101_1^12 - 25465389662625214752486154632775/339822949217\ 366546685231702*c_0101_1^11 + 205386023325132028212056272587002/509\ 734423826049820027847553*c_0101_1^10 + 28971936196843198148473739913215/113274316405788848895077234*c_0101\ _1^9 - 638398768515441007449048418705481/50973442382604982002784755\ 3*c_0101_1^8 + 1321488243546432295422683279408509/10194688476520996\ 40055695106*c_0101_1^7 - 758808698284008559650352209428777/10194688\ 47652099640055695106*c_0101_1^6 + 306581300831603856973994623551041\ /1019468847652099640055695106*c_0101_1^5 - 5199632092678807161937145665699/56637158202894424447538617*c_0101_1\ ^4 - 7357847550509061619259985603331/339822949217366546685231702*c_\ 0101_1^3 + 15240887243953378337451681975302/50973442382604982002784\ 7553*c_0101_1^2 - 73375507383627306621491711593/2427306780124046762\ 0373693*c_0101_1 - 667062427120291534631381901905/50973442382604982\ 0027847553, c_0011_0 - 1, c_0011_1 - 14555833827229534563603365/8091022600413489206791231*c_0101_\ 1^14 - 436564909194174198807991918/8091022600413489206791231*c_0101\ _1^13 - 4641163138128386309528617034/8091022600413489206791231*c_01\ 01_1^12 - 5516526578844913787368909461/8091022600413489206791231*c_\ 0101_1^11 + 24015017696254544203186543043/8091022600413489206791231\ *c_0101_1^10 + 19849103738191926439476471734/8091022600413489206791\ 231*c_0101_1^9 - 73851520208098323978658980840/80910226004134892067\ 91231*c_0101_1^8 + 69486926429299823533729164840/809102260041348920\ 6791231*c_0101_1^7 - 37507803485860738888002294740/8091022600413489\ 206791231*c_0101_1^6 + 14449717641733988262781866481/80910226004134\ 89206791231*c_0101_1^5 - 4114322239112962534251394374/8091022600413\ 489206791231*c_0101_1^4 - 1810491364014400583717405763/809102260041\ 3489206791231*c_0101_1^3 + 1515708358872074690055961186/80910226004\ 13489206791231*c_0101_1^2 - 51209824744864783270703864/809102260041\ 3489206791231*c_0101_1 - 56083570718763938305853279/809102260041348\ 9206791231, c_0011_2 - 14555833827229534563603365/8091022600413489206791231*c_0101_\ 1^14 - 436564909194174198807991918/8091022600413489206791231*c_0101\ _1^13 - 4641163138128386309528617034/8091022600413489206791231*c_01\ 01_1^12 - 5516526578844913787368909461/8091022600413489206791231*c_\ 0101_1^11 + 24015017696254544203186543043/8091022600413489206791231\ *c_0101_1^10 + 19849103738191926439476471734/8091022600413489206791\ 231*c_0101_1^9 - 73851520208098323978658980840/80910226004134892067\ 91231*c_0101_1^8 + 69486926429299823533729164840/809102260041348920\ 6791231*c_0101_1^7 - 37507803485860738888002294740/8091022600413489\ 206791231*c_0101_1^6 + 14449717641733988262781866481/80910226004134\ 89206791231*c_0101_1^5 - 4114322239112962534251394374/8091022600413\ 489206791231*c_0101_1^4 - 1810491364014400583717405763/809102260041\ 3489206791231*c_0101_1^3 + 1515708358872074690055961186/80910226004\ 13489206791231*c_0101_1^2 - 51209824744864783270703864/809102260041\ 3489206791231*c_0101_1 - 56083570718763938305853279/809102260041348\ 9206791231, c_0011_4 - 2337956760976416541520297/8091022600413489206791231*c_0101_1\ ^14 - 69539522643410143415585948/8091022600413489206791231*c_0101_1\ ^13 - 727722326109497452384154169/8091022600413489206791231*c_0101_\ 1^12 - 691501001625019336957617277/8091022600413489206791231*c_0101\ _1^11 + 4177759413922844000305734665/8091022600413489206791231*c_01\ 01_1^10 + 2389533052958992831687878766/8091022600413489206791231*c_\ 0101_1^9 - 13076150273985157020026470619/8091022600413489206791231*\ c_0101_1^8 + 13500504148452698356315828867/809102260041348920679123\ 1*c_0101_1^7 - 7565248613952724227268498177/80910226004134892067912\ 31*c_0101_1^6 + 2973496403708405329808169289/8091022600413489206791\ 231*c_0101_1^5 - 852901206519474244292801527/8091022600413489206791\ 231*c_0101_1^4 - 252059715927564336212908006/8091022600413489206791\ 231*c_0101_1^3 + 347864414588040631436274260/8091022600413489206791\ 231*c_0101_1^2 - 14420289930746406648895300/80910226004134892067912\ 31*c_0101_1 - 17177293283282151032261019/8091022600413489206791231, c_0011_6 + 7489553591817757644959047/8091022600413489206791231*c_0101_1\ ^14 + 224744941996683253088343695/8091022600413489206791231*c_0101_\ 1^13 + 2391524718503065111426462644/8091022600413489206791231*c_010\ 1_1^12 + 2875567767120324918638213351/8091022600413489206791231*c_0\ 101_1^11 - 12307963473939887741994592612/8091022600413489206791231*\ c_0101_1^10 - 10388405890567798362655241030/80910226004134892067912\ 31*c_0101_1^9 + 37839848380409168591427142890/809102260041348920679\ 1231*c_0101_1^8 - 35211191941010488776741924169/8091022600413489206\ 791231*c_0101_1^7 + 18763568851872892871857332242/80910226004134892\ 06791231*c_0101_1^6 - 7140288440517022863408896561/8091022600413489\ 206791231*c_0101_1^5 + 1958021360372162861408251733/809102260041348\ 9206791231*c_0101_1^4 + 1007002968358798286714668146/80910226004134\ 89206791231*c_0101_1^3 - 780611147462157178246816587/80910226004134\ 89206791231*c_0101_1^2 + 20641653596217445975688645/809102260041348\ 9206791231*c_0101_1 + 28217778378372372043733497/809102260041348920\ 6791231, c_0101_0 + 1758017156242842593553373/8091022600413489206791231*c_0101_1\ ^14 + 52309200104354483690943540/8091022600413489206791231*c_0101_1\ ^13 + 548125084618650757701097105/8091022600413489206791231*c_0101_\ 1^12 + 536504518701979954405732097/8091022600413489206791231*c_0101\ _1^11 - 3019713913074929610482605075/8091022600413489206791231*c_01\ 01_1^10 - 1633763648607817167812510498/8091022600413489206791231*c_\ 0101_1^9 + 9361559357749308825289838930/8091022600413489206791231*c\ _0101_1^8 - 10767259215892461210725363269/8091022600413489206791231\ *c_0101_1^7 + 6881723653286984699561555165/809102260041348920679123\ 1*c_0101_1^6 - 3095643478989596607102678235/80910226004134892067912\ 31*c_0101_1^5 + 1091873957908600359488999418/8091022600413489206791\ 231*c_0101_1^4 + 24008814696567417753468548/80910226004134892067912\ 31*c_0101_1^3 - 217113156056937654276334563/80910226004134892067912\ 31*c_0101_1^2 + 58278146947263701053625006/809102260041348920679123\ 1*c_0101_1 + 9639974595446540411827718/8091022600413489206791231, c_0101_1^15 + 30*c_0101_1^14 + 319*c_0101_1^13 + 379*c_0101_1^12 - 1673*c_0101_1^11 - 1414*c_0101_1^10 + 5183*c_0101_1^9 - 4591*c_0101_1^8 + 2181*c_0101_1^7 - 704*c_0101_1^6 + 154*c_0101_1^5 + 168*c_0101_1^4 - 113*c_0101_1^3 - 10*c_0101_1^2 + 8*c_0101_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB