Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 3903419443] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0891 geometric_solution 4.79050037 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 2310 0 0 0 0 0 0 1 -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 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 2.074594772127 1.368075970741 0 3 3 4 0132 1230 0213 0132 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 0 1 -1 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.723070429277 0.631684936490 0 0 5 5 3201 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139263381680 0.310596335688 4 1 1 0 3201 0213 3012 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 1 -1 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.723070429277 0.631684936490 6 6 1 3 0132 2310 0132 2310 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 -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.434197356999 0.447540952586 2 5 2 5 2310 1302 0132 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.026574067383 2.845578561087 4 6 6 4 0132 3201 2310 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 -1.166279035530 0.493459419049 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : d['c_0011_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_0011_5, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 14123650121189593107741066269932603/1121200322475127016965982811162\ 049*c_0101_5^23 + 121910034789631408690220993253799164/784840225732\ 5889118761879678134343*c_0101_5^22 + 2832001345838909942951254614329019728/78484022573258891187618796781\ 34343*c_0101_5^21 + 2421539946443079740592916250141976087/784840225\ 7325889118761879678134343*c_0101_5^20 - 24417664187719671281090983906490318103/7848402257325889118761879678\ 134343*c_0101_5^19 - 7146812089465725516222556537776619738/11212003\ 22475127016965982811162049*c_0101_5^18 + 58100736225446828771975986260485904374/7848402257325889118761879678\ 134343*c_0101_5^17 + 33706242615156099956767346035624937729/1121200\ 322475127016965982811162049*c_0101_5^16 + 71427153018684277168079032285316401208/7848402257325889118761879678\ 134343*c_0101_5^15 - 362338635659974740212206174682149378167/784840\ 2257325889118761879678134343*c_0101_5^14 - 281692324779439834345401115112262887493/784840225732588911876187967\ 8134343*c_0101_5^13 + 294529467369736525346879117454553399534/78484\ 02257325889118761879678134343*c_0101_5^12 + 374107439015500888315473170564965165168/784840225732588911876187967\ 8134343*c_0101_5^11 - 139871780213154396853167345149019732608/78484\ 02257325889118761879678134343*c_0101_5^10 - 404588962482879215501697873046087681380/784840225732588911876187967\ 8134343*c_0101_5^9 - 161068622994793044116659200064716465551/784840\ 2257325889118761879678134343*c_0101_5^8 + 143606166725680978795433863820769938039/784840225732588911876187967\ 8134343*c_0101_5^7 + 174375420438012057345694063468032752731/784840\ 2257325889118761879678134343*c_0101_5^6 + 56679345869394609659947704597393500767/7848402257325889118761879678\ 134343*c_0101_5^5 - 19375269141845248778406249284873220624/78484022\ 57325889118761879678134343*c_0101_5^4 - 28958965031151057234684035347243250025/7848402257325889118761879678\ 134343*c_0101_5^3 - 8234282515804501490357676271839512575/784840225\ 7325889118761879678134343*c_0101_5^2 - 1760621102220727266517453308439179557/78484022573258891187618796781\ 34343*c_0101_5 + 687523216810218356736712326063305574/7848402257325\ 889118761879678134343, c_0011_0 - 1, c_0011_3 - 67861663787069616804872717787087/431230893259664237294608773\ 523865*c_0101_5^23 + 767495179058007321438934492892123/301861625281\ 7649661062261414667055*c_0101_5^22 + 13102590213130832513915964638819128/3018616252817649661062261414667\ 055*c_0101_5^21 + 7029324357870911803639739516963691/30186162528176\ 49661062261414667055*c_0101_5^20 - 114325739673081969728282466096881213/301861625281764966106226141466\ 7055*c_0101_5^19 - 27890072293600269236783294286549322/431230893259\ 664237294608773523865*c_0101_5^18 + 302701002442398044892706103193103053/301861625281764966106226141466\ 7055*c_0101_5^17 + 27028373696501031491220105475659777/862461786519\ 32847458921754704773*c_0101_5^16 + 137074197658377267915888906124233651/301861625281764966106226141466\ 7055*c_0101_5^15 - 282603736782289273368167464665885061/60372325056\ 3529932212452282933411*c_0101_5^14 - 858424211279127861204343174942081343/301861625281764966106226141466\ 7055*c_0101_5^13 + 1098414232680064143692015400409842347/3018616252\ 817649661062261414667055*c_0101_5^12 + 1141935208485187822900208537326018224/30186162528176496610622614146\ 67055*c_0101_5^11 - 500285289659015080177680597043735098/3018616252\ 817649661062261414667055*c_0101_5^10 - 1327214033274585703892309180435990982/30186162528176496610622614146\ 67055*c_0101_5^9 - 657752764741786060914483130618279858/30186162528\ 17649661062261414667055*c_0101_5^8 + 70022638176341210342530130704973074/6037232505635299322124522829334\ 11*c_0101_5^7 + 121203992017274839758849595766716128/60372325056352\ 9932212452282933411*c_0101_5^6 + 3256049719196931730375026720144446\ 79/3018616252817649661062261414667055*c_0101_5^5 - 1400229293615902117783695794880644/30186162528176496610622614146670\ 55*c_0101_5^4 - 103127368247145906264329296689236047/30186162528176\ 49661062261414667055*c_0101_5^3 - 534289126045248900273834662843423\ 34/3018616252817649661062261414667055*c_0101_5^2 - 16317690609737222256146296198929404/3018616252817649661062261414667\ 055*c_0101_5 + 1426248681538629383969793924276839/30186162528176496\ 61062261414667055, c_0011_4 + 343377253348499462148253386509781/30186162528176496610622614\ 14667055*c_0101_5^23 - 547770757647574769602992662412907/3018616252\ 817649661062261414667055*c_0101_5^22 - 9566587609502272495344637681843767/30186162528176496610622614146670\ 55*c_0101_5^21 - 5111890223197228438225270101967459/301861625281764\ 9661062261414667055*c_0101_5^20 + 848373525288058014766069306038897\ 67/3018616252817649661062261414667055*c_0101_5^19 + 143216663744985172415240783604391371/301861625281764966106226141466\ 7055*c_0101_5^18 - 237196226803302931971228392050366807/30186162528\ 17649661062261414667055*c_0101_5^17 - 143060182485988186358138675741711013/603723250563529932212452282933\ 411*c_0101_5^16 - 41277789681715280965248244115865299/3018616252817\ 649661062261414667055*c_0101_5^15 + 233579555015322084197849196477340474/603723250563529932212452282933\ 411*c_0101_5^14 + 81957851428537803514679790574620391/4312308932596\ 64237294608773523865*c_0101_5^13 - 1057241801564292377049895627204434623/30186162528176496610622614146\ 67055*c_0101_5^12 - 815322206877149957117267612133228491/3018616252\ 817649661062261414667055*c_0101_5^11 + 673554134145041732843017583874803117/301861625281764966106226141466\ 7055*c_0101_5^10 + 982704978367679415452921479801881808/30186162528\ 17649661062261414667055*c_0101_5^9 + 200183175016685072968192454466316502/301861625281764966106226141466\ 7055*c_0101_5^8 - 69667123656132057171653555643922789/6037232505635\ 29932212452282933411*c_0101_5^7 - 673656701493823941682337149776765\ 60/603723250563529932212452282933411*c_0101_5^6 - 184847409352244120819648377628204761/301861625281764966106226141466\ 7055*c_0101_5^5 - 30433973219379339084506078275266189/3018616252817\ 649661062261414667055*c_0101_5^4 + 56811717275594944413405082016187828/3018616252817649661062261414667\ 055*c_0101_5^3 + 45920961281844913962769705217230286/30186162528176\ 49661062261414667055*c_0101_5^2 + 199206265093819431427711270045294\ 31/3018616252817649661062261414667055*c_0101_5 + 3417537279302765296899570890457809/30186162528176496610622614146670\ 55, c_0011_5 - 29762962844190135218244389/218333464332054411729321877*c_010\ 1_5^23 + 66224381960443183475653778/218333464332054411729321877*c_0\ 101_5^22 + 780247388385965507923628032/218333464332054411729321877*\ c_0101_5^21 - 29216714415295041251952957/21833346433205441172932187\ 7*c_0101_5^20 - 7147709565446949895633268644/2183334643320544117293\ 21877*c_0101_5^19 - 8011188291437166233270316174/218333464332054411\ 729321877*c_0101_5^18 + 23772974134157784730770467685/2183334643320\ 54411729321877*c_0101_5^17 + 45936256140774725264186030731/21833346\ 4332054411729321877*c_0101_5^16 - 17775177773980130477320733054/218\ 333464332054411729321877*c_0101_5^15 - 81426658401510899001859379875/218333464332054411729321877*c_0101_5^\ 14 - 1752429826494645139360686515/31190494904579201675617411*c_0101\ _5^13 + 79208284524704607337885348551/218333464332054411729321877*c\ _0101_5^12 + 37556380507329946114273822761/218333464332054411729321\ 877*c_0101_5^11 - 52965106041678082239544683111/2183334643320544117\ 29321877*c_0101_5^10 - 65365186266114286444342751713/21833346433205\ 4411729321877*c_0101_5^9 - 6271448925985750266111481407/21833346433\ 2054411729321877*c_0101_5^8 + 36032086186462877518240414058/2183334\ 64332054411729321877*c_0101_5^7 + 25486706158899446785710091480/218\ 333464332054411729321877*c_0101_5^6 + 4409595489893683893303154836/218333464332054411729321877*c_0101_5^5 - 8277690902534050314508974142/218333464332054411729321877*c_0101_5\ ^4 - 4135199710225032726494399768/218333464332054411729321877*c_010\ 1_5^3 - 1181272453165701220094701283/218333464332054411729321877*c_\ 0101_5^2 + 375799816448718442203057806/218333464332054411729321877*\ c_0101_5 + 256848107637689103565946941/218333464332054411729321877, c_0101_0 - 38514643305634691836625064/218333464332054411729321877*c_010\ 1_5^23 + 68277606149824827054869453/218333464332054411729321877*c_0\ 101_5^22 + 1050700273902962879786473078/218333464332054411729321877\ *c_0101_5^21 + 413706554088709939011748952/218333464332054411729321\ 877*c_0101_5^20 - 9329841608853935075047937595/21833346433205441172\ 9321877*c_0101_5^19 - 14536034615625381608386642388/218333464332054\ 411729321877*c_0101_5^18 + 26729304937975626465870097278/2183334643\ 32054411729321877*c_0101_5^17 + 73938675932237428458747319683/21833\ 3464332054411729321877*c_0101_5^16 + 1013094048793964084659922285/218333464332054411729321877*c_0101_5^1\ 5 - 120338333120025874448816746450/218333464332054411729321877*c_01\ 01_5^14 - 8351218012079185964108978939/31190494904579201675617411*c\ _0101_5^13 + 108206985259798533340557840029/21833346433205441172932\ 1877*c_0101_5^12 + 92335936758592310102442686505/218333464332054411\ 729321877*c_0101_5^11 - 65325438330692558928480493905/2183334643320\ 54411729321877*c_0101_5^10 - 118617629884924469892619977009/2183334\ 64332054411729321877*c_0101_5^9 - 28610543399634361637022404447/218\ 333464332054411729321877*c_0101_5^8 + 51834271956551590708838932119/218333464332054411729321877*c_0101_5^\ 7 + 43885798672729108042756593742/218333464332054411729321877*c_010\ 1_5^6 + 9214987459477410559089091184/218333464332054411729321877*c_\ 0101_5^5 - 8261059820457153076965661236/218333464332054411729321877\ *c_0101_5^4 - 4778773178076110218106922554/218333464332054411729321\ 877*c_0101_5^3 - 1025762492730015979613358808/218333464332054411729\ 321877*c_0101_5^2 - 269529596946663330406622642/2183334643320544117\ 29321877*c_0101_5 - 183226599920544983019932486/2183334643320544117\ 29321877, c_0101_3 - 753198739677948910020713382261182/30186162528176496610622614\ 14667055*c_0101_5^23 + 1641770647437112858153474091927184/301861625\ 2817649661062261414667055*c_0101_5^22 + 20332785873136357953356250858959314/3018616252817649661062261414667\ 055*c_0101_5^21 - 152129971515070617004736412967571/431230893259664\ 237294608773523865*c_0101_5^20 - 1942540177871981950482538946498075\ 69/3018616252817649661062261414667055*c_0101_5^19 - 207903510972470589986971317678601682/301861625281764966106226141466\ 7055*c_0101_5^18 + 717887947792635180180020890280748044/30186162528\ 17649661062261414667055*c_0101_5^17 + 260891821482514795473298857946619840/603723250563529932212452282933\ 411*c_0101_5^16 - 855082395777684650673160948483178637/301861625281\ 7649661062261414667055*c_0101_5^15 - 561361241001630175183969162204132002/603723250563529932212452282933\ 411*c_0101_5^14 + 151583374484023144976887724412576091/301861625281\ 7649661062261414667055*c_0101_5^13 + 3418213056155510681602524587983860756/30186162528176496610622614146\ 67055*c_0101_5^12 + 771278035715998517554484731670146997/3018616252\ 817649661062261414667055*c_0101_5^11 - 2912348203589282584308626987672042414/30186162528176496610622614146\ 67055*c_0101_5^10 - 1829703000722431609333703404206063371/301861625\ 2817649661062261414667055*c_0101_5^9 + 1095576717657565531813935337499226241/30186162528176496610622614146\ 67055*c_0101_5^8 + 326370091564898128645842932264042168/60372325056\ 3529932212452282933411*c_0101_5^7 + 8405659389652728587498837274634403/86246178651932847458921754704773\ *c_0101_5^6 - 435111545385166353663061513420685413/3018616252817649\ 661062261414667055*c_0101_5^5 - 45908122409712254296923225321913946\ /431230893259664237294608773523865*c_0101_5^4 - 47463656063322348991552558350271741/3018616252817649661062261414667\ 055*c_0101_5^3 + 49139062180674444269990568274458093/30186162528176\ 49661062261414667055*c_0101_5^2 + 194886940191687927760847121401432\ 38/3018616252817649661062261414667055*c_0101_5 + 2416298523901388820628076309446717/30186162528176496610622614146670\ 55, c_0101_5^24 - c_0101_5^23 - 29*c_0101_5^22 - 31*c_0101_5^21 + 243*c_0101_5^20 + 563*c_0101_5^19 - 486*c_0101_5^18 - 2537*c_0101_5^17 - 1219*c_0101_5^16 + 3586*c_0101_5^15 + 3632*c_0101_5^14 - 2491*c_0101_5^13 - 4454*c_0101_5^12 + 721*c_0101_5^11 + 4455*c_0101_5^10 + 2440*c_0101_5^9 - 1183*c_0101_5^8 - 2075*c_0101_5^7 - 901*c_0101_5^6 + 100*c_0101_5^5 + 339*c_0101_5^4 + 134*c_0101_5^3 + 32*c_0101_5^2 - 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB