Magma V2.19-8 Tue Aug 20 2013 16:14:32 on localhost [Seed = 4256981490] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s513 geometric_solution 4.90526242 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 1 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 1 -1 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.488556404299 0.304727126791 0 3 2 4 0132 0132 1230 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526429422020 0.919109696242 3 0 4 1 3201 0132 0132 3012 0 0 0 0 0 1 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526429422020 0.919109696242 3 1 3 2 2310 0132 3201 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 0 0 1 0 0 -1 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.297327608465 1.208147357599 5 5 1 2 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.215903753009 1.644170849733 4 5 5 4 0132 3201 2310 3201 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.583757345254 0.512112952564 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_2'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : 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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 28587725214830263885368/121742393201275518967*c_0110_2^12 + 82378010992874499376710/121742393201275518967*c_0110_2^11 + 849264378102783373212668/365227179603826556901*c_0110_2^10 + 655493120232007065890666/121742393201275518967*c_0110_2^9 + 1016707326725968452397313/121742393201275518967*c_0110_2^8 - 494703564073394968835165/365227179603826556901*c_0110_2^7 + 4687109529450282590014999/365227179603826556901*c_0110_2^6 + 7610892788436872554614244/365227179603826556901*c_0110_2^5 + 5183990307021196901507569/365227179603826556901*c_0110_2^4 - 2879576051447534212749430/365227179603826556901*c_0110_2^3 - 4683364454448578625698533/365227179603826556901*c_0110_2^2 - 1018630199805444061476394/365227179603826556901*c_0110_2 + 115086620663389982214532/365227179603826556901, c_0011_0 - 1, c_0011_4 - 208570086990713631378/121742393201275518967*c_0110_2^12 + 673439044147439481138/121742393201275518967*c_0110_2^11 + 5469569041145453870375/365227179603826556901*c_0110_2^10 + 12536946646494744513920/365227179603826556901*c_0110_2^9 + 18090959314338106347481/365227179603826556901*c_0110_2^8 - 9475461085821307630438/365227179603826556901*c_0110_2^7 + 38021264716817498625400/365227179603826556901*c_0110_2^6 + 13894855767095512602979/121742393201275518967*c_0110_2^5 + 24962488387238262291538/365227179603826556901*c_0110_2^4 - 9496885745681471873663/121742393201275518967*c_0110_2^3 - 8011790774454693921944/121742393201275518967*c_0110_2^2 - 727131670328003437652/365227179603826556901*c_0110_2 + 201946158431823254430/121742393201275518967, c_0101_0 + 62689274908807716411/121742393201275518967*c_0110_2^12 - 219258157955328975027/121742393201275518967*c_0110_2^11 - 1458470587526176094317/365227179603826556901*c_0110_2^10 - 1133436325451619419632/121742393201275518967*c_0110_2^9 - 1538169978280402445597/121742393201275518967*c_0110_2^8 + 3878130288240097787368/365227179603826556901*c_0110_2^7 - 12816360393202366944080/365227179603826556901*c_0110_2^6 - 9070393084748050332080/365227179603826556901*c_0110_2^5 - 5537161599328662193562/365227179603826556901*c_0110_2^4 + 9213952298339217437363/365227179603826556901*c_0110_2^3 + 4268277525733156049825/365227179603826556901*c_0110_2^2 - 806407625700792758746/365227179603826556901*c_0110_2 + 397262079280005411634/365227179603826556901, c_0101_1 + 79661777074765402545/121742393201275518967*c_0110_2^12 - 262516007336691286215/121742393201275518967*c_0110_2^11 - 678136008563896974134/121742393201275518967*c_0110_2^10 - 1553520985699912151307/121742393201275518967*c_0110_2^9 - 6612288177115661064868/365227179603826556901*c_0110_2^8 + 1330785031263732139514/121742393201275518967*c_0110_2^7 - 14878017670109993586119/365227179603826556901*c_0110_2^6 - 14969798643713825915792/365227179603826556901*c_0110_2^5 - 2937636075331984997010/121742393201275518967*c_0110_2^4 + 3797964377947654998537/121742393201275518967*c_0110_2^3 + 7752727194768596383657/365227179603826556901*c_0110_2^2 - 237459878225963747065/365227179603826556901*c_0110_2 - 45517961846356564520/365227179603826556901, c_0101_2 - 2257358599698/5090645844127*c_0110_2^12 + 4673983294806/5090645844127*c_0110_2^11 + 85777588363162/15271937532381*c_0110_2^10 + 199857900542611/15271937532381*c_0110_2^9 + 343043581242077/15271937532381*c_0110_2^8 + 102525538982305/15271937532381*c_0110_2^7 + 264287869037576/15271937532381*c_0110_2^6 + 319375096171627/5090645844127*c_0110_2^5 + 712691257381742/15271937532381*c_0110_2^4 - 20295006857466/5090645844127*c_0110_2^3 - 212734700551688/5090645844127*c_0110_2^2 - 229589394257668/15271937532381*c_0110_2 + 9255871593501/5090645844127, c_0110_2^13 - 3*c_0110_2^12 - 86/9*c_0110_2^11 - 196/9*c_0110_2^10 - 296/9*c_0110_2^9 + 89/9*c_0110_2^8 - 499/9*c_0110_2^7 - 739/9*c_0110_2^6 - 151/3*c_0110_2^5 + 365/9*c_0110_2^4 + 455/9*c_0110_2^3 + 52/9*c_0110_2^2 - 8/3*c_0110_2 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB