Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 1309659786] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2332 geometric_solution 5.71907662 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -1 0 1 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.237060769772 0.288498134459 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -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 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.062713307940 1.780642226514 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 1 0 -1 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.076111738279 0.785499516593 5 4 2 1 3201 3201 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.076111738279 0.785499516593 4 4 3 2 1230 3012 2310 0132 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 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.183711206118 0.864720966278 6 6 2 3 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.029332097393 1.816062162037 5 6 6 5 0132 1230 3012 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.148880826828 0.424190631688 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], '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_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_3, c_0011_4, c_0011_5, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1777207721319534744481338289627/6638178761912042170707995836*c_0101\ _3^17 - 29622466743505440209560173335485/66381787619120421707079958\ 36*c_0101_3^16 + 118112928508126910989937033209453/6638178761912042\ 170707995836*c_0101_3^15 - 40570401836212168189577197130715/6638178\ 761912042170707995836*c_0101_3^14 - 668334655193729121623338228726431/6638178761912042170707995836*c_01\ 01_3^13 + 249523654440821838976640145910279/16595446904780105426769\ 98959*c_0101_3^12 + 1387062957014706789541542405635397/663817876191\ 2042170707995836*c_0101_3^11 - 850720231070121218168485012203621/16\ 59544690478010542676998959*c_0101_3^10 - 977150506091507080572473052554055/1659544690478010542676998959*c_01\ 01_3^9 + 27103494467979092272377046362563/1659544690478010542676998\ 959*c_0101_3^8 + 991251124857192254392534525166613/6638178761912042\ 170707995836*c_0101_3^7 + 691837746230297279308534762342595/6638178\ 761912042170707995836*c_0101_3^6 + 74048316678115271508544804168493/3319089380956021085353997918*c_010\ 1_3^5 - 11432990355785676267629909105369/22890271592800145416234468\ 4*c_0101_3^4 + 16732603379444403421795701673305/3319089380956021085\ 353997918*c_0101_3^3 + 53452606438780613548235633172937/33190893809\ 56021085353997918*c_0101_3^2 - 1647521163216169695979383047733/1659\ 544690478010542676998959*c_0101_3 - 5671337679099164252372421168631/6638178761912042170707995836, c_0011_0 - 1, c_0011_1 - 332652805898289441970513/1395748267853667403428931*c_0101_3^\ 17 + 5720457321636877351753618/1395748267853667403428931*c_0101_3^1\ 6 - 25117847509970954286158014/1395748267853667403428931*c_0101_3^1\ 5 + 20657008235922117618918102/1395748267853667403428931*c_0101_3^1\ 4 + 114860054857673653587710357/1395748267853667403428931*c_0101_3^\ 13 - 246932865875331788981036547/1395748267853667403428931*c_0101_3\ ^12 - 134769776471768866668072923/1395748267853667403428931*c_0101_\ 3^11 + 711392885817763264812435040/1395748267853667403428931*c_0101\ _3^10 + 374332790470309216457548543/1395748267853667403428931*c_010\ 1_3^9 - 238005734528204579267073038/1395748267853667403428931*c_010\ 1_3^8 - 112475740869145019514427987/1395748267853667403428931*c_010\ 1_3^7 - 87058244937529273922776062/1395748267853667403428931*c_0101\ _3^6 + 21619390167360370418804101/1395748267853667403428931*c_0101_\ 3^5 + 54369018059243131570184223/1395748267853667403428931*c_0101_3\ ^4 - 28782762463190700980840148/1395748267853667403428931*c_0101_3^\ 3 - 7581658601641657711421910/1395748267853667403428931*c_0101_3^2 + 5431761021777112322117317/1395748267853667403428931*c_0101_3 + 501134523952617750054666/1395748267853667403428931, c_0011_3 + 142339429687639528769065/1395748267853667403428931*c_0101_3^\ 17 - 2407502152407149578949018/1395748267853667403428931*c_0101_3^1\ 6 + 10003513713776199511896467/1395748267853667403428931*c_0101_3^1\ 5 - 4895252458595465153387402/1395748267853667403428931*c_0101_3^14 - 55711449817958227746808519/1395748267853667403428931*c_0101_3^13 + 95653641517280508570754788/1395748267853667403428931*c_0101_3^12 + 104427881944619084132051623/1395748267853667403428931*c_0101_3^11 - 328310018368546513939642664/1395748267853667403428931*c_0101_3^10 - 259357179544335074096710412/1395748267853667403428931*c_0101_3^9 + 162399463273312822776118450/1395748267853667403428931*c_0101_3^8 + 120371635558990876115536351/1395748267853667403428931*c_0101_3^7 + 29619911507631227490039567/1395748267853667403428931*c_0101_3^6 - 7514088943508991277502882/1395748267853667403428931*c_0101_3^5 - 45125176485808473557091120/1395748267853667403428931*c_0101_3^4 + 9849850653135808635833084/1395748267853667403428931*c_0101_3^3 + 8605942158617390012219206/1395748267853667403428931*c_0101_3^2 - 4917525075116337478363799/1395748267853667403428931*c_0101_3 + 315481850148848169444808/1395748267853667403428931, c_0011_4 + 172749886671381638699694/1395748267853667403428931*c_0101_3^\ 17 - 2975306368778976380446025/1395748267853667403428931*c_0101_3^1\ 6 + 13067997541389383667273938/1395748267853667403428931*c_0101_3^1\ 5 - 10116047489323706050672529/1395748267853667403428931*c_0101_3^1\ 4 - 63695179902004973119836274/1395748267853667403428931*c_0101_3^1\ 3 + 134108524256859745425055551/1395748267853667403428931*c_0101_3^\ 12 + 84132572959911120828686908/1395748267853667403428931*c_0101_3^\ 11 - 414023605209378141294391245/1395748267853667403428931*c_0101_3\ ^10 - 197107681567373006401666848/1395748267853667403428931*c_0101_\ 3^9 + 239635582324510984003128190/1395748267853667403428931*c_0101_\ 3^8 + 99694602615038671359751092/1395748267853667403428931*c_0101_3\ ^7 + 21415014450146870744650708/1395748267853667403428931*c_0101_3^\ 6 - 25153245786171948253377718/1395748267853667403428931*c_0101_3^5 - 50565804032472495556969696/1395748267853667403428931*c_0101_3^4 + 21198731718275915951504947/1395748267853667403428931*c_0101_3^3 + 6041355549382826335681555/1395748267853667403428931*c_0101_3^2 - 5975127964981288996788773/1395748267853667403428931*c_0101_3 + 398655065011678870882635/1395748267853667403428931, c_0011_5 - 623705554742247330723333/1395748267853667403428931*c_0101_3^\ 17 + 10381076966760288369508597/1395748267853667403428931*c_0101_3^\ 16 - 41120189941987013962701495/1395748267853667403428931*c_0101_3^\ 15 + 11772925473587648952890635/1395748267853667403428931*c_0101_3^\ 14 + 241889988774368936674953527/1395748267853667403428931*c_0101_3\ ^13 - 353358493673679114645849446/1395748267853667403428931*c_0101_\ 3^12 - 518442115832611773643569162/1395748267853667403428931*c_0101\ _3^11 + 1252850022737486625787853168/1395748267853667403428931*c_01\ 01_3^10 + 1397328505095415743960159701/1395748267853667403428931*c_\ 0101_3^9 - 165858128187218909572581728/1395748267853667403428931*c_\ 0101_3^8 - 372823794762845918572688157/1395748267853667403428931*c_\ 0101_3^7 - 220170458708058280521538200/1395748267853667403428931*c_\ 0101_3^6 - 56591159600554653773867666/1395748267853667403428931*c_0\ 101_3^5 + 136779393505123759587149829/1395748267853667403428931*c_0\ 101_3^4 - 20589575453186223928908793/1395748267853667403428931*c_01\ 01_3^3 - 38393260919066526103396557/1395748267853667403428931*c_010\ 1_3^2 + 7607127501882177190858868/1395748267853667403428931*c_0101_\ 3 + 1259217968209946950108480/1395748267853667403428931, c_0101_1 + 413413414728649785120271/1395748267853667403428931*c_0101_3^\ 17 - 6971636330986168733639648/1395748267853667403428931*c_0101_3^1\ 6 + 28797667173406125555960020/1395748267853667403428931*c_0101_3^1\ 5 - 14359523331646509107463912/1395748267853667403428931*c_0101_3^1\ 4 - 155781683966484182851908269/1395748267853667403428931*c_0101_3^\ 13 + 265495314894982006964115131/1395748267853667403428931*c_0101_3\ ^12 + 283310322588080193024420276/1395748267853667403428931*c_0101_\ 3^11 - 875310080465429535254907354/1395748267853667403428931*c_0101\ _3^10 - 748820176293894848452807465/1395748267853667403428931*c_010\ 1_3^9 + 241686556447253980345625745/1395748267853667403428931*c_010\ 1_3^8 + 229255084958084740673253615/1395748267853667403428931*c_010\ 1_3^7 + 133350015962687171860089105/1395748267853667403428931*c_010\ 1_3^6 + 11936793914119522973066170/1395748267853667403428931*c_0101\ _3^5 - 94208631146569705726070178/1395748267853667403428931*c_0101_\ 3^4 + 26790265071777391434147559/1395748267853667403428931*c_0101_3\ ^3 + 19311026334654271994728515/1395748267853667403428931*c_0101_3^\ 2 - 6946662905249361688778277/1395748267853667403428931*c_0101_3 - 256358000061981991144933/1395748267853667403428931, c_0101_3^18 - 17*c_0101_3^17 + 72*c_0101_3^16 - 45*c_0101_3^15 - 368*c_0101_3^14 + 686*c_0101_3^13 + 592*c_0101_3^12 - 2169*c_0101_3^11 - 1562*c_0101_3^10 + 778*c_0101_3^9 + 533*c_0101_3^8 + 209*c_0101_3^7 - 45*c_0101_3^6 - 213*c_0101_3^5 + 80*c_0101_3^4 + 53*c_0101_3^3 - 23*c_0101_3^2 - 2*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB