Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 3035965522] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0754 geometric_solution 4.69831143 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 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 1 -1 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.039808700042 0.323202819892 0 3 4 3 0132 2310 0132 0321 0 0 0 0 0 -1 0 1 0 0 0 0 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 0 0 0 0 1 -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.394517820181 1.295578098348 0 0 5 5 2310 0132 2310 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.445817406657 3.815647621665 4 1 0 1 2310 0321 0132 3201 0 0 0 0 0 -1 0 1 -1 0 0 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 0 1 -1 1 0 0 -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.394517820181 1.295578098348 6 6 3 1 0132 3201 3201 0132 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 0 0 0 0 0 0 1 -1 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.386908084159 0.733615563321 5 2 2 5 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.127372877781 0.115045319557 4 6 4 6 0132 2310 2310 3201 0 0 0 0 0 1 -1 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 -1 1 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.940255377508 0.567118654427 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(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_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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : 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_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0011_5, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 178120629928733361510993252/14728674930883164080323*c_0101_4^23 + 59070051107679394943372170223/250387473825013789365491*c_0101_4^22 + 53308577888682882113931071778/250387473825013789365491*c_0101_4^21 - 1427199135695553345151659901717/250387473825013789365491*c_0101_4^2\ 0 + 3436668306608806428253709575232/250387473825013789365491*c_0101\ _4^19 - 315920488319948956011695806396/19260574909616445335807*c_01\ 01_4^18 + 129099184342416771932861765341/19260574909616445335807*c_\ 0101_4^17 + 195232083623044316279902525590/14728674930883164080323*\ c_0101_4^16 - 8704644623109790846520187471715/250387473825013789365\ 491*c_0101_4^15 + 12741812960782017137480444024330/2503874738250137\ 89365491*c_0101_4^14 - 13923710013804805806563207805537/25038747382\ 5013789365491*c_0101_4^13 + 819629249723580203570222106405/19260574\ 909616445335807*c_0101_4^12 - 2988730187148788867786911238624/25038\ 7473825013789365491*c_0101_4^11 - 5725163492915562138525302890536/2\ 50387473825013789365491*c_0101_4^10 + 10703800699539033843459647139113/250387473825013789365491*c_0101_4^\ 9 - 9720075557712343948588096343095/250387473825013789365491*c_0101\ _4^8 + 4870340019222074820096595712691/250387473825013789365491*c_0\ 101_4^7 - 165301435133631226538167275816/250387473825013789365491*c\ _0101_4^6 - 1993555303273926157757168283480/25038747382501378936549\ 1*c_0101_4^5 + 145363005404395803453882840212/192605749096164453358\ 07*c_0101_4^4 - 1001445691192296808115791626262/2503874738250137893\ 65491*c_0101_4^3 + 25873685196824439549490320413/192605749096164453\ 35807*c_0101_4^2 - 67377132150422678067155855622/250387473825013789\ 365491*c_0101_4 + 6134432463083208462283050780/25038747382501378936\ 5491, c_0011_0 - 1, c_0011_3 + 765366670678426682870609/19260574909616445335807*c_0101_4^23 - 14753240170676806868171701/19260574909616445335807*c_0101_4^22 - 16794545530386989353354048/19260574909616445335807*c_0101_4^21 + 355050133348703044853316102/19260574909616445335807*c_0101_4^20 - 789575914469275973724689231/19260574909616445335807*c_0101_4^19 + 898105076918707315597474782/19260574909616445335807*c_0101_4^18 - 290486158561281810903881118/19260574909616445335807*c_0101_4^17 - 838039859887364195123928179/19260574909616445335807*c_0101_4^16 + 2010106557334018956171861053/19260574909616445335807*c_0101_4^15 - 2858458019044677953896400040/19260574909616445335807*c_0101_4^14 + 3048538876894368609982249976/19260574909616445335807*c_0101_4^13 - 2233168590777951083633080536/19260574909616445335807*c_0101_4^12 + 475716902366829240136142210/19260574909616445335807*c_0101_4^11 + 1417819513405481476898544318/19260574909616445335807*c_0101_4^10 - 2400670548766663619743055038/19260574909616445335807*c_0101_4^9 + 2065373807047466579910081800/19260574909616445335807*c_0101_4^8 - 956783233696952721484352486/19260574909616445335807*c_0101_4^7 - 41148579103872607391334564/19260574909616445335807*c_0101_4^6 + 455781489437438363898914533/19260574909616445335807*c_0101_4^5 - 399339754166227984056246682/19260574909616445335807*c_0101_4^4 + 201408072212739914231168151/19260574909616445335807*c_0101_4^3 - 64554080354779026482466938/19260574909616445335807*c_0101_4^2 + 12250124386426199938518578/19260574909616445335807*c_0101_4 - 1047948399877562668005322/19260574909616445335807, c_0011_4 + 76192590328964860877675/19260574909616445335807*c_0101_4^23 - 1479840227929202392584704/19260574909616445335807*c_0101_4^22 - 1463253916543415784474603/19260574909616445335807*c_0101_4^21 + 35711055849608362501584564/19260574909616445335807*c_0101_4^20 - 83644919115653720132472589/19260574909616445335807*c_0101_4^19 + 97952880851531036207497867/19260574909616445335807*c_0101_4^18 - 2082734597191523567330909/1132974994683320313871*c_0101_4^17 - 86052569347701528383337498/19260574909616445335807*c_0101_4^16 + 213862000585316510545134333/19260574909616445335807*c_0101_4^15 - 305904816471510204192645256/19260574909616445335807*c_0101_4^14 + 328726665248306330059986033/19260574909616445335807*c_0101_4^13 - 244529856026042943410116057/19260574909616445335807*c_0101_4^12 + 57124287015234096852405436/19260574909616445335807*c_0101_4^11 + 149731812603539610282113268/19260574909616445335807*c_0101_4^10 - 260930580769850128755122851/19260574909616445335807*c_0101_4^9 + 227573654189702268413922576/19260574909616445335807*c_0101_4^8 - 106439954714423553795256795/19260574909616445335807*c_0101_4^7 - 4441495075301305348546292/19260574909616445335807*c_0101_4^6 + 50897323020574280693172883/19260574909616445335807*c_0101_4^5 - 44383217445660559867306385/19260574909616445335807*c_0101_4^4 + 21983896337306642272736572/19260574909616445335807*c_0101_4^3 - 6817929120374835918674954/19260574909616445335807*c_0101_4^2 + 1205354456733149975312724/19260574909616445335807*c_0101_4 - 5856775169437992089986/1132974994683320313871, c_0011_5 + 9183089747026477683892020/19260574909616445335807*c_0101_4^2\ 3 - 178884616071153786016964988/19260574909616445335807*c_0101_4^22 - 166554330856314962794504284/19260574909616445335807*c_0101_4^21 + 4321800094762701360378279979/19260574909616445335807*c_0101_4^20 - 10303581054455142928241420399/19260574909616445335807*c_0101_4^19 + 12212381531945351455551198244/19260574909616445335807*c_0101_4^18 - 4854622857018868429563201789/19260574909616445335807*c_0101_4^17 - 10088620831278997859454074399/19260574909616445335807*c_0101_4^16 + 26088783212743586389291379204/19260574909616445335807*c_0101_4^15 - 38035207437287268281209829224/19260574909616445335807*c_0101_4^14 + 41427861517737246125503258713/19260574909616445335807*c_0101_4^13 - 31515449843823854313980708766/19260574909616445335807*c_0101_4^12 + 8556483770069464315615077014/19260574909616445335807*c_0101_4^11 + 17343359825786351628348331660/19260574909616445335807*c_0101_4^10 - 31949513246946923872451958965/19260574909616445335807*c_0101_4^9 + 28794130482225226138610200541/19260574909616445335807*c_0101_4^8 - 14277653602270543551155580736/19260574909616445335807*c_0101_4^7 + 346109965943409281184249999/19260574909616445335807*c_0101_4^6 + 5964245973389064498864669398/19260574909616445335807*c_0101_4^5 - 5591676128359281579825674815/19260574909616445335807*c_0101_4^4 + 2944651802551571993505516278/19260574909616445335807*c_0101_4^3 - 983635545327798110282286133/19260574909616445335807*c_0101_4^2 + 196015920505679984739134856/19260574909616445335807*c_0101_4 - 17796990465359910957062680/19260574909616445335807, c_0101_1 + 282581729199135985134713/19260574909616445335807*c_0101_4^23 - 320021244482118812297890/1132974994683320313871*c_0101_4^22 - 6342281839310318858860229/19260574909616445335807*c_0101_4^21 + 131170553062140046435884410/19260574909616445335807*c_0101_4^20 - 287919414814649148585269841/19260574909616445335807*c_0101_4^19 + 319140194377549219908027617/19260574909616445335807*c_0101_4^18 - 92001709170392453801147584/19260574909616445335807*c_0101_4^17 - 314907831773151691548332945/19260574909616445335807*c_0101_4^16 + 729549419960615797274380076/19260574909616445335807*c_0101_4^15 - 1024049276132837972125664513/19260574909616445335807*c_0101_4^14 + 1082818931244296431716847724/19260574909616445335807*c_0101_4^13 - 778578128819625215459446614/19260574909616445335807*c_0101_4^12 + 8325538501305301953250182/1132974994683320313871*c_0101_4^11 + 31130408375849749948062940/1132974994683320313871*c_0101_4^10 - 860599543281172216002163374/19260574909616445335807*c_0101_4^9 + 721300223579805006973207062/19260574909616445335807*c_0101_4^8 - 319750406465128046874537572/19260574909616445335807*c_0101_4^7 - 28022359896784534292510188/19260574909616445335807*c_0101_4^6 + 164325371781431072221109085/19260574909616445335807*c_0101_4^5 - 138333839480263061313884041/19260574909616445335807*c_0101_4^4 + 67843252742917083899980603/19260574909616445335807*c_0101_4^3 - 21175708998933230319823139/19260574909616445335807*c_0101_4^2 + 3887822049367099015424278/19260574909616445335807*c_0101_4 - 325256412104552077545286/19260574909616445335807, c_0101_2 - 2020309066896348970473710/19260574909616445335807*c_0101_4^2\ 3 + 39024275795915277178651577/19260574909616445335807*c_0101_4^22 + 42862448433691642812307023/19260574909616445335807*c_0101_4^21 - 940583909380674302178812686/19260574909616445335807*c_0101_4^20 + 2118564721468548320201365582/19260574909616445335807*c_0101_4^19 - 2416050581611887581992239734/19260574909616445335807*c_0101_4^18 + 800903829514127935377730408/19260574909616445335807*c_0101_4^17 + 2234594397918968099755986425/19260574909616445335807*c_0101_4^16 - 5384068431015905079371049134/19260574909616445335807*c_0101_4^15 + 7667890860257794769878719794/19260574909616445335807*c_0101_4^14 - 8190210286723635902476245794/19260574909616445335807*c_0101_4^13 + 6017946786485049044864079140/19260574909616445335807*c_0101_4^12 - 1304806074228489188645431744/19260574909616445335807*c_0101_4^11 - 3793720414246590390067478999/19260574909616445335807*c_0101_4^10 + 6454561970608846687342271154/19260574909616445335807*c_0101_4^9 - 5564849934561209686065042206/19260574909616445335807*c_0101_4^8 + 2580745468339107837863493984/19260574909616445335807*c_0101_4^7 + 110718231367125237770219627/19260574909616445335807*c_0101_4^6 - 1230098747315056669944430528/19260574909616445335807*c_0101_4^5 + 1076376256117621751631454700/19260574909616445335807*c_0101_4^4 - 31846745935930340452034845/1132974994683320313871*c_0101_4^3 + 172417000709137319321883624/19260574909616445335807*c_0101_4^2 - 32283526325971710446908205/19260574909616445335807*c_0101_4 + 2657567630499765669109104/19260574909616445335807, c_0101_4^24 - 20*c_0101_4^23 - 8*c_0101_4^22 + 480*c_0101_4^21 - 1367*c_0101_4^20 + 1915*c_0101_4^19 - 1222*c_0101_4^18 - 823*c_0101_4^17 + 3414*c_0101_4^16 - 5623*c_0101_4^15 + 6670*c_0101_4^14 - 5783*c_0101_4^13 + 2720*c_0101_4^12 + 1404*c_0101_4^11 - 4465*c_0101_4^10 + 4950*c_0101_4^9 - 3189*c_0101_4^8 + 847*c_0101_4^7 + 631*c_0101_4^6 - 948*c_0101_4^5 + 638*c_0101_4^4 - 274*c_0101_4^3 + 77*c_0101_4^2 - 13*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB