Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 1882320037] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1533 geometric_solution 5.32778943 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 0 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.870985302032 0.949319221912 0 1 1 0 0132 3201 2310 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.671448030972 0.160598047269 0 3 4 0 3201 0132 0132 0132 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 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.691706458407 0.489057637206 5 2 4 6 0132 0132 1302 0132 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 -1 0 1 1 0 0 -1 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.493467030970 0.481156387335 3 6 5 2 2031 2310 1023 0132 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 0 0 0 0 0 -1 1 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.493467030970 0.481156387335 3 5 4 5 0132 2310 1023 3201 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 1 0 -1 -1 0 1 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.061662189589 1.180845107419 6 6 3 4 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 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.613023111940 0.729038924578 ==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_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 381288271602676314876302710186656943/780739406532613985681654956227\ 03055*c_0101_5^19 - 12723100278960431509777734102612467/41091547712\ 24284135166605032773845*c_0101_5^18 - 1198161313206178129663329687444658092/15614788130652279713633099124\ 540611*c_0101_5^17 - 18687594042576429404248579822039657622/7807394\ 0653261398568165495622703055*c_0101_5^16 - 29788762080661246688025615064357717261/7807394065326139856816549562\ 2703055*c_0101_5^15 + 25485083716322091380964416912118674199/780739\ 40653261398568165495622703055*c_0101_5^14 + 28754695821731150328462116420771493852/1561478813065227971363309912\ 4540611*c_0101_5^13 + 170038086473472823064956403796151503269/78073\ 940653261398568165495622703055*c_0101_5^12 + 15319774262231759198309388429317098302/7807394065326139856816549562\ 2703055*c_0101_5^11 - 390484671338443641004210785751342793307/78073\ 940653261398568165495622703055*c_0101_5^10 - 472535656827175432767159138363810493236/780739406532613985681654956\ 22703055*c_0101_5^9 + 65357342069744412291148179754933339797/156147\ 88130652279713633099124540611*c_0101_5^8 + 727002722205920793629825873944916814326/780739406532613985681654956\ 22703055*c_0101_5^7 - 120610696805239456681321716535702202226/78073\ 940653261398568165495622703055*c_0101_5^6 - 663703126680680859761785696431233334112/780739406532613985681654956\ 22703055*c_0101_5^5 - 249618623149162190963551928203031747036/78073\ 940653261398568165495622703055*c_0101_5^4 - 19816639358035090841821699213712181033/1561478813065227971363309912\ 4540611*c_0101_5^3 - 1040352791419876923518531468783625878/82183095\ 4244856827033321006554769*c_0101_5^2 + 28592076385351001302451420224445204979/7807394065326139856816549562\ 2703055*c_0101_5 + 21220763311006425823091278020444589987/780739406\ 53261398568165495622703055, c_0011_0 - 1, c_0011_2 - 22433663013210822436737234477478/316088828555714164243585002\ 521065*c_0101_5^19 + 11122667430882637272786623486698/3160888285557\ 14164243585002521065*c_0101_5^18 + 70379249106429507643380767758027/63217765711142832848717000504213*c\ _0101_5^17 + 1150908266115182807293919279065302/3160888285557141642\ 43585002521065*c_0101_5^16 + 1942019209721372392659919723063336/316\ 088828555714164243585002521065*c_0101_5^15 - 1146112507233034513192903433037329/31608882855571416424358500252106\ 5*c_0101_5^14 - 1698468478869424599870384008896142/6321776571114283\ 2848717000504213*c_0101_5^13 - 11355813521175653205152798528372174/\ 316088828555714164243585002521065*c_0101_5^12 - 3078023544597321654783729233785157/31608882855571416424358500252106\ 5*c_0101_5^11 + 21922944481901556990881443284698542/316088828555714\ 164243585002521065*c_0101_5^10 + 3082908625554720044497990367452556\ 6/316088828555714164243585002521065*c_0101_5^9 - 2633296571856801788547943315005372/63217765711142832848717000504213\ *c_0101_5^8 - 43204475948909659328744554977109316/31608882855571416\ 4243585002521065*c_0101_5^7 - 646612133256516891955441327564159/316\ 088828555714164243585002521065*c_0101_5^6 + 36969223998707082797537287281932657/3160888285557141642435850025210\ 65*c_0101_5^5 + 20828670708562596984167238138864206/316088828555714\ 164243585002521065*c_0101_5^4 + 2080240070338313758698235491806223/\ 63217765711142832848717000504213*c_0101_5^3 + 1584126897805531452859826198625960/63217765711142832848717000504213\ *c_0101_5^2 + 534588112745544925996384826161941/3160888285557141642\ 43585002521065*c_0101_5 - 826600218725136167199939320033587/3160888\ 28555714164243585002521065, c_0011_4 + 3390403880161292325263183301159/3160888285557141642435850025\ 21065*c_0101_5^19 + 2269957783226600877696057487586/316088828555714\ 164243585002521065*c_0101_5^18 - 11710977194233785236401651920079/6\ 3217765711142832848717000504213*c_0101_5^17 - 232109304581056790805846554214511/316088828555714164243585002521065\ *c_0101_5^16 - 445896148762432256727493671461468/316088828555714164\ 243585002521065*c_0101_5^15 - 24089388124609645234164285199798/3160\ 88828555714164243585002521065*c_0101_5^14 + 340823720533164318362041481811655/63217765711142832848717000504213*\ c_0101_5^13 + 2946035906192789540266209424202947/316088828555714164\ 243585002521065*c_0101_5^12 + 1423452523925999360683875764129676/31\ 6088828555714164243585002521065*c_0101_5^11 - 3849070754770100993977059541446596/31608882855571416424358500252106\ 5*c_0101_5^10 - 8500220198071639069104279898496898/3160888285557141\ 64243585002521065*c_0101_5^9 - 84392946078033682403663052937345/632\ 17765711142832848717000504213*c_0101_5^8 + 11459631229545821877662936578307213/3160888285557141642435850025210\ 65*c_0101_5^7 + 4504330046725570191001961682018787/3160888285557141\ 64243585002521065*c_0101_5^6 - 9551227946213999625484224522208526/3\ 16088828555714164243585002521065*c_0101_5^5 - 7729465602649720860592264113660018/31608882855571416424358500252106\ 5*c_0101_5^4 - 339734706541406212889693514691265/632177657111428328\ 48717000504213*c_0101_5^3 - 432469422716519384604093726313156/63217\ 765711142832848717000504213*c_0101_5^2 - 426992540638961486664556689026703/316088828555714164243585002521065\ *c_0101_5 + 461163363819534140065793736288746/316088828555714164243\ 585002521065, c_0011_6 - 6769658062178563747899301911476/3160888285557141642435850025\ 21065*c_0101_5^19 + 1792881702103891580826796269456/316088828555714\ 164243585002521065*c_0101_5^18 + 21523819444653650101470641266776/6\ 3217765711142832848717000504213*c_0101_5^17 + 371354150664102029402727689738519/316088828555714164243585002521065\ *c_0101_5^16 + 655860813111416599213403680940767/316088828555714164\ 243585002521065*c_0101_5^15 - 241921814326095112295627355670493/316\ 088828555714164243585002521065*c_0101_5^14 - 537615982545002977801811668879575/63217765711142832848717000504213*\ c_0101_5^13 - 3959592698946621886802592189012478/316088828555714164\ 243585002521065*c_0101_5^12 - 1453872862721254646120353741999259/31\ 6088828555714164243585002521065*c_0101_5^11 + 6685450185365999623420649892564449/31608882855571416424358500252106\ 5*c_0101_5^10 + 10773085639639659023291745313363837/316088828555714\ 164243585002521065*c_0101_5^9 - 516843660628650484125829132489141/6\ 3217765711142832848717000504213*c_0101_5^8 - 14767756098089322454992848677060272/3160888285557141642435850025210\ 65*c_0101_5^7 - 2466309689614871813928253153851908/3160888285557141\ 64243585002521065*c_0101_5^6 + 12588146453589725068982617594517574/\ 316088828555714164243585002521065*c_0101_5^5 + 8405357710843903102681644000858462/31608882855571416424358500252106\ 5*c_0101_5^4 + 608301606651645330933102833193229/632177657111428328\ 48717000504213*c_0101_5^3 + 566107257262856317626685018587960/63217\ 765711142832848717000504213*c_0101_5^2 + 667668446358291373933290109616682/316088828555714164243585002521065\ *c_0101_5 - 429933422116355834487148550623994/316088828555714164243\ 585002521065, c_0101_0 - 13245876280183230584740611770538/316088828555714164243585002\ 521065*c_0101_5^19 + 9697883326409147445850851102253/31608882855571\ 4164243585002521065*c_0101_5^18 + 41156272182357152000132193070640/\ 63217765711142832848717000504213*c_0101_5^17 + 630649330653896559667737326773632/316088828555714164243585002521065\ *c_0101_5^16 + 993508628273922249967782088368591/316088828555714164\ 243585002521065*c_0101_5^15 - 924863201652993158923832428715899/316\ 088828555714164243585002521065*c_0101_5^14 - 964637462440476879815686653261639/63217765711142832848717000504213*\ c_0101_5^13 - 5569408880466015829380008941613054/316088828555714164\ 243585002521065*c_0101_5^12 - 460615016230784507420941665766207/316\ 088828555714164243585002521065*c_0101_5^11 + 13125276398408787508223781471953622/3160888285557141642435850025210\ 65*c_0101_5^10 + 15201427809533587683684329514349181/31608882855571\ 4164243585002521065*c_0101_5^9 - 2284537786746321860913869018832137\ /63217765711142832848717000504213*c_0101_5^8 - 22831292060721031539743112789840156/3160888285557141642435850025210\ 65*c_0101_5^7 + 5153323280117964486041876250366511/3160888285557141\ 64243585002521065*c_0101_5^6 + 20546524555036871820428874965588822/\ 316088828555714164243585002521065*c_0101_5^5 + 7342472321300692643180818477424826/31608882855571416424358500252106\ 5*c_0101_5^4 + 907024187021823156975788015882091/632177657111428328\ 48717000504213*c_0101_5^3 + 790178037632043541049324307570868/63217\ 765711142832848717000504213*c_0101_5^2 - 632144776319932537927914352407729/316088828555714164243585002521065\ *c_0101_5 - 543250574808022466350455175661142/316088828555714164243\ 585002521065, c_0101_1 + 8773822339689944596232429297796/3160888285557141642435850025\ 21065*c_0101_5^19 - 3747393477479425696029224299441/316088828555714\ 164243585002521065*c_0101_5^18 - 27548316731876131457493975413398/6\ 3217765711142832848717000504213*c_0101_5^17 - 460371840591839443227277371163569/316088828555714164243585002521065\ *c_0101_5^16 - 792664031036304807826975863201967/316088828555714164\ 243585002521065*c_0101_5^15 + 396931156595866990338059459198968/316\ 088828555714164243585002521065*c_0101_5^14 + 673445703620895658287636905928597/63217765711142832848717000504213*\ c_0101_5^13 + 4732518598753310092557410544384398/316088828555714164\ 243585002521065*c_0101_5^12 + 1553143781175832848112279760076219/31\ 6088828555714164243585002521065*c_0101_5^11 - 8561954784440278251775575121903444/31608882855571416424358500252106\ 5*c_0101_5^10 - 12793470019981316266748131719007677/316088828555714\ 164243585002521065*c_0101_5^9 + 819143669837996147567675821748629/6\ 3217765711142832848717000504213*c_0101_5^8 + 17423232410539194589725726532588967/3160888285557141642435850025210\ 65*c_0101_5^7 + 1859256087358207475217906955179068/3160888285557141\ 64243585002521065*c_0101_5^6 - 14861120115693077348797231889137184/\ 316088828555714164243585002521065*c_0101_5^5 - 9777395422343252587016782113867067/31608882855571416424358500252106\ 5*c_0101_5^4 - 901309953262383804158286996262471/632177657111428328\ 48717000504213*c_0101_5^3 - 638897133642591311830965507697646/63217\ 765711142832848717000504213*c_0101_5^2 - 695107090472330684966040554590892/316088828555714164243585002521065\ *c_0101_5 + 337222281241872421073287304434184/316088828555714164243\ 585002521065, c_0101_5^20 - 16*c_0101_5^18 - 59*c_0101_5^17 - 111*c_0101_5^16 + 11*c_0101_5^15 + 408*c_0101_5^14 + 688*c_0101_5^13 + 367*c_0101_5^12 - 930*c_0101_5^11 - 1856*c_0101_5^10 - 32*c_0101_5^9 + 2267*c_0101_5^8 + 915*c_0101_5^7 - 1716*c_0101_5^6 - 1701*c_0101_5^5 - 847*c_0101_5^4 - 570*c_0101_5^3 - 182*c_0101_5^2 + 37*c_0101_5 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB