Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 1410713737] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1453 geometric_solution 5.27249680 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 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 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 0 0 0.762846950448 0.903913095562 0 5 2 5 0132 0132 2031 2310 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 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 1.785549269179 0.763147030818 3 0 4 1 1302 0132 2031 1302 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 0 0 0 -1 0 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.454717634712 0.646116328411 6 2 6 0 0132 2031 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.419438834709 1.566998909758 4 4 0 2 1302 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.526984834114 0.385036025163 1 1 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354528696280 0.535340499018 3 3 6 6 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 0 -1 0 1 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.403486171427 0.102105920603 ==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' : 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_2_6' : d['1'], 's_1_6' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_0'], 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], '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_0110_5']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0110_5']), 'c_1010_0' : negation(d['c_0110_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_3, c_0011_4, c_0101_0, c_0101_3, c_0110_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 260881879775680527089843158531615209663679/236698320953369981479066\ 4852749964397625*c_0110_5^24 - 107462152899167658656043121903614166\ 50850511/4733966419067399629581329705499928795250*c_0110_5^23 - 50997154949882528003390293012650752163503313/4733966419067399629581\ 329705499928795250*c_0110_5^22 + 3283235302131218884826393621401014\ 67134419418/2366983209533699814790664852749964397625*c_0110_5^21 - 1383337990256778885015006864333985438713635491/47339664190673996295\ 81329705499928795250*c_0110_5^20 - 2699173188965302700971304257624541101759782827/47339664190673996295\ 81329705499928795250*c_0110_5^19 + 3086278331520923092509670936545294031492363547/94679328381347992591\ 6265941099985759050*c_0110_5^18 - 107659394439840632006440166695124\ 20538956838241/2366983209533699814790664852749964397625*c_0110_5^17 - 25013180761029783907069056013042710992606731/10072268976739148148\ 0453823521275080750*c_0110_5^16 + 158410867601059985386557798902389\ 48420192463703/2366983209533699814790664852749964397625*c_0110_5^15 - 21663034594092151961698577427876697063484513451/47339664190673996\ 29581329705499928795250*c_0110_5^14 - 7629579607237587694609781009301051191314842731/23669832095336998147\ 90664852749964397625*c_0110_5^13 + 19409872445370624332462358771975735642082835191/4733966419067399629\ 581329705499928795250*c_0110_5^12 + 4855335276751699709367466054196140430576855343/47339664190673996295\ 81329705499928795250*c_0110_5^11 - 37254604263872484148127763489184169191168183/1956184470689008111397\ 2436799586482625*c_0110_5^10 - 286995150349416253739198078893049355\ 0791933421/4733966419067399629581329705499928795250*c_0110_5^9 + 1471084429789346505911354158272925312327607653/23669832095336998147\ 90664852749964397625*c_0110_5^8 + 171669135781991341721146801829877\ 8687100711241/4733966419067399629581329705499928795250*c_0110_5^7 - 1799468707838531219306350048179225582068313/18935865676269598518325\ 318821999715181*c_0110_5^6 - 30961102336799442840192479760138300546\ 6149007/2366983209533699814790664852749964397625*c_0110_5^5 - 55834669571913011062484061642405635047862134/2366983209533699814790\ 664852749964397625*c_0110_5^4 + 41378757171391853105387960817120988\ 665002442/2366983209533699814790664852749964397625*c_0110_5^3 + 50839417175524706255125497106837065935757181/4733966419067399629581\ 329705499928795250*c_0110_5^2 + 11330216135583048945625541523647411\ 700070009/4733966419067399629581329705499928795250*c_0110_5 + 472021315598329234675748192940984823666757/236698320953369981479066\ 4852749964397625, c_0011_0 - 1, c_0011_3 - 43204671127204002068813890419595652/142267961504655135374344\ 99490608351*c_0110_5^24 + 889487270579862235908803909261716688/1422\ 6796150465513537434499490608351*c_0110_5^23 + 4232615785334622822733953593271572593/14226796150465513537434499490\ 608351*c_0110_5^22 - 54393049658602448676554514012722058652/1422679\ 6150465513537434499490608351*c_0110_5^21 + 113901595516267800061104723812088717427/142267961504655135374344994\ 90608351*c_0110_5^20 + 227817501866764040997285343949537702569/1422\ 6796150465513537434499490608351*c_0110_5^19 - 1285332665339426521063822742595686778622/14226796150465513537434499\ 490608351*c_0110_5^18 + 1765300099985580512018971770863156054824/14\ 226796150465513537434499490608351*c_0110_5^17 + 4174787539712091985462085593520502243/30269779043543645824328722320\ 4433*c_0110_5^16 - 2787884496933975305848661296544950091593/1422679\ 6150465513537434499490608351*c_0110_5^15 + 1861702699065047011785744388179465047423/14226796150465513537434499\ 490608351*c_0110_5^14 + 1408177569568543040025533316684351399335/14\ 226796150465513537434499490608351*c_0110_5^13 - 1800112896983956740445791779869748131749/14226796150465513537434499\ 490608351*c_0110_5^12 - 390818445319670708918036837892542870129/142\ 26796150465513537434499490608351*c_0110_5^11 + 853453340119036401269606780605175569126/142267961504655135374344994\ 90608351*c_0110_5^10 + 207735876591273997989013741275166277325/1422\ 6796150465513537434499490608351*c_0110_5^9 - 281900791926212156273939008203433470065/142267961504655135374344994\ 90608351*c_0110_5^8 - 136468268713662652774809972256815551455/14226\ 796150465513537434499490608351*c_0110_5^7 + 52353064246827027108193756227672985119/1422679615046551353743449949\ 0608351*c_0110_5^6 + 52660076403940792092682009190137078247/1422679\ 6150465513537434499490608351*c_0110_5^5 + 5279022055782355065222346214754791492/14226796150465513537434499490\ 608351*c_0110_5^4 - 8380124205633478754371021825909117003/142267961\ 50465513537434499490608351*c_0110_5^3 - 3853036457028466486410129304410732828/14226796150465513537434499490\ 608351*c_0110_5^2 - 564796468606375368626530755570437642/1422679615\ 0465513537434499490608351*c_0110_5 - 2781597967384121131161930580929568/14226796150465513537434499490608\ 351, c_0011_4 - c_0110_5^24 + 20*c_0110_5^23 + 110*c_0110_5^22 - 1200*c_0110_5^21 + 1903*c_0110_5^20 + 6738*c_0110_5^19 - 26477*c_0110_5^18 + 23739*c_0110_5^17 + 26567*c_0110_5^16 - 59219*c_0110_5^15 + 5643*c_0110_5^14 + 53598*c_0110_5^13 - 19919*c_0110_5^12 - 31140*c_0110_5^11 + 11830*c_0110_5^10 + 15586*c_0110_5^9 - 2443*c_0110_5^8 - 6556*c_0110_5^7 - 1044*c_0110_5^6 + 1683*c_0110_5^5 + 897*c_0110_5^4 - 36*c_0110_5^3 - 188*c_0110_5^2 - 78*c_0110_5 - 13, c_0101_0 + 109679360153148380723/172297777636164073237*c_0110_5^24 - 2517753850462900570615/172297777636164073237*c_0110_5^23 - 5357170857509363193736/172297777636164073237*c_0110_5^22 + 162662552255104978519293/172297777636164073237*c_0110_5^21 - 619791083215171962820032/172297777636164073237*c_0110_5^20 + 159550962701420955976940/172297777636164073237*c_0110_5^19 + 4503354924198360573163012/172297777636164073237*c_0110_5^18 - 12377353102771263183038819/172297777636164073237*c_0110_5^17 + 11410442273765084630325906/172297777636164073237*c_0110_5^16 + 6088432090813014966262222/172297777636164073237*c_0110_5^15 - 20919736354632054315604265/172297777636164073237*c_0110_5^14 + 10152055671778102641159254/172297777636164073237*c_0110_5^13 + 10370259695179735716288579/172297777636164073237*c_0110_5^12 - 10409142643709421453743376/172297777636164073237*c_0110_5^11 - 2482877277133704114545088/172297777636164073237*c_0110_5^10 + 4398189157166043425938491/172297777636164073237*c_0110_5^9 + 1073596418420120546281539/172297777636164073237*c_0110_5^8 - 1277780866577829954359301/172297777636164073237*c_0110_5^7 - 637254968792967994364069/172297777636164073237*c_0110_5^6 + 219687912544603412056510/172297777636164073237*c_0110_5^5 + 221812855214978928309499/172297777636164073237*c_0110_5^4 + 19747066794067018646232/172297777636164073237*c_0110_5^3 - 32785692631824521044217/172297777636164073237*c_0110_5^2 - 13639090944158582787193/172297777636164073237*c_0110_5 - 1694948158513914985816/172297777636164073237, c_0101_3 - 4143514221593449752427485107/1528520323473089624385432391*c_\ 0110_5^24 + 86910421642278574498941022218/1528520323473089624385432\ 391*c_0110_5^23 + 372664412439965204711697396852/152852032347308962\ 4385432391*c_0110_5^22 - 5369102978202712412683791956311/1528520323\ 473089624385432391*c_0110_5^21 + 12965045799236458434455031062436/1\ 528520323473089624385432391*c_0110_5^20 + 17332917820854000921895405057322/1528520323473089624385432391*c_011\ 0_5^19 - 131093563600530383856864273580191/152852032347308962438543\ 2391*c_0110_5^18 + 218111792600020210390866688208188/15285203234730\ 89624385432391*c_0110_5^17 - 1139268753206216621489482730029/325217\ 09010065736689051753*c_0110_5^16 - 264462194714997221308112316713039/1528520323473089624385432391*c_01\ 10_5^15 + 281213474905095161229604943233188/15285203234730896243854\ 32391*c_0110_5^14 + 52494408341719959618691020955691/15285203234730\ 89624385432391*c_0110_5^13 - 213988848048861022752422023680939/1528\ 520323473089624385432391*c_0110_5^12 + 34417230477820888008975088450291/1528520323473089624385432391*c_011\ 0_5^11 + 87623139059866383484317476454261/1528520323473089624385432\ 391*c_0110_5^10 - 12780840615304381061808130103969/1528520323473089\ 624385432391*c_0110_5^9 - 30874038656389874486955699957395/15285203\ 23473089624385432391*c_0110_5^8 - 1887405066789257543152263472818/1\ 528520323473089624385432391*c_0110_5^7 + 8783887621835620336593336160781/1528520323473089624385432391*c_0110\ _5^6 + 2572561734488549807282512825457/1528520323473089624385432391\ *c_0110_5^5 - 1192795996345422185969094948651/152852032347308962438\ 5432391*c_0110_5^4 - 789289346967494349859815971413/152852032347308\ 9624385432391*c_0110_5^3 - 55003380896843005081324744362/1528520323\ 473089624385432391*c_0110_5^2 + 56308269262082473571636930193/15285\ 20323473089624385432391*c_0110_5 + 11629749703029701520835076208/1528520323473089624385432391, c_0110_4 - 452554836172452521226468300916376655/14226796150465513537434\ 499490608351*c_0110_5^24 + 9183860606207741655603972860874704473/14\ 226796150465513537434499490608351*c_0110_5^23 + 47090099193911697970028061815113538454/1422679615046551353743449949\ 0608351*c_0110_5^22 - 556945251799867984555751348254391561742/14226\ 796150465513537434499490608351*c_0110_5^21 + 1024220179365591508426746010915183077682/14226796150465513537434499\ 490608351*c_0110_5^20 + 2752636469534858389706805290181023611863/14\ 226796150465513537434499490608351*c_0110_5^19 - 12795190069773449186187204961915547831298/1422679615046551353743449\ 9490608351*c_0110_5^18 + 14475419939690976028259223037574078975569/\ 14226796150465513537434499490608351*c_0110_5^17 + 167119901740805771119282999003645843767/302697790435436458243287223\ 204433*c_0110_5^16 - 29174308252082613884958081067360570202744/1422\ 6796150465513537434499490608351*c_0110_5^15 + 11049026568028834820004963366944711392834/1422679615046551353743449\ 9490608351*c_0110_5^14 + 21169227123032580717414054318725442257310/\ 14226796150465513537434499490608351*c_0110_5^13 - 15264949577307279693845588006585583313938/1422679615046551353743449\ 9490608351*c_0110_5^12 - 9716397301285825598463805889976079258771/1\ 4226796150465513537434499490608351*c_0110_5^11 + 8265215910791726141293578092760624541883/14226796150465513537434499\ 490608351*c_0110_5^10 + 4660822509149641410044237284716491772805/14\ 226796150465513537434499490608351*c_0110_5^9 - 2494231755841969354135259266241359979109/14226796150465513537434499\ 490608351*c_0110_5^8 - 2245423809191016410850356705444203361199/142\ 26796150465513537434499490608351*c_0110_5^7 + 186512243153632751196839378481339166800/142267961504655135374344994\ 90608351*c_0110_5^6 + 711017984522553775511512838382461042503/14226\ 796150465513537434499490608351*c_0110_5^5 + 199124653620194496958179298557275579850/142267961504655135374344994\ 90608351*c_0110_5^4 - 75153950251897493693309102267523900196/142267\ 96150465513537434499490608351*c_0110_5^3 - 63490260374569061801542886563702163324/1422679615046551353743449949\ 0608351*c_0110_5^2 - 16395299910649239541884944838431653195/1422679\ 6150465513537434499490608351*c_0110_5 - 1562039284692421323853683003361412242/14226796150465513537434499490\ 608351, c_0110_5^25 - 20*c_0110_5^24 - 110*c_0110_5^23 + 1200*c_0110_5^22 - 1903*c_0110_5^21 - 6738*c_0110_5^20 + 26477*c_0110_5^19 - 23739*c_0110_5^18 - 26567*c_0110_5^17 + 59219*c_0110_5^16 - 5643*c_0110_5^15 - 53598*c_0110_5^14 + 19919*c_0110_5^13 + 31140*c_0110_5^12 - 11830*c_0110_5^11 - 15586*c_0110_5^10 + 2443*c_0110_5^9 + 6556*c_0110_5^8 + 1044*c_0110_5^7 - 1683*c_0110_5^6 - 897*c_0110_5^5 + 36*c_0110_5^4 + 188*c_0110_5^3 + 77*c_0110_5^2 + 14*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB