Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 3566553116] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1565 geometric_solution 5.34928267 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 0 -1 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 2.063570109803 0.619738230770 0 2 3 0 0132 0132 0132 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 -1 0 1 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.140357024064 0.731644088209 4 1 5 4 0132 0132 0132 1023 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 0 -1 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.219399640441 0.595790088466 5 4 4 1 1023 3201 2310 0132 0 0 0 0 0 0 0 0 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 0 0 0 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.219399640441 0.595790088466 2 3 3 2 0132 3201 2310 1023 0 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 0 0 0 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 0 0 0 0 0 0 1.455721819377 1.478013112201 6 3 6 2 0132 1023 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 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.993735315320 1.320202861438 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 -1 0 1 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459455950792 0.205251657237 ==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' : 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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 2407232064029730811920032017410952927853193891470407318053736/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^20 - 4141026382590226690040818456678308770790099354218112943823945/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^19 + 15336691402070661863847691354504545652929848818110021849301093/9937\ 9316272015299738709233727742028158610512548495067999*c_0101_5^18 + 63538250695325575201667070569766309356667049904976022343845855/1987\ 58632544030599477418467455484056317221025096990135998*c_0101_5^17 + 34494350456647470242756922180724912679438558128589223805297297/9937\ 9316272015299738709233727742028158610512548495067999*c_0101_5^16 - 254086928018758638482568221966891099083161943492334725030832463/198\ 758632544030599477418467455484056317221025096990135998*c_0101_5^15 - 363217535242085633905731092967959741651194720186515415220383267/198\ 758632544030599477418467455484056317221025096990135998*c_0101_5^14 + 355029358584247731385324620228342344070962493231459262828502151/198\ 758632544030599477418467455484056317221025096990135998*c_0101_5^13 + 271787065409907391302935361430688701929380737735749811410407495/993\ 79316272015299738709233727742028158610512548495067999*c_0101_5^12 + 304131263045780500131145657482010753309712191904420861442378665/198\ 758632544030599477418467455484056317221025096990135998*c_0101_5^11 - 626853059682007386390953355720556344815488330930953943490775595/993\ 79316272015299738709233727742028158610512548495067999*c_0101_5^10 - 189436131257289870514169769878504115084798775661013098067819075/993\ 79316272015299738709233727742028158610512548495067999*c_0101_5^9 + 714935323307656399275723497533833321000107318701683311185586175/993\ 79316272015299738709233727742028158610512548495067999*c_0101_5^8 - 541107641850240730188587142335038751339910465599984195063647705/198\ 758632544030599477418467455484056317221025096990135998*c_0101_5^7 - 72644954786676002455374641976431415362697857497088796139004788/9937\ 9316272015299738709233727742028158610512548495067999*c_0101_5^6 + 160572454895549025767576267013522104407518146840052358185152867/198\ 758632544030599477418467455484056317221025096990135998*c_0101_5^5 - 30516135288841935771095008994597208441286840229026744677351931/1987\ 58632544030599477418467455484056317221025096990135998*c_0101_5^4 - 3414955247307718181978695666695677556554238618634050139719989/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^3 + 3864172470258955086614393148272890769568948347736681092876651/19875\ 8632544030599477418467455484056317221025096990135998*c_0101_5^2 - 588688297334370676555030687423600384980625551862689118972873/198758\ 632544030599477418467455484056317221025096990135998*c_0101_5 + 31510852245306276676998715793786901145738991756687581942209/1987586\ 32544030599477418467455484056317221025096990135998, c_0011_0 - 1, c_0011_3 - 20132993683208015159262223669786410476420603777909387493163/\ 99379316272015299738709233727742028158610512548495067999*c_0101_5^2\ 0 - 36564397728626930141369903667385963381243220923954757349555/993\ 79316272015299738709233727742028158610512548495067999*c_0101_5^19 + 126249385647909791123015359970207701376197557753491070068252/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^18 + 280632485467378972510199472914110235517583021617928865902293/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^17 + 306445686899905156173710398688326770507907787622597180273948/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^16 - 1054371075640829622349539416352548385650561033079392499330748/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^15 - 1645178315130593510312334316967159266306992096769837858469401/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^14 + 1400861989109271684581785894741349729281380980496658694518411/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^13 + 2532965389048755003391174397338432012355913530037320457601006/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^12 + 1428195946054943130349472015104032712549321997643464764402494/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^11 - 5289299576710503066391122844904202261653424199785618032774884/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^10 - 2220338987124755705110424267006102516158691439141276334908213/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^9 + 6130557670891990188217076461099038597247522683943351046314358/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^8 - 1491328031745084766038964569615912611785144980539081845647029/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^7 - 1155623968524360505674531408216099370233253240345833359801674/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^6 + 652270824601503593350842496227837822133866920687132579379273/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^5 - 8464303812537402484011807822900592603244758688041676880825/99379316\ 272015299738709233727742028158610512548495067999*c_0101_5^4 - 64080983937517284135302098059235499360921806682913581442873/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^3 + 12626273086819442310708223646845078950465223947504051225975/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^2 + 898613054435704517319116947811384330188386736208326070660/993793162\ 72015299738709233727742028158610512548495067999*c_0101_5 - 383985311414097007847866612522529272419592434022275613922/993793162\ 72015299738709233727742028158610512548495067999, c_0101_0 - 9255258779982708834297366406812218837053144166848143405237/9\ 9379316272015299738709233727742028158610512548495067999*c_0101_5^20 - 14280690644831135611108609263004773839610575544528472696515/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^19 + 63429101971106806015786002139537632113265864036722964621524/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^18 + 114768576887496265047801060652762492586704416128302100188780/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^17 + 100877973859093536348000693631072910492148493633343301460376/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^16 - 535419562312262573925725717043653251416570776370269939400461/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^15 - 638156780819726484099838186275943517700585253486436183516857/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^14 + 890560256643454406866199081961883084379724589163896247817572/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^13 + 1063127407147265146170145593577538164663413207057775239695858/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^12 + 294728269717798658050644730976440164004581741982754699707869/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^11 - 2726045701426186666541868823039065975575362725439165768522033/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^10 - 433279266100447214935869268183951752441271469765903426784183/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^9 + 3299937544802517362051931205584330418737118265530816821652427/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^8 - 1319814969745262149251251745437090998850879356553230516221626/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^7 - 575452783515505671856299107104818612484646288147181046970359/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^6 + 448419234892139073384893114706437879458388301749736047926685/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^5 - 22873078951699708037942213485630782212043248911647522917566/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^4 - 44212604586757918747253619229668622593141774267574943783483/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^3 + 8979547836652516536899773170121917502431274541686757833759/99379316\ 272015299738709233727742028158610512548495067999*c_0101_5^2 + 1102964899131765112779554653244036083794458880865147209229/99379316\ 272015299738709233727742028158610512548495067999*c_0101_5 - 303799080639979272665762164445222691073051205066073576202/993793162\ 72015299738709233727742028158610512548495067999, c_0101_1 + 269400914670046198320512320949406514992296106725741179/38733\ 80218732326450431041576479792187652902231301207*c_0101_5^20 + 578426713566819493420364582413373787028750586745022552/387338021873\ 2326450431041576479792187652902231301207*c_0101_5^19 - 1498699325921039926999436321405616723242071949664924875/38733802187\ 32326450431041576479792187652902231301207*c_0101_5^18 - 4248181253079827332307040213652044817642980330885042189/38733802187\ 32326450431041576479792187652902231301207*c_0101_5^17 - 5493478420662880985403437530060253002690347427780758771/38733802187\ 32326450431041576479792187652902231301207*c_0101_5^16 + 12274427279912964500004937371503201881310207213901587936/3873380218\ 732326450431041576479792187652902231301207*c_0101_5^15 + 26025951690741034801238425664920196076532025312947104130/3873380218\ 732326450431041576479792187652902231301207*c_0101_5^14 - 10242596009033719694533156266333468904374701904190281162/3873380218\ 732326450431041576479792187652902231301207*c_0101_5^13 - 37121469174825205661923500993079372613317479312262480614/3873380218\ 732326450431041576479792187652902231301207*c_0101_5^12 - 30973177785897562588578645185438824208376361108617056650/3873380218\ 732326450431041576479792187652902231301207*c_0101_5^11 + 60343259567948914233153192345800602503652712615229266395/3873380218\ 732326450431041576479792187652902231301207*c_0101_5^10 + 49172181609747053427052822912414344511503061036382461965/3873380218\ 732326450431041576479792187652902231301207*c_0101_5^9 - 66317352498086933297050816662665338891502754815876804216/3873380218\ 732326450431041576479792187652902231301207*c_0101_5^8 - 950957653351442404880378701982214569057682257202200092/387338021873\ 2326450431041576479792187652902231301207*c_0101_5^7 + 15933307769272783097690963007951921361759077229713036264/3873380218\ 732326450431041576479792187652902231301207*c_0101_5^6 - 4783118269044339858289664243050590568162019000757241300/38733802187\ 32326450431041576479792187652902231301207*c_0101_5^5 - 1271807139324816487951005347864852455191445393435428687/38733802187\ 32326450431041576479792187652902231301207*c_0101_5^4 + 678439861739427827362373487740076503678066123820307665/387338021873\ 2326450431041576479792187652902231301207*c_0101_5^3 - 44052055993315018114717834254087667032052000557655265/3873380218732\ 326450431041576479792187652902231301207*c_0101_5^2 - 20721259688375470496912032073034716506600741276665083/3873380218732\ 326450431041576479792187652902231301207*c_0101_5 + 3917725702448416581823162110207942446623561378303787/38733802187323\ 26450431041576479792187652902231301207, c_0101_2 - 17952795131169178464273077946546800851781014197124036418945/\ 99379316272015299738709233727742028158610512548495067999*c_0101_5^2\ 0 - 32451378967281762874382473673117078390453436419757988875066/993\ 79316272015299738709233727742028158610512548495067999*c_0101_5^19 + 113231876383032408020392071712986591615222154293921962911855/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^18 + 250093700238419384981912642067363520242140484204828899666951/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^17 + 269078097198420583840823365719848538750638121661660177576222/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^16 - 948437335939132126433518632102299713209557304187414089384326/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^15 - 1466930789085233221562338992641657975145000345903826979100813/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^14 + 1278263940010781644730713381230542470976399831866460771460822/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^13 + 2284144400175258130548865288032284177265655175840251256029196/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^12 + 1242126158373936481166996044924552989125591281040738029829930/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^11 - 4777169548089897395630092817008517923621275771721788136394702/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^10 - 1985653665270678326246083578030798296160312614756080581274204/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^9 + 5563505638453589168404421751483792699551369145742767356266919/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^8 - 1308410294696590739719527269630320993365355931599134543371532/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^7 - 1102868012609431024801116800489536415533716384927951309663667/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^6 + 590027446304419465587070595315799243387624316686239803641940/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^5 + 1433292052902035171642180285591585060292155249434646435531/99379316\ 272015299738709233727742028158610512548495067999*c_0101_5^4 - 60872812183334949268227417283716542734649854473340153360803/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^3 + 10941346386306496287461785888151035893489695329851113179793/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^2 + 979325324644996051431009063977063921168154914219165986508/993793162\ 72015299738709233727742028158610512548495067999*c_0101_5 - 367170374853016450288919549161479976120863948493762648938/993793162\ 72015299738709233727742028158610512548495067999, c_0101_4 - 10507000055715249943784738009652726164446135214046361190410/\ 99379316272015299738709233727742028158610512548495067999*c_0101_5^2\ 0 - 18516650090383584068489830001566697782261522876651085083141/993\ 79316272015299738709233727742028158610512548495067999*c_0101_5^19 + 66538780725078429006197538589646792065389070700689344322806/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^18 + 141848551027564447567252904797212867315506804108159188698134/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^17 + 153596471504195516872572262358170953088027283765852112573856/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^16 - 551486749743157361448329049365195601321675976761317810241269/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^15 - 817311205355621391750620172953198939550626001117701868053793/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^14 + 765195983634762029263384988935933578060782964027425440699969/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^13 + 1234137600150548833858278624023331052093266987948326602056045/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^12 + 663814095980301028020792886757259794975984743864918209802942/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^11 - 2737868427921747020078168447002325412646006116862182474967502/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^10 - 930491498882797305083354853280281924418407116494334054641470/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^9 + 3206961019704617962025418584287898716916180560681485849106518/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^8 - 1079399545571446118476894680369319226790337776461736965706881/99379\ 316272015299738709233727742028158610512548495067999*c_0101_5^7 - 516418875936830891639554423833091866590601130099865352318454/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^6 + 438937599757414941144391909789177144150890092904393829102649/993793\ 16272015299738709233727742028158610512548495067999*c_0101_5^5 - 41461535385098889700116450962890614872303935213836263514966/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^4 - 40356369443756105135570587715132137132541888007483757152544/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^3 + 11603450315606097102005852119862150476139827862795241470896/9937931\ 6272015299738709233727742028158610512548495067999*c_0101_5^2 + 369876871983326686691849082212376499950706735583341819111/993793162\ 72015299738709233727742028158610512548495067999*c_0101_5 - 378498519529163430831840519214661203935484583158653810045/993793162\ 72015299738709233727742028158610512548495067999, c_0101_5^21 + 468/287*c_0101_5^20 - 1891/287*c_0101_5^19 - 3656/287*c_0101_5^18 - 3658/287*c_0101_5^17 + 15761/287*c_0101_5^16 + 2938/41*c_0101_5^15 - 3437/41*c_0101_5^14 - 31926/287*c_0101_5^13 - 13929/287*c_0101_5^12 + 78486/287*c_0101_5^11 + 17119/287*c_0101_5^10 - 91988/287*c_0101_5^9 + 38257/287*c_0101_5^8 + 11170/287*c_0101_5^7 - 12169/287*c_0101_5^6 + 2008/287*c_0101_5^5 + 834/287*c_0101_5^4 - 348/287*c_0101_5^3 + 22/287*c_0101_5^2 + 8/287*c_0101_5 - 1/287 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB