Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 2328565312] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1686 geometric_solution 5.40821816 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 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 -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.163198193196 0.500012417568 0 3 5 4 0132 2310 0132 0132 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 1 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 0.232833590836 0.572956005844 2 0 0 2 3201 0132 1023 2310 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 0 0 0 0 0 0 0 1.636717700303 0.795011973972 5 6 0 1 0213 0132 0132 3201 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 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.198388778451 1.754126247599 4 6 1 4 3201 0321 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.130406487641 0.948123691927 3 6 6 1 0213 3201 2103 0132 0 0 0 0 0 0 0 0 0 0 -1 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 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 1.637257470194 0.416846543890 5 3 5 4 2103 0132 2310 0321 0 0 0 0 0 -1 0 1 1 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 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.474607571283 0.572838920882 ==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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(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' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(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_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_3']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_1001_1']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_1001_1']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : 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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_2, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 100110603137559335321429012091465222294971/242230415301281855807212\ 45250133951407451*c_1001_1^24 + 10020862746321531823114046296723905\ 10122653/24223041530128185580721245250133951407451*c_1001_1^22 + 10682669971053539322374147076604439711823163/2422304153012818558072\ 1245250133951407451*c_1001_1^20 + 153106102815454649494549625924739\ 63752628151/24223041530128185580721245250133951407451*c_1001_1^18 - 15390446305083952175132988759765750900274617/2691449058903131731191\ 249472237105711939*c_1001_1^16 + 1804323700156452838327357900767411\ 47977276738/24223041530128185580721245250133951407451*c_1001_1^14 - 308555088890201405895783294377458492375936675/242230415301281855807\ 21245250133951407451*c_1001_1^12 + 262666325018537978761929689596537554962832775/807434717670939519357\ 3748416711317135817*c_1001_1^10 - 999117864617688198949111877630144\ 328188534320/24223041530128185580721245250133951407451*c_1001_1^8 + 655169158125136582586264024551939298105482966/242230415301281855807\ 21245250133951407451*c_1001_1^6 - 247629209376749948862516181407170\ 52768335155/2691449058903131731191249472237105711939*c_1001_1^4 + 30401834954693273586081006377256574452124417/2422304153012818558072\ 1245250133951407451*c_1001_1^2 - 2467282049693860111728008124753451\ 72999448/24223041530128185580721245250133951407451, c_0011_0 - 1, c_0011_3 + 73626668951664568532151808654822661452/269144905890313173119\ 1249472237105711939*c_1001_1^24 - 757308942792634844924331496113475\ 936297/2691449058903131731191249472237105711939*c_1001_1^22 - 7650277199259755598524349441874502583785/26914490589031317311912494\ 72237105711939*c_1001_1^20 - 91186057676245224884134306822552305128\ 88/2691449058903131731191249472237105711939*c_1001_1^18 + 104645084675669018266057687611018524280629/269144905890313173119124\ 9472237105711939*c_1001_1^16 - 161523283957644641020660487380156252\ 798742/2691449058903131731191249472237105711939*c_1001_1^14 + 267093490843729863236956102425134161479610/269144905890313173119124\ 9472237105711939*c_1001_1^12 - 644487299972295162013069846782849657\ 034687/2691449058903131731191249472237105711939*c_1001_1^10 + 900753245703384620483384135054140877724504/269144905890313173119124\ 9472237105711939*c_1001_1^8 - 7014601420419472487306767266508312047\ 54404/2691449058903131731191249472237105711939*c_1001_1^6 + 310670288756863939038994059190772180815378/269144905890313173119124\ 9472237105711939*c_1001_1^4 - 7139042885945179001466818091165930413\ 4696/2691449058903131731191249472237105711939*c_1001_1^2 + 4999388686510412469341720897491718685135/26914490589031317311912494\ 72237105711939, c_0011_4 + 88733494171828185907599656106243642205/269144905890313173119\ 1249472237105711939*c_1001_1^24 - 917671091770527522820063595947169\ 801177/2691449058903131731191249472237105711939*c_1001_1^22 - 9189340395004101004853361554483053564867/26914490589031317311912494\ 72237105711939*c_1001_1^20 - 10286242260441267872439768306288350237\ 302/2691449058903131731191249472237105711939*c_1001_1^18 + 129103895798865602451382276933144252738697/269144905890313173119124\ 9472237105711939*c_1001_1^16 - 196356975393727097442149940980783003\ 759073/2691449058903131731191249472237105711939*c_1001_1^14 + 309348259128861259608707013706736772537730/269144905890313173119124\ 9472237105711939*c_1001_1^12 - 780148146772663694514229373532762417\ 793052/2691449058903131731191249472237105711939*c_1001_1^10 + 1081597695798492273831983406713933179609882/26914490589031317311912\ 49472237105711939*c_1001_1^8 - 790993832550465097303273012917841103\ 070815/2691449058903131731191249472237105711939*c_1001_1^6 + 328848838669246683029310987355348865079807/269144905890313173119124\ 9472237105711939*c_1001_1^4 - 6771840750714371178262008017219730994\ 5410/2691449058903131731191249472237105711939*c_1001_1^2 + 5123497790599065830338183008225601279601/26914490589031317311912494\ 72237105711939, c_0011_5 + 2628144136858519639040645491221419138314/2691449058903131731\ 191249472237105711939*c_1001_1^25 - 27129993191875679484807346851734416801053/2691449058903131731191249\ 472237105711939*c_1001_1^23 - 2723730251761137472051391948004695249\ 93479/2691449058903131731191249472237105711939*c_1001_1^21 - 312551224258594429938034373492964875033092/269144905890313173119124\ 9472237105711939*c_1001_1^19 + 378009025357121875822597108724216299\ 8622807/2691449058903131731191249472237105711939*c_1001_1^17 - 5844886396946851971615902522255040731314201/26914490589031317311912\ 49472237105711939*c_1001_1^15 + 93658423343776002728338201617130613\ 15926429/2691449058903131731191249472237105711939*c_1001_1^13 - 22994484323799095684643538190202339450053429/2691449058903131731191\ 249472237105711939*c_1001_1^11 + 3227443027415547982577943331640766\ 6812307074/2691449058903131731191249472237105711939*c_1001_1^9 - 24256143855815356886711575069487198596611675/2691449058903131731191\ 249472237105711939*c_1001_1^7 + 99584054324101759808537299274020134\ 97940205/2691449058903131731191249472237105711939*c_1001_1^5 - 1960939159745867172932984933611798674563199/26914490589031317311912\ 49472237105711939*c_1001_1^3 + 105095118733189665881437356556219485\ 348392/2691449058903131731191249472237105711939*c_1001_1, c_0101_0 + 2854509394039027302918628546879299672718/2691449058903131731\ 191249472237105711939*c_1001_1^25 - 29398750843790682938786072396478753907689/2691449058903131731191249\ 472237105711939*c_1001_1^23 - 2965329027126821187374472525323453294\ 49688/2691449058903131731191249472237105711939*c_1001_1^21 - 346562372562200688976493679952802163596562/269144905890313173119124\ 9472237105711939*c_1001_1^19 + 409765963513904915488513133147317344\ 5109702/2691449058903131731191249472237105711939*c_1001_1^17 - 6247518873100989667131884638725365065475708/26914490589031317311912\ 49472237105711939*c_1001_1^15 + 10031407522986414347279559423803122\ 720987997/2691449058903131731191249472237105711939*c_1001_1^13 - 24767279248140764120182021486532261905289746/2691449058903131731191\ 249472237105711939*c_1001_1^11 + 3448196744754362479688102055814122\ 5431048549/2691449058903131731191249472237105711939*c_1001_1^9 - 25586439522582925850014871234687444195956610/2691449058903131731191\ 249472237105711939*c_1001_1^7 + 10357474255257967466665598346868291\ 373453605/2691449058903131731191249472237105711939*c_1001_1^5 - 1996980973175081878509238363821475002080013/26914490589031317311912\ 49472237105711939*c_1001_1^3 + 102377710333834742434966395736806968\ 156069/2691449058903131731191249472237105711939*c_1001_1, c_0101_2 - 2288569046225031167833548742522417218761/2691449058903131731\ 191249472237105711939*c_1001_1^25 + 23221261806364248298870018228343369713842/2691449058903131731191249\ 472237105711939*c_1001_1^23 + 2411327671804706129181820147562087742\ 74724/2691449058903131731191249472237105711939*c_1001_1^21 + 316030310753468490014196928972033722083992/269144905890313173119124\ 9472237105711939*c_1001_1^19 - 322063680031598460248193781793464982\ 2599181/2691449058903131731191249472237105711939*c_1001_1^17 + 4547794277776415735815965998203672345253244/26914490589031317311912\ 49472237105711939*c_1001_1^15 - 75407479785621171315352348640160106\ 54617602/2691449058903131731191249472237105711939*c_1001_1^13 + 18896732598851136529229635375122333495680631/2691449058903131731191\ 249472237105711939*c_1001_1^11 - 2515429385124415759063028713592431\ 9571611635/2691449058903131731191249472237105711939*c_1001_1^9 + 17689317518253044369796383745488402461936768/2691449058903131731191\ 249472237105711939*c_1001_1^7 - 66867788079868230902790454916063033\ 03146731/2691449058903131731191249472237105711939*c_1001_1^5 + 1154294335826744241402582658902554376893074/26914490589031317311912\ 49472237105711939*c_1001_1^3 - 424119021304118571079018948947436037\ 12772/2691449058903131731191249472237105711939*c_1001_1, c_1001_1^26 - 237/23*c_1001_1^24 - 2388/23*c_1001_1^22 - 2780/23*c_1001_1^20 + 33026/23*c_1001_1^18 - 50536/23*c_1001_1^16 + 81108/23*c_1001_1^14 - 199901/23*c_1001_1^12 + 278929/23*c_1001_1^10 - 207618/23*c_1001_1^8 + 84176/23*c_1001_1^6 - 16237/23*c_1001_1^4 + 817/23*c_1001_1^2 - 1/23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB