Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 1157945708] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0039 geometric_solution 3.60742917 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.577833147674 0.012574660583 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.468832023468 0.054942725542 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.779311465005 1.206924561354 2 2 5 4 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.776952282820 0.950310776516 5 6 3 6 1230 0132 0132 2310 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 -1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.198730930929 0.411350907728 6 4 6 3 3201 3012 1023 0132 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 1 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.198730930929 0.411350907728 4 4 5 5 3201 0132 1023 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 -1 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.987706966510 0.507063323578 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(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' : 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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], '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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0011_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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 4646500525062295068283853074531/45986597077659694318124649561888*c_\ 0101_5^16 + 21668212832232610663398306936031/2299329853882984715906\ 2324780944*c_0101_5^15 - 70531622159902862604143698125491/459865970\ 77659694318124649561888*c_0101_5^14 + 45128765778967561856829051765151/2189837956079033062767840455328*c_\ 0101_5^13 - 223784303291277467315533939326539/114966492694149235795\ 31162390472*c_0101_5^12 + 6543780780626888829183999682674941/459865\ 97077659694318124649561888*c_0101_5^11 - 703500022704606756301219236024161/22993298538829847159062324780944*\ c_0101_5^10 + 21861644272860469576263889141023169/45986597077659694\ 318124649561888*c_0101_5^9 + 86671654294807878489420592642873/63870\ 2737189717976640620132804*c_0101_5^8 + 10047508782011494848135052529283811/1149664926941492357953116239047\ 2*c_0101_5^7 + 665970772133591244765599130652231/164237846705927479\ 7075880341496*c_0101_5^6 + 392572331344522380787763264723300/479027\ 052892288482480465099603*c_0101_5^5 + 15617702391905083091359815571057691/4598659707765969431812464956188\ 8*c_0101_5^4 + 821524027367997230262126345804711/255481094875887190\ 6562480531216*c_0101_5^3 + 12553509359271840685354406559661/4790270\ 52892288482480465099603*c_0101_5^2 + 30948260498162978607251800951645/1437081158676865447441395298809*c_\ 0101_5 - 29791643170986183953211804716698/1437081158676865447441395\ 298809, c_0011_0 - 1, c_0011_4 - 17418603477637614169529007/8901780309264362043771709168*c_01\ 01_5^16 - 77250144982007743407501279/4450890154632181021885854584*c\ _0101_5^15 + 336684950213540545316398353/89017803092643620437717091\ 68*c_0101_5^14 - 527807294504268721296041635/1271682901323480291967\ 387024*c_0101_5^13 + 623626874135752062489568545/111272253865804525\ 5471463646*c_0101_5^12 - 26318736908502345117980996331/890178030926\ 4362043771709168*c_0101_5^11 + 4024752189061429943377729075/2225445\ 077316090510942927292*c_0101_5^10 - 84789000232877622551567767873/8901780309264362043771709168*c_0101_5\ ^9 + 1184850552314317621383728925/1112722538658045255471463646*c_01\ 01_5^8 - 69435837484855988900989784863/4450890154632181021885854584\ *c_0101_5^7 - 999030893774527317824933747/6358414506617401459836935\ 12*c_0101_5^6 - 53294016077391287504015702585/445089015463218102188\ 5854584*c_0101_5^5 - 4525072542395744618831017693/89017803092643620\ 43771709168*c_0101_5^4 - 3301962137364051744055887451/1112722538658\ 045255471463646*c_0101_5^3 + 3581170297461878282137826427/222544507\ 7316090510942927292*c_0101_5^2 - 197715702366520901560404157/556361\ 269329022627735731823*c_0101_5 + 44593272307260694238451855/5563612\ 69329022627735731823, c_0101_0 - 176073808326628299492245929/17803560618528724087543418336*c_\ 0101_5^16 - 1612880992546740504925063011/17803560618528724087543418\ 336*c_0101_5^15 + 183308915554663687719792955/111272253865804525547\ 1463646*c_0101_5^14 - 5210365655145477072227638961/2543365802646960\ 583934774048*c_0101_5^13 + 40161380903991440463057639401/1780356061\ 8528724087543418336*c_0101_5^12 - 16021719969420507515954610281/111\ 2722538658045255471463646*c_0101_5^11 + 3061266472836169178859454146/556361269329022627735731823*c_0101_5^1\ 0 - 855000921666550370965089491815/17803560618528724087543418336*c_\ 0101_5^9 - 93888509519490147672726257447/17803560618528724087543418\ 336*c_0101_5^8 - 1531253630718638553291121391077/178035606185287240\ 87543418336*c_0101_5^7 - 69686993476760305586240582913/254336580264\ 6960583934774048*c_0101_5^6 - 1373867233089383821813836135257/17803\ 560618528724087543418336*c_0101_5^5 - 15041050911425909796279580796/556361269329022627735731823*c_0101_5^\ 4 - 127923723363576866025674822445/4450890154632181021885854584*c_0\ 101_5^3 - 3784439770545098962626013261/556361269329022627735731823*\ c_0101_5^2 - 2867872266969347292781117917/1112722538658045255471463\ 646*c_0101_5 - 744810481052636933502765861/556361269329022627735731\ 823, c_0101_1 + 187330278626562915427694079/17803560618528724087543418336*c_\ 0101_5^16 + 1673105675848643211994411563/17803560618528724087543418\ 336*c_0101_5^15 - 1751811222213403211166143161/89017803092643620437\ 71709168*c_0101_5^14 + 5662584129265752452411291003/254336580264696\ 0583934774048*c_0101_5^13 - 51508022704943949656849668669/178035606\ 18528724087543418336*c_0101_5^12 + 141925332551854032472036121695/8901780309264362043771709168*c_0101_\ 5^11 - 40616682278900918928477733929/4450890154632181021885854584*c\ _0101_5^10 + 937754972327235972766372231337/17803560618528724087543\ 418336*c_0101_5^9 - 69546675432373992735892130549/17803560618528724\ 087543418336*c_0101_5^8 + 1617077554402643447927568375905/178035606\ 18528724087543418336*c_0101_5^7 + 40438289040093068296608419005/254\ 3365802646960583934774048*c_0101_5^6 + 1377459588889151942558227467725/17803560618528724087543418336*c_010\ 1_5^5 + 189018360042501087081963465897/8901780309264362043771709168\ *c_0101_5^4 + 29357258021996239053267096717/11127225386580452554714\ 63646*c_0101_5^3 + 3464760197110774765782505748/5563612693290226277\ 35731823*c_0101_5^2 + 2774627123509913637232923315/1112722538658045\ 255471463646*c_0101_5 + 861911491868497206029721365/556361269329022\ 627735731823, c_0101_2 + 4274163067813792887480043/2225445077316090510942927292*c_010\ 1_5^16 + 180698521047700716983640831/8901780309264362043771709168*c\ _0101_5^15 - 64873894780444689174029807/890178030926436204377170916\ 8*c_0101_5^14 + 55678836109073676188764363/158960362665435036495923\ 378*c_0101_5^13 + 966091313649101857127510853/890178030926436204377\ 1709168*c_0101_5^12 + 19551680830589708590579597909/890178030926436\ 2043771709168*c_0101_5^11 + 5657874692672556701030360711/2225445077\ 316090510942927292*c_0101_5^10 + 4528935342272737212285803700/55636\ 1269329022627735731823*c_0101_5^9 + 106667589882088635944274399393/8901780309264362043771709168*c_0101_\ 5^8 + 167252783220669391251456053577/8901780309264362043771709168*c\ _0101_5^7 + 28664468808661965123171359385/1271682901323480291967387\ 024*c_0101_5^6 + 190764612895749100265983621845/8901780309264362043\ 771709168*c_0101_5^5 + 155002949937630876567706345239/8901780309264\ 362043771709168*c_0101_5^4 + 22886035237998309094074731085/22254450\ 77316090510942927292*c_0101_5^3 + 2198903406075698524560126444/5563\ 61269329022627735731823*c_0101_5^2 + 621851178811188328505190147/1112722538658045255471463646*c_0101_5 + 304024854407576675426492860/556361269329022627735731823, c_0101_3 + 2965375443358204374249333/8901780309264362043771709168*c_010\ 1_5^16 + 2108482874574950855151917/556361269329022627735731823*c_01\ 01_5^15 - 778032689951868921746345/8901780309264362043771709168*c_0\ 101_5^14 + 56299618340970056255196545/1271682901323480291967387024*\ c_0101_5^13 + 425051014776864735559424297/4450890154632181021885854\ 584*c_0101_5^12 + 620133100022301049558960483/890178030926436204377\ 1709168*c_0101_5^11 + 2337447445408850595040984495/2225445077316090\ 510942927292*c_0101_5^10 - 2231232772106571993135434949/89017803092\ 64362043771709168*c_0101_5^9 + 14950020446561218469684169425/445089\ 0154632181021885854584*c_0101_5^8 - 1474930238202480066612896411/2225445077316090510942927292*c_0101_5^\ 7 + 1075017764684060238823580033/317920725330870072991846756*c_0101\ _5^6 - 553698774132090962651153966/556361269329022627735731823*c_01\ 01_5^5 - 532691748969983810737573835/8901780309264362043771709168*c\ _0101_5^4 - 449184804131024679346934721/111272253865804525547146364\ 6*c_0101_5^3 - 1942294333379701270323637571/22254450773160905109429\ 27292*c_0101_5^2 + 17895089098727899140197581/556361269329022627735\ 731823*c_0101_5 + 288355728195482628206309745/556361269329022627735\ 731823, c_0101_5^17 + 9*c_0101_5^16 - 18*c_0101_5^15 + 211*c_0101_5^14 - 263*c_0101_5^13 + 1518*c_0101_5^12 - 812*c_0101_5^11 + 5127*c_0101_5^10 - 287*c_0101_5^9 + 9259*c_0101_5^8 + 1481*c_0101_5^7 + 8623*c_0101_5^6 + 1778*c_0101_5^5 + 3680*c_0101_5^4 + 384*c_0101_5^3 + 656*c_0101_5^2 + 96*c_0101_5 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB