Magma V2.19-8 Tue Aug 20 2013 16:16:04 on localhost [Seed = 559988206] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0328 geometric_solution 4.35944660 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.665436630696 0.052866105402 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 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 -1 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.841216121269 0.065773971465 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 -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 1 -1 -1 0 1 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707383265515 0.212482089374 4 2 5 2 0132 0132 0132 1023 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 0 0 0 -1 0 0 1 -1 0 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827781362157 1.384081535182 3 6 5 5 0132 0132 0213 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 1 0 -1 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.133779719983 0.817141691942 4 4 6 3 3201 0213 3201 0132 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.133779719983 0.817141691942 5 4 6 6 2310 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 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 1.804877050791 1.191833088553 ==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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), '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_0011_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 11800683866667542365054149394145861/3947383756730151975212379041621\ 0*c_0101_6^27 + 198298426732540539252807509107590529/78947675134603\ 03950424758083242*c_0101_6^25 + 24820322045607703162499750414871047\ 47/39473837567301519752123790416210*c_0101_6^23 - 1660620549077503190867050948920704311/39473837567301519752123790416\ 21*c_0101_6^21 - 59370581182684686584141924361550383449/39473837567\ 301519752123790416210*c_0101_6^19 - 9384495863697165461421179822522060717/39473837567301519752123790416\ 210*c_0101_6^17 + 63270709479915179890656931604214790211/1973691878\ 3650759876061895208105*c_0101_6^15 + 71535560020182538600830874969065839043/3947383756730151975212379041\ 6210*c_0101_6^13 - 51377777634356870553993039293273623091/394738375\ 67301519752123790416210*c_0101_6^11 - 7293554963571840321173023865038709481/39473837567301519752123790416\ 210*c_0101_6^9 - 5242188160357534875558802203780346771/197369187836\ 50759876061895208105*c_0101_6^7 - 311638253291374149577458997430760\ 7842/19736918783650759876061895208105*c_0101_6^5 - 7081186496480751876797506644109981067/39473837567301519752123790416\ 210*c_0101_6^3 - 423012463173737487548949954369447321/3947383756730\ 1519752123790416210*c_0101_6, c_0011_0 - 1, c_0011_1 + 27823607684987332163784673213/394738375673015197521237904162\ 1*c_0101_6^26 - 2339080325027623147618015689214/3947383756730151975\ 212379041621*c_0101_6^24 - 5740331956536915705652894128993/39473837\ 56730151975212379041621*c_0101_6^22 + 39529684161864708980476796605054/3947383756730151975212379041621*c_\ 0101_6^20 + 138445096564232903160391384097540/394738375673015197521\ 2379041621*c_0101_6^18 + 13938596351103342409448457039184/394738375\ 6730151975212379041621*c_0101_6^16 - 307122011349206801204788078537997/3947383756730151975212379041621*c\ _0101_6^14 - 159563231061193141482403023322655/39473837567301519752\ 12379041621*c_0101_6^12 + 144599700173847757441170743489180/3947383\ 756730151975212379041621*c_0101_6^10 + 26348186609830104971447875115266/3947383756730151975212379041621*c_\ 0101_6^8 + 14537444824068825099748033106715/39473837567301519752123\ 79041621*c_0101_6^6 + 11575182654929190281950180400605/394738375673\ 0151975212379041621*c_0101_6^4 + 18560206463877783937137109775065/3\ 947383756730151975212379041621*c_0101_6^2 - 639552080408210012854925388809/3947383756730151975212379041621, c_0011_5 - 981174287967387379639336021831/39473837567301519752123790416\ 21*c_0101_6^27 + 82466953666432226893471607512069/39473837567301519\ 75212379041621*c_0101_6^25 + 203953280750227729283881015734272/3947\ 383756730151975212379041621*c_0101_6^23 - 1387057282222785076882768315906651/3947383756730151975212379041621*\ c_0101_6^21 - 4896240193637473978228031099600633/394738375673015197\ 5212379041621*c_0101_6^19 - 630567673892287880881820184649885/39473\ 83756730151975212379041621*c_0101_6^17 + 10555033254975615113940797597283572/3947383756730151975212379041621\ *c_0101_6^15 + 5630135892714530103254844824337736/39473837567301519\ 75212379041621*c_0101_6^13 - 4473701600766155394056456494615335/394\ 7383756730151975212379041621*c_0101_6^11 - 476714275643389442161671438497724/3947383756730151975212379041621*c\ _0101_6^9 - 839060733848194069081832733169861/394738375673015197521\ 2379041621*c_0101_6^7 - 495627942691900908088497045758853/394738375\ 6730151975212379041621*c_0101_6^5 - 569100350256170613411636727468485/3947383756730151975212379041621*c\ _0101_6^3 - 20805607516813305568281900023052/3947383756730151975212\ 379041621*c_0101_6, c_0101_0 - 4256956075496663341709368775806/3947383756730151975212379041\ 621*c_0101_6^27 + 357765375948759213047039966210051/394738375673015\ 1975212379041621*c_0101_6^25 + 887259112329480545452224012753637/39\ 47383756730151975212379041621*c_0101_6^23 - 6010382537461327476100607086022702/3947383756730151975212379041621*\ c_0101_6^21 - 21280901959365490983618222142704579/39473837567301519\ 75212379041621*c_0101_6^19 - 2907111348551421390933386946355566/394\ 7383756730151975212379041621*c_0101_6^17 + 45707208901939900776571989452744623/3947383756730151975212379041621\ *c_0101_6^15 + 24779686464270057163632006350558348/3947383756730151\ 975212379041621*c_0101_6^13 - 19076792336514354766342311414329607/3\ 947383756730151975212379041621*c_0101_6^11 - 2208332182407731365536493320015700/3947383756730151975212379041621*\ c_0101_6^9 - 3740844201724690872884110977090875/3947383756730151975\ 212379041621*c_0101_6^7 - 2155166551353186834075309338642364/394738\ 3756730151975212379041621*c_0101_6^5 - 2510451806087705601633681802115281/3947383756730151975212379041621*\ c_0101_6^3 - 98892280235777327597649488453226/394738375673015197521\ 2379041621*c_0101_6, c_0101_1 + 45084912387957608142793787783/394738375673015197521237904162\ 1*c_0101_6^26 - 3786022180012279444756867102312/3947383756730151975\ 212379041621*c_0101_6^24 - 9654141042038082732974419358058/39473837\ 56730151975212379041621*c_0101_6^22 + 63260141525570054225414077223582/3947383756730151975212379041621*c_\ 0101_6^20 + 230153619538577966541231108076865/394738375673015197521\ 2379041621*c_0101_6^18 + 41960646127730218993104797341705/394738375\ 6730151975212379041621*c_0101_6^16 - 494488968306883881011994498745837/3947383756730151975212379041621*c\ _0101_6^14 - 295041742079748783242468657169808/39473837567301519752\ 12379041621*c_0101_6^12 + 211042345719793752799512224980029/3947383\ 756730151975212379041621*c_0101_6^10 + 49065896246480139814029217448700/3947383756730151975212379041621*c_\ 0101_6^8 + 27360582247216574994003198851496/39473837567301519752123\ 79041621*c_0101_6^6 + 21384415415062383089176338393867/394738375673\ 0151975212379041621*c_0101_6^4 + 31745457672257071299284750125439/3\ 947383756730151975212379041621*c_0101_6^2 + 3352407899923812191784559923328/3947383756730151975212379041621, c_0101_3 + 126216670945430347529876391686/39473837567301519752123790416\ 21*c_0101_6^26 - 10607686975985185040598470964688/39473837567301519\ 75212379041621*c_0101_6^24 - 26297805446927786093881531013443/39473\ 83756730151975212379041621*c_0101_6^22 + 178307274354703950842867445596933/3947383756730151975212379041621*c\ _0101_6^20 + 631046994635348695237528497762335/39473837567301519752\ 12379041621*c_0101_6^18 + 84104368835534138499841142497703/39473837\ 56730151975212379041621*c_0101_6^16 - 1361043292824164918690937518904827/3947383756730151975212379041621*\ c_0101_6^14 - 731676015699362055491608492078682/3947383756730151975\ 212379041621*c_0101_6^12 + 586061690806587786681370494507542/394738\ 3756730151975212379041621*c_0101_6^10 + 67652085894775883026038787615418/3947383756730151975212379041621*c_\ 0101_6^8 + 90049631736390480838196665446966/39473837567301519752123\ 79041621*c_0101_6^6 + 65282924822677193022687610884145/394738375673\ 0151975212379041621*c_0101_6^4 + 75812454694550117473083275447489/3\ 947383756730151975212379041621*c_0101_6^2 + 2364492693778664635326159429438/3947383756730151975212379041621, c_0101_6^28 - 84*c_0101_6^26 - 212*c_0101_6^24 + 1403*c_0101_6^22 + 5059*c_0101_6^20 + 896*c_0101_6^18 - 10705*c_0101_6^16 - 6275*c_0101_6^14 + 4228*c_0101_6^12 + 702*c_0101_6^10 + 903*c_0101_6^8 + 546*c_0101_6^6 + 611*c_0101_6^4 + 48*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB