Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 2496989263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0900 geometric_solution 4.79856940 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387918699072 0.160657481557 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.962316677653 0.969584082500 3 0 4 0 0132 2310 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727128409003 0.485418306529 2 5 4 4 0132 0132 3012 2310 0 0 0 0 0 0 0 0 0 0 0 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 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.665824037144 1.274157748685 3 3 5 2 3201 1230 1023 0132 0 0 0 0 0 0 0 0 -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 0 0 0 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.665824037144 1.274157748685 6 3 4 6 0132 0132 1023 3201 0 0 0 0 0 0 -1 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 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.377177522562 0.783902102418 5 5 6 6 0132 2310 1230 3012 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 0 0 0 0 0 0 0 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.908984209473 0.569789226068 ==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' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_0'], '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_2']), '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_0101_2']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 35565094264614963832687169566686435806/1275951907390205377174858519\ 223355*c_0101_6^23 + 43676188075598391354867053122109795807/4253173\ 02463401792391619506407785*c_0101_6^22 - 325956522517249948973015539469809777181/127595190739020537717485851\ 9223355*c_0101_6^21 - 1177622093525010360228040363582311822008/1275\ 951907390205377174858519223355*c_0101_6^20 + 396785402599911143963000870076130600594/425317302463401792391619506\ 407785*c_0101_6^19 + 1345366877619185608188949449705251454741/42531\ 7302463401792391619506407785*c_0101_6^18 - 4085649372548332066089224212095486482668/12759519073902053771748585\ 19223355*c_0101_6^17 - 4812042656616042040437623802915665357526/425\ 317302463401792391619506407785*c_0101_6^16 + 4828815262716596012582410449914278943461/42531730246340179239161950\ 6407785*c_0101_6^15 + 51641614998662966961343460592766788894091/127\ 5951907390205377174858519223355*c_0101_6^14 - 21624795515420663549848597925273428506422/1275951907390205377174858\ 519223355*c_0101_6^13 - 19143709853128260523400579500998844601392/2\ 55190381478041075434971703844671*c_0101_6^12 - 27516472001031807332928598749158568018289/1275951907390205377174858\ 519223355*c_0101_6^11 + 111447582929965048684446637566232013918627/\ 1275951907390205377174858519223355*c_0101_6^10 + 77733094661312973432873222943603419959392/1275951907390205377174858\ 519223355*c_0101_6^9 - 6433852486617575955013327466647738373535/850\ 63460492680358478323901281557*c_0101_6^8 - 40597970442146977114531609328968791465599/1275951907390205377174858\ 519223355*c_0101_6^7 + 25699430687371109782486338026914723018946/12\ 75951907390205377174858519223355*c_0101_6^6 + 33442977064303241211062665340555077441043/1275951907390205377174858\ 519223355*c_0101_6^5 - 4628848419714629882709616495318614693894/425\ 317302463401792391619506407785*c_0101_6^4 - 2208246143812329105043008698289472046649/42531730246340179239161950\ 6407785*c_0101_6^3 + 2384380500891691639318483462895084949059/12759\ 51907390205377174858519223355*c_0101_6^2 + 361587339603883171477430460934029794494/127595190739020537717485851\ 9223355*c_0101_6 - 114933404899422119429451180356724772612/12759519\ 07390205377174858519223355, c_0011_0 - 1, c_0011_2 - 10051228658526590094220573136642962/255190381478041075434971\ 703844671*c_0101_6^23 - 37007033796563284099857181813788035/2551903\ 81478041075434971703844671*c_0101_6^22 + 92230886521888370288306453442710180/2551903814780410754349717038446\ 71*c_0101_6^21 + 332692156927656038025175048305821710/2551903814780\ 41075434971703844671*c_0101_6^20 - 337379716264072121496807388501555294/255190381478041075434971703844\ 671*c_0101_6^19 - 1140707067504942925388054131330681804/25519038147\ 8041075434971703844671*c_0101_6^18 + 1157860727154500639160767310111244918/25519038147804107543497170384\ 4671*c_0101_6^17 + 1359976823708958438737404625574462168/8506346049\ 2680358478323901281557*c_0101_6^16 - 1368492480567823949022314353933629473/85063460492680358478323901281\ 557*c_0101_6^15 - 14595027098453814903617868305899207496/2551903814\ 78041075434971703844671*c_0101_6^14 + 2050716091808134824246718831089951111/85063460492680358478323901281\ 557*c_0101_6^13 + 27072689762052158401171142906580887588/2551903814\ 78041075434971703844671*c_0101_6^12 + 7710324339717118467669501608912606300/25519038147804107543497170384\ 4671*c_0101_6^11 - 10525503104572753522748700965556403194/850634604\ 92680358478323901281557*c_0101_6^10 - 7310814316986069409757203259187555574/85063460492680358478323901281\ 557*c_0101_6^9 + 27383462367177083145866893391100417910/25519038147\ 8041075434971703844671*c_0101_6^8 + 11475948457256926167927934132383655241/2551903814780410754349717038\ 44671*c_0101_6^7 - 7329026067154981522027873887462481426/2551903814\ 78041075434971703844671*c_0101_6^6 - 3156046978585031284697738536269873709/85063460492680358478323901281\ 557*c_0101_6^5 + 3949972710090561969481770155915081882/255190381478\ 041075434971703844671*c_0101_6^4 + 1884168664238933112084760073301355091/25519038147804107543497170384\ 4671*c_0101_6^3 - 681220351270461204551526729411802523/255190381478\ 041075434971703844671*c_0101_6^2 - 104180006766265620664350147816271331/255190381478041075434971703844\ 671*c_0101_6 + 33040539268209604562637755244691837/2551903814780410\ 75434971703844671, c_0011_4 - 15943054182235073399529944262426271/255190381478041075434971\ 703844671*c_0101_6^23 - 58727186964998655996877352671545352/2551903\ 81478041075434971703844671*c_0101_6^22 + 48723898891102369041181813378919984/8506346049268035847832390128155\ 7*c_0101_6^21 + 527870004719129554294436855862491317/25519038147804\ 1075434971703844671*c_0101_6^20 - 534073370569594426698242065041027\ 512/255190381478041075434971703844671*c_0101_6^19 - 1809493443961254917396892871160022830/25519038147804107543497170384\ 4671*c_0101_6^18 + 611018923558100068749446713885519223/85063460492\ 680358478323901281557*c_0101_6^17 + 2157351653006676333709701530713069140/85063460492680358478323901281\ 557*c_0101_6^16 - 2166477817753117293897323804977281406/85063460492\ 680358478323901281557*c_0101_6^15 - 23152168546790128543041976846810193654/2551903814780410754349717038\ 44671*c_0101_6^14 + 9713477800525363327508475548526383261/255190381\ 478041075434971703844671*c_0101_6^13 + 14308505795787513625628212048538385488/8506346049268035847832390128\ 1557*c_0101_6^12 + 12303383785596993348056205345291461417/255190381\ 478041075434971703844671*c_0101_6^11 - 50008728079975854152622018059470234244/2551903814780410754349717038\ 44671*c_0101_6^10 - 34835370662189856010166261015368790119/25519038\ 1478041075434971703844671*c_0101_6^9 + 43326609947283597923117120037759157130/2551903814780410754349717038\ 44671*c_0101_6^8 + 6071248189442844196268374435772032019/8506346049\ 2680358478323901281557*c_0101_6^7 - 11562806563079720941898630689382193664/2551903814780410754349717038\ 44671*c_0101_6^6 - 15006251496165121403531916304144071092/255190381\ 478041075434971703844671*c_0101_6^5 + 6238929401723531492064518706560302042/25519038147804107543497170384\ 4671*c_0101_6^4 + 2980325913426808139282189864824282768/25519038147\ 8041075434971703844671*c_0101_6^3 - 357934310120514984118962703280532919/850634604926803584783239012815\ 57*c_0101_6^2 - 164048702944584950854925346232489262/25519038147804\ 1075434971703844671*c_0101_6 + 17311434435544718510487662003348381/\ 85063460492680358478323901281557, c_0101_0 + 3884298507650357207760284367776686/8506346049268035847832390\ 1281557*c_0101_6^23 + 42985181921666948405389708844205410/255190381\ 478041075434971703844671*c_0101_6^22 - 106619955438015889426071476718170338/255190381478041075434971703844\ 671*c_0101_6^21 - 128801343189095379552439536010277612/850634604926\ 80358478323901281557*c_0101_6^20 + 388417798219523558129105641631237980/255190381478041075434971703844\ 671*c_0101_6^19 + 1324795845616593089441295755188676350/25519038147\ 8041075434971703844671*c_0101_6^18 - 1333258801806434381299500695771997848/25519038147804107543497170384\ 4671*c_0101_6^17 - 1579361267495538060732613561937537495/8506346049\ 2680358478323901281557*c_0101_6^16 + 1575683717603751701534071889792188888/85063460492680358478323901281\ 557*c_0101_6^15 + 5649711253015385431937878680171297467/85063460492\ 680358478323901281557*c_0101_6^14 - 7015788797524676524668709035917944841/25519038147804107543497170384\ 4671*c_0101_6^13 - 31419476315055120766106082473646583411/255190381\ 478041075434971703844671*c_0101_6^12 - 3048559182259956785942381464505308062/85063460492680358478323901281\ 557*c_0101_6^11 + 36519322138999952117745892387096341323/2551903814\ 78041075434971703844671*c_0101_6^10 + 25644820734349979112460520753141716279/2551903814780410754349717038\ 44671*c_0101_6^9 - 31558796685131685930638790072654262108/255190381\ 478041075434971703844671*c_0101_6^8 - 13477532278596537178169518964010144889/2551903814780410754349717038\ 44671*c_0101_6^7 + 2803323818044307653622206174768399189/8506346049\ 2680358478323901281557*c_0101_6^6 + 11006698225348331731883526387457846271/2551903814780410754349717038\ 44671*c_0101_6^5 - 4511093250661184557836762502163486093/2551903814\ 78041075434971703844671*c_0101_6^4 - 2205040321416780122647208013730864145/25519038147804107543497170384\ 4671*c_0101_6^3 + 779671568457757519363280353211888770/255190381478\ 041075434971703844671*c_0101_6^2 + 40891024308745522064806782140198549/8506346049268035847832390128155\ 7*c_0101_6 - 37936889187198807410292775188186599/255190381478041075\ 434971703844671, c_0101_1 - 26822313943398599990909264784936338/255190381478041075434971\ 703844671*c_0101_6^23 - 99035140701934107673046692081754939/2551903\ 81478041075434971703844671*c_0101_6^22 + 81674348155673219573981197157004755/8506346049268035847832390128155\ 7*c_0101_6^21 + 890071601962604761466072049800498147/25519038147804\ 1075434971703844671*c_0101_6^20 - 890577146080669407342784651488791\ 359/255190381478041075434971703844671*c_0101_6^19 - 3050757898952617881173563342775381212/25519038147804107543497170384\ 4671*c_0101_6^18 + 1019054999719642905666715765712664649/8506346049\ 2680358478323901281557*c_0101_6^17 + 3636939976308879222222757384674641182/85063460492680358478323901281\ 557*c_0101_6^16 - 3612955902477257593215794991053147869/85063460492\ 680358478323901281557*c_0101_6^15 - 39029998740486324022499699704889844157/2551903814780410754349717038\ 44671*c_0101_6^14 + 15999693472431093545470699347289175149/25519038\ 1478041075434971703844671*c_0101_6^13 + 24100744189262591702715828624815333449/8506346049268035847832390128\ 1557*c_0101_6^12 + 21310024351030470785069682727129539532/255190381\ 478041075434971703844671*c_0101_6^11 - 83854512572783192784222144908646723100/2551903814780410754349717038\ 44671*c_0101_6^10 - 59245523707270580566081557674693642330/25519038\ 1478041075434971703844671*c_0101_6^9 + 72308545275790584653837844826534183366/2551903814780410754349717038\ 44671*c_0101_6^8 + 10378031399479640200765931301304030696/850634604\ 92680358478323901281557*c_0101_6^7 - 19160565498070643298505221094073752151/2551903814780410754349717038\ 44671*c_0101_6^6 - 25324203368633942520803307149915277394/255190381\ 478041075434971703844671*c_0101_6^5 + 10283576056956839635450791914018364686/2551903814780410754349717038\ 44671*c_0101_6^4 + 5066611827181809179195815646835243560/2551903814\ 78041075434971703844671*c_0101_6^3 - 590788313240612287359793500492483871/850634604926803584783239012815\ 57*c_0101_6^2 - 279875372858532050363560646768964682/25519038147804\ 1075434971703844671*c_0101_6 + 28674947686126681926333223487878442/\ 85063460492680358478323901281557, c_0101_2 + 2731183919213833084619131138688322/8506346049268035847832390\ 1281557*c_0101_6^23 + 30194242212954409537276840778518195/255190381\ 478041075434971703844671*c_0101_6^22 - 75068739047413560928543852296309095/2551903814780410754349717038446\ 71*c_0101_6^21 - 90461528081276058115660795442410145/85063460492680\ 358478323901281557*c_0101_6^20 + 2739932679748350845454616957446956\ 15/255190381478041075434971703844671*c_0101_6^19 + 930199096137083833578005580461802140/255190381478041075434971703844\ 671*c_0101_6^18 - 940364541936194926451983451701043767/255190381478\ 041075434971703844671*c_0101_6^17 - 1109000653082989993551159312334167415/85063460492680358478323901281\ 557*c_0101_6^16 + 1111410922824211101988822482497050154/85063460492\ 680358478323901281557*c_0101_6^15 + 3967159989589301079562956425897687227/85063460492680358478323901281\ 557*c_0101_6^14 - 4970582896030898617138748260811300173/25519038147\ 8041075434971703844671*c_0101_6^13 - 22060324673398786627593137547392891540/2551903814780410754349717038\ 44671*c_0101_6^12 - 2120981047819025560451307036781822107/850634604\ 92680358478323901281557*c_0101_6^11 + 25674872989367673375626012477000530420/2551903814780410754349717038\ 44671*c_0101_6^10 + 17941650153512653629098708829655574669/25519038\ 1478041075434971703844671*c_0101_6^9 - 22216962824689259223518152801084937330/2551903814780410754349717038\ 44671*c_0101_6^8 - 9384024317229032640700752598612296557/2551903814\ 78041075434971703844671*c_0101_6^7 + 1969283596357723709699983100180608644/85063460492680358478323901281\ 557*c_0101_6^6 + 7713979790822911081893058681714838371/255190381478\ 041075434971703844671*c_0101_6^5 - 3188537769115455390497986726715421415/25519038147804107543497170384\ 4671*c_0101_6^4 - 1530172800942132849550121626047749458/25519038147\ 8041075434971703844671*c_0101_6^3 + 546430676510634382607432490862422116/255190381478041075434971703844\ 671*c_0101_6^2 + 28048909133933835011704981206795660/85063460492680\ 358478323901281557*c_0101_6 - 26281241200228857542447604699434680/2\ 55190381478041075434971703844671, c_0101_6^24 + 4*c_0101_6^23 - 8*c_0101_6^22 - 36*c_0101_6^21 + 23*c_0101_6^20 + 124*c_0101_6^19 - 79*c_0101_6^18 - 442*c_0101_6^17 + 279*c_0101_6^16 + 1580*c_0101_6^15 - 149*c_0101_6^14 - 2881*c_0101_6^13 - 1624*c_0101_6^12 + 2885*c_0101_6^11 + 3173*c_0101_6^10 - 2019*c_0101_6^9 - 1994*c_0101_6^8 + 359*c_0101_6^7 + 1166*c_0101_6^6 - 93*c_0101_6^5 - 308*c_0101_6^4 + 8*c_0101_6^3 + 31*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB