Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 2050746031] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1532 geometric_solution 5.32700241 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 -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 1.466606417209 0.205894725184 0 2 2 0 3201 0132 1023 0132 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 -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 1.150166367075 0.267982119580 3 1 1 4 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 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.813035806474 0.468088147479 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 -1 0 1 1 0 -1 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 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.506102101003 0.518063942159 6 3 2 5 1023 1302 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 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.506102101003 0.518063942159 5 3 4 5 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048431719924 1.022912857352 6 4 6 3 2031 1023 1302 0132 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 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.511348167870 0.476758030452 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 24566536388817650874324608325492405069832947104249940/2351909740054\ 574912684622378387424959620415426227*c_0101_5^32 + 523820245938670227153362570917859776863138756824020620/235190974005\ 4574912684622378387424959620415426227*c_0101_5^30 - 6150890129578870916752111443991362046617805193217408067/23519097400\ 54574912684622378387424959620415426227*c_0101_5^28 + 44886233938515720542953115301198237496611855933161822073/2351909740\ 054574912684622378387424959620415426227*c_0101_5^26 - 220105018405197347329178852003845068683118571265619175910/235190974\ 0054574912684622378387424959620415426227*c_0101_5^24 + 754676108137898201502462487492737670025765814258360411768/235190974\ 0054574912684622378387424959620415426227*c_0101_5^22 - 1859329337995977745531900986447917712311800509299770365096/23519097\ 40054574912684622378387424959620415426227*c_0101_5^20 + 3306672344894533897235441205363194809996101679453539148274/23519097\ 40054574912684622378387424959620415426227*c_0101_5^18 - 4077201422663491898455472705774558589815354378103755796086/23519097\ 40054574912684622378387424959620415426227*c_0101_5^16 + 3254048411861504740921346329697607160826338041520931165985/23519097\ 40054574912684622378387424959620415426227*c_0101_5^14 - 1602002059613431734576735711504026010352405711017701172149/23519097\ 40054574912684622378387424959620415426227*c_0101_5^12 + 460035516491805646094274787473670121364920682711942572561/235190974\ 0054574912684622378387424959620415426227*c_0101_5^10 - 68843161443558252433381317621883924186346167461076995866/2351909740\ 054574912684622378387424959620415426227*c_0101_5^8 + 4345055574245966396783694815726077975362561293016103011/23519097400\ 54574912684622378387424959620415426227*c_0101_5^6 - 276131744961070505322882806742870550234848613964878028/235190974005\ 4574912684622378387424959620415426227*c_0101_5^4 + 51511565819183012628364703882257180333160100579520046/2351909740054\ 574912684622378387424959620415426227*c_0101_5^2 - 771564936340824992265797266518153245124657205370815/235190974005457\ 4912684622378387424959620415426227, c_0011_0 - 1, c_0011_1 - 146876590203697912768051541139502306308671348986536/23519097\ 40054574912684622378387424959620415426227*c_0101_5^32 + 3133497760657681880494035534282798771316154950083402/23519097400545\ 74912684622378387424959620415426227*c_0101_5^30 - 36811644265169410425688432821196765518747406205684455/2351909740054\ 574912684622378387424959620415426227*c_0101_5^28 + 268802847291073831051252172389376223713373740587907510/235190974005\ 4574912684622378387424959620415426227*c_0101_5^26 - 1319199015756979175835029493565133280736941743791108059/23519097400\ 54574912684622378387424959620415426227*c_0101_5^24 + 4528155901379763531044939513131037184681883685688574603/23519097400\ 54574912684622378387424959620415426227*c_0101_5^22 - 11172611987124190062506216676700788703427036648150085428/2351909740\ 054574912684622378387424959620415426227*c_0101_5^20 + 19910148169457361951914693584943996942740046846870135435/2351909740\ 054574912684622378387424959620415426227*c_0101_5^18 - 24629820407835677048002605255975243149427428060550469697/2351909740\ 054574912684622378387424959620415426227*c_0101_5^16 + 19771885311936224491784240990358795810605635437358959037/2351909740\ 054574912684622378387424959620415426227*c_0101_5^14 - 9831748345801329103198029333346570290169618383455654016/23519097400\ 54574912684622378387424959620415426227*c_0101_5^12 + 2869579823324203924181628609514760889353062562628317474/23519097400\ 54574912684622378387424959620415426227*c_0101_5^10 - 440971644911761126183398572770725603164594608085906084/235190974005\ 4574912684622378387424959620415426227*c_0101_5^8 + 28888446806663482592835232537265126788595070878287753/2351909740054\ 574912684622378387424959620415426227*c_0101_5^6 - 1691385915967508817814337956730346941937041317852128/23519097400545\ 74912684622378387424959620415426227*c_0101_5^4 + 330189333298840783547940433813937909707892390904308/235190974005457\ 4912684622378387424959620415426227*c_0101_5^2 - 7153909139551335775105116907597366552105276002171/23519097400545749\ 12684622378387424959620415426227, c_0011_4 + 482630152168033982121983615426107742142277164613938/23519097\ 40054574912684622378387424959620415426227*c_0101_5^33 - 10280103822708373314012306740151939835246873618778595/2351909740054\ 574912684622378387424959620415426227*c_0101_5^31 + 120616809477294937624730047096279958467284280609948797/235190974005\ 4574912684622378387424959620415426227*c_0101_5^29 - 879281270398030290317975539423010181920856000838195251/235190974005\ 4574912684622378387424959620415426227*c_0101_5^27 + 4306217889370047530199179165081405013042400396589464420/23519097400\ 54574912684622378387424959620415426227*c_0101_5^25 - 14742281557958210095067145785994223904239291349907255496/2351909740\ 054574912684622378387424959620415426227*c_0101_5^23 + 36257115157144574571250762800945592189619779719095341936/2351909740\ 054574912684622378387424959620415426227*c_0101_5^21 - 64345483289326526923558945105243885898385014407670244105/2351909740\ 054574912684622378387424959620415426227*c_0101_5^19 + 79117199191546655650788127995470135405130031477578839505/2351909740\ 054574912684622378387424959620415426227*c_0101_5^17 - 62921841060334845084593280920536392099867777082819244314/2351909740\ 054574912684622378387424959620415426227*c_0101_5^15 + 30919189827118548771622476543758840750859752768493484429/2351909740\ 054574912684622378387424959620415426227*c_0101_5^13 - 8922313271972554473549554499709378254577031948297684946/23519097400\ 54574912684622378387424959620415426227*c_0101_5^11 + 1370267246826843977752206822249475186614927830887232897/23519097400\ 54574912684622378387424959620415426227*c_0101_5^9 - 95678009514170089864929434871317163540392987321255466/2351909740054\ 574912684622378387424959620415426227*c_0101_5^7 + 6271702066237939027111818544650355399467023160886444/23519097400545\ 74912684622378387424959620415426227*c_0101_5^5 - 1016646761782923861545320270518754918954221893815147/23519097400545\ 74912684622378387424959620415426227*c_0101_5^3 + 27124612862814790686738128506059379785964881692364/2351909740054574\ 912684622378387424959620415426227*c_0101_5, c_0101_0 - 764208422505937970013780958719321566886914299654536/23519097\ 40054574912684622378387424959620415426227*c_0101_5^32 + 16301341876000331791275124794272379024743369216105930/2351909740054\ 574912684622378387424959620415426227*c_0101_5^30 - 191476634409413487939860660582654106839259162502504145/235190974005\ 4574912684622378387424959620415426227*c_0101_5^28 + 1397893154026897549900728073744942393185020850580364925/23519097400\ 54574912684622378387424959620415426227*c_0101_5^26 - 6858354557016183980601242120644827608054593578412453982/23519097400\ 54574912684622378387424959620415426227*c_0101_5^24 + 23531024867263794792464748512199246281612459492598570840/2351909740\ 054574912684622378387424959620415426227*c_0101_5^22 - 58022642248170955913984839941233491397145725036146367711/2351909740\ 054574912684622378387424959620415426227*c_0101_5^20 + 103300151756184084448175036832379601912167934517524924601/235190974\ 0054574912684622378387424959620415426227*c_0101_5^18 - 127577605190501437487017542721500657375586529915448799212/235190974\ 0054574912684622378387424959620415426227*c_0101_5^16 + 102086002652233339288446352389731081904679443489346494139/235190974\ 0054574912684622378387424959620415426227*c_0101_5^14 - 50447078617931905080793914609135049748071290460561491484/2351909740\ 054574912684622378387424959620415426227*c_0101_5^12 + 14561909445648255385263483141321122808178703439192929922/2351909740\ 054574912684622378387424959620415426227*c_0101_5^10 - 2194475639604253241489948597556292178138892963440344741/23519097400\ 54574912684622378387424959620415426227*c_0101_5^8 + 139115406922929506303137509796613235493851143210352308/235190974005\ 4574912684622378387424959620415426227*c_0101_5^6 - 8550787237190786501348112531350151488038371144475968/23519097400545\ 74912684622378387424959620415426227*c_0101_5^4 + 1651933147707937010480572371769366365680708199894114/23519097400545\ 74912684622378387424959620415426227*c_0101_5^2 - 29475915849366835280283160528420751214327180281701/2351909740054574\ 912684622378387424959620415426227, c_0101_2 - 402923772591290963818678500099724087841232468315420/23519097\ 40054574912684622378387424959620415426227*c_0101_5^32 + 8588951284263018547257078910533364883490400835878500/23519097400545\ 74912684622378387424959620415426227*c_0101_5^30 - 100833592128707331722317733229077404862854312906469919/235190974005\ 4574912684622378387424959620415426227*c_0101_5^28 + 735633719871927629495942924261915889832216845018636816/235190974005\ 4574912684622378387424959620415426227*c_0101_5^26 - 3606093952893276645053126963844515444784507348004408761/23519097400\ 54574912684622378387424959620415426227*c_0101_5^24 + 12359463169152487457870901617231294590299637772387627761/2351909740\ 054574912684622378387424959620415426227*c_0101_5^22 - 30437174869919805143748934897878121976829313937087530675/2351909740\ 054574912684622378387424959620415426227*c_0101_5^20 + 54102516881951549783321610716141178938685041993089478702/2351909740\ 054574912684622378387424959620415426227*c_0101_5^18 - 66665039445389358910646090458068464903826152726042692785/2351909740\ 054574912684622378387424959620415426227*c_0101_5^16 + 53163229888017563886958062224116558092352081819354877507/2351909740\ 054574912684622378387424959620415426227*c_0101_5^14 - 26163375320210315822559933426828230534059035271516880785/2351909740\ 054574912684622378387424959620415426227*c_0101_5^12 + 7519021444847870637696151641932706459896855668715294598/23519097400\ 54574912684622378387424959620415426227*c_0101_5^10 - 1127980517036605677134012523734831166214916148024788904/23519097400\ 54574912684622378387424959620415426227*c_0101_5^8 + 71145402201987870552175483441285349972659829921658370/2351909740054\ 574912684622378387424959620415426227*c_0101_5^6 - 4386459806863381069475075467569681634719543676345491/23519097400545\ 74912684622378387424959620415426227*c_0101_5^4 + 854543305703644651231384265352192912087525754034331/235190974005457\ 4912684622378387424959620415426227*c_0101_5^2 - 14770988820909870590715313374589684625027869187150/2351909740054574\ 912684622378387424959620415426227, c_0101_3 + 383136254005771378156250261139391569270697759556468/23519097\ 40054574912684622378387424959620415426227*c_0101_5^32 - 8159166586745830332626979377687931959554239317444950/23519097400545\ 74912684622378387424959620415426227*c_0101_5^30 + 95715295197276890752806078170136952814941693562912838/2351909740054\ 574912684622378387424959620415426227*c_0101_5^28 - 697588358150355126258856467539736847718169131044549816/235190974005\ 4574912684622378387424959620415426227*c_0101_5^26 + 3415340508889483544129849545853311373700484939962149137/23519097400\ 54574912684622378387424959620415426227*c_0101_5^24 - 11687589335986177700553623382921560229169544671989826751/2351909740\ 054574912684622378387424959620415426227*c_0101_5^22 + 28728767019843597597498436941492399502465964610425152050/2351909740\ 054574912684622378387424959620415426227*c_0101_5^20 - 50945921231123011337194672318457082791340120972713670098/2351909740\ 054574912684622378387424959620415426227*c_0101_5^18 + 62562952955896136942258659791368988704090526022310476407/2351909740\ 054574912684622378387424959620415426227*c_0101_5^16 - 49640079511237433434141673945686847497795232470116058156/2351909740\ 054574912684622378387424959620415426227*c_0101_5^14 + 24283798910970011701855195817601291838581375294833012879/2351909740\ 054574912684622378387424959620415426227*c_0101_5^12 - 6941986994226864986250084149186947856223883360443939137/23519097400\ 54574912684622378387424959620415426227*c_0101_5^10 + 1040959139551916232112655607908633205073705530252807707/23519097400\ 54574912684622378387424959620415426227*c_0101_5^8 - 67164163083136327957252570586550224374128981025997876/2351909740054\ 574912684622378387424959620415426227*c_0101_5^6 + 4205530060814275100131025885934749045607235455995569/23519097400545\ 74912684622378387424959620415426227*c_0101_5^4 - 766067912523008351910811417898283211367456362145639/235190974005457\ 4912684622378387424959620415426227*c_0101_5^2 + 13545159462476473243181820995650269227920555827662/2351909740054574\ 912684622378387424959620415426227, c_0101_5^34 - 1261/58*c_0101_5^32 + 7520/29*c_0101_5^30 - 112059/58*c_0101_5^28 + 564075/58*c_0101_5^26 - 1999643/58*c_0101_5^24 + 5137217/58*c_0101_5^22 - 4824733/29*c_0101_5^20 + 6452774/29*c_0101_5^18 - 5865646/29*c_0101_5^16 + 3510163/29*c_0101_5^14 - 1342914/29*c_0101_5^12 + 312319/29*c_0101_5^10 - 80199/58*c_0101_5^8 + 2589/29*c_0101_5^6 - 202/29*c_0101_5^4 + 27/29*c_0101_5^2 - 1/58 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB