Magma V2.19-8 Tue Aug 20 2013 16:16:53 on localhost [Seed = 71669979] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1137 geometric_solution 5.00395840 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 -2 2 0 0 0 0 0 0 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.531738078286 0.165209267990 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 -1 2 0 0 0 0 -2 2 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.272250224007 0.300221354434 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 0 0 1 -1 1 -1 0 0 1 -2 1 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 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661363445747 0.727556232006 2 5 6 6 0132 0132 2310 0132 0 0 0 0 0 0 1 -1 0 0 0 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 0 -1 1 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.037136554729 0.488005723486 6 6 2 5 3201 1023 0132 2310 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.037136554729 0.488005723486 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.806905504742 1.428254366638 4 3 3 4 1023 3201 0132 2310 0 0 0 0 0 -1 1 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 1 -1 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.155040098332 2.037357959247 ==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' : 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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : d['c_0011_4'], 'c_1100_5' : d['c_0101_3'], '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' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], '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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(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' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_3']), '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: 28 Groebner basis: [ t + 7350120900750357927242410681326061823077/95729192309553453362429118\ 217099653031296*c_0101_5^27 - 7337471046177419486828094974344575399\ 9977/10636576923283717040269902024122183670144*c_0101_5^25 - 4415065540568336651773027394187892337479991/31909730769851151120809\ 706072366551010432*c_0101_5^23 - 1164272331351164228743974401453647\ 85198905565/95729192309553453362429118217099653031296*c_0101_5^21 - 95392647019575531788670912059953704756508663/1595486538492557556040\ 4853036183275505216*c_0101_5^19 - 923666936004241066994063213828284\ 549478127737/47864596154776726681214559108549826515648*c_0101_5^17 - 217212771712617941297084814105582612393071699/598307451934709083515\ 1819888568728314456*c_0101_5^15 - 801903309837767471019725340495126\ 449504566111/23932298077388363340607279554274913257824*c_0101_5^13 + 100945738402859959859917895749040108362033945/319097307698511511208\ 09706072366551010432*c_0101_5^11 - 684515937725798490780199562005216558574429779/957291923095534533624\ 29118217099653031296*c_0101_5^9 - 134413653690281618652842329195394\ 015292002387/95729192309553453362429118217099653031296*c_0101_5^7 - 27214411831035546493156428994574067466612487/9572919230955345336242\ 9118217099653031296*c_0101_5^5 + 4949996022193591490402920403264914\ 713876337/47864596154776726681214559108549826515648*c_0101_5^3 + 18763145516362942700853183189271155733387/5909209401824287244594390\ 01340121315008*c_0101_5, c_0011_0 - 1, c_0011_1 + 26957679041747312031397432723572635/332393028852616157508434\ 438253818239692*c_0101_5^26 - 255585594627954146385609285697190921/\ 36932558761401795278714937583757582188*c_0101_5^24 - 79442267584926142568787215234320004707/4431907051368215433445792510\ 05090986256*c_0101_5^22 - 2562289111281077364680892159674436433423/\ 1329572115410464630033737753015272958768*c_0101_5^20 - 1304149376229378093283936337186091155437/11079767628420538583614481\ 2751272746564*c_0101_5^18 - 305171796819508587001694585734608307259\ 11/664786057705232315016868876507636479384*c_0101_5^16 - 77098204213410649692814207063556491064777/6647860577052323150168688\ 76507636479384*c_0101_5^14 - 54237802226914256142553020124656742139\ 939/332393028852616157508434438253818239692*c_0101_5^12 - 16746217471488668998159379328132352595885/2215953525684107716722896\ 25502545493128*c_0101_5^10 + 24141185149889223600738382668874303774\ 267/332393028852616157508434438253818239692*c_0101_5^8 - 79226451786652902311585304917621007350569/1329572115410464630033737\ 753015272958768*c_0101_5^6 + 23031068046642685390468424976169545485\ 603/1329572115410464630033737753015272958768*c_0101_5^4 - 1963715627898080981150311696523829912823/66478605770523231501686887\ 6507636479384*c_0101_5^2 + 115644229585139426764577177757953255407/\ 73865117522803590557429875167515164376, c_0011_4 - 88098757093311497027276938310764039/132957211541046463003373\ 7753015272958768*c_0101_5^26 + 817504174125214973165023614473832187\ /147730235045607181114859750335030328752*c_0101_5^24 + 69649827918461682698470311717650391713/4431907051368215433445792510\ 05090986256*c_0101_5^22 + 2392776517745614210258589954141078332511/\ 1329572115410464630033737753015272958768*c_0101_5^20 + 2591333724778044019896117162999017030053/22159535256841077167228962\ 5502545493128*c_0101_5^18 + 321811743636004562436151399556227795146\ 95/664786057705232315016868876507636479384*c_0101_5^16 + 22052833556867750194356790522474333599997/1661965144263080787542172\ 19126909119846*c_0101_5^14 + 71683615947364618095212099367663042277\ 339/332393028852616157508434438253818239692*c_0101_5^12 + 72876733805610714557018612674383520723013/4431907051368215433445792\ 51005090986256*c_0101_5^10 - 16643947501455355230972613851064143473\ 279/1329572115410464630033737753015272958768*c_0101_5^8 + 87890998846440477233915094265449896300237/1329572115410464630033737\ 753015272958768*c_0101_5^6 - 36874131345366195545182683495796697709\ 55/1329572115410464630033737753015272958768*c_0101_5^4 + 3611592085421689897006344799204683616553/66478605770523231501686887\ 6507636479384*c_0101_5^2 - 34211523429286838099336415263675534177/7\ 3865117522803590557429875167515164376, c_0101_0 - 22587750167354593237169619530839546333/531828846164185852013\ 4951012061091835072*c_0101_5^27 + 680019143948380436659322711890795\ 612981/1772762820547286173378317004020363945024*c_0101_5^25 + 13247557370753968292703138113331980832323/1772762820547286173378317\ 004020363945024*c_0101_5^23 + 3389187506854275446669168006781564850\ 39067/5318288461641858520134951012061091835072*c_0101_5^21 + 88702738512160873631406391806701347949707/2954604700912143622297195\ 00670060657504*c_0101_5^19 + 24520157154844971804836107489725971442\ 20933/2659144230820929260067475506030545917536*c_0101_5^17 + 2069034515028834345483169112943426685359935/13295721154104646300337\ 37753015272958768*c_0101_5^15 + 88829624544393449132147462932356114\ 002281/83098257213154039377108609563454559923*c_0101_5^13 - 1340896865445829293557974328947943164571765/17727628205472861733783\ 17004020363945024*c_0101_5^11 + 38322049640095961838256615915466428\ 62535009/5318288461641858520134951012061091835072*c_0101_5^9 - 965478176003868220659081691174299920341573/531828846164185852013495\ 1012061091835072*c_0101_5^7 + 3759365603566182937255091778783685932\ 23837/5318288461641858520134951012061091835072*c_0101_5^5 - 42824107647490944446534056365217083961717/2659144230820929260067475\ 506030545917536*c_0101_5^3 + 32745453639794548074733565656558398074\ 29/886381410273643086689158502010181972512*c_0101_5, c_0101_2 - 10448004002354974939056221217685079117/797743269246278778020\ 2426518091637752608*c_0101_5^27 + 175980228409721052098009286115013\ 28061/147730235045607181114859750335030328752*c_0101_5^25 + 5927844312656520499821493848675012112075/26591442308209292600674755\ 06030545917536*c_0101_5^23 + 90536622918586491649823475051320944980\ 37/498589543278924236262651657380727359538*c_0101_5^21 + 52906635497034540344849332929679785894349/6647860577052323150168688\ 76507636479384*c_0101_5^19 + 88283191990375384260416025113061755339\ 5213/3988716346231393890101213259045818876304*c_0101_5^17 + 1115130921825384108990499410895747526255063/39887163462313938901012\ 13259045818876304*c_0101_5^15 - 14128282164987551173858558312931530\ 4398247/3988716346231393890101213259045818876304*c_0101_5^13 - 1451683485526756028439269050687749253450307/26591442308209292600674\ 75506030545917536*c_0101_5^11 + 29412030271250684256282960224595415\ 9167883/997179086557848472525303314761454719076*c_0101_5^9 - 1239175897639739721428947611401108975744075/79774326924627877802024\ 26518091637752608*c_0101_5^7 + 913915001863842422729822531016286267\ 71329/3988716346231393890101213259045818876304*c_0101_5^5 - 42557003461383810115430284978770398179973/3988716346231393890101213\ 259045818876304*c_0101_5^3 + 40683094756201231037839836319488008201\ 9/221595352568410771672289625502545493128*c_0101_5, c_0101_3 + 526177849913060401507454075992694923/33239302885261615750843\ 4438253818239692*c_0101_5^26 - 421086809926689137193675214681552017\ 89/295460470091214362229719500670060657504*c_0101_5^24 - 1252469222204671947999589173000602154347/44319070513682154334457925\ 1005090986256*c_0101_5^22 - 653097787597802706063132422615197699510\ 81/2659144230820929260067475506030545917536*c_0101_5^20 - 52703472678417357039935524873847053405091/4431907051368215433445792\ 51005090986256*c_0101_5^18 - 25106030806751458845649572362666478666\ 3473/664786057705232315016868876507636479384*c_0101_5^16 - 914402462616557123672908626417622505347685/132957211541046463003373\ 7753015272958768*c_0101_5^14 - 789632247697794377407639669900953006\ 985315/1329572115410464630033737753015272958768*c_0101_5^12 + 51227074293916345861974970912630324430191/4431907051368215433445792\ 51005090986256*c_0101_5^10 - 60874349552074092105195577906820726548\ 6877/2659144230820929260067475506030545917536*c_0101_5^8 + 3121345022470613057801236929810975367603/33239302885261615750843443\ 8253818239692*c_0101_5^6 - 5152023290165691974400822500997998375672\ 5/2659144230820929260067475506030545917536*c_0101_5^4 + 1242975716503411539798106030613892732745/66478605770523231501686887\ 6507636479384*c_0101_5^2 - 50109388204482618495155449938202009307/1\ 47730235045607181114859750335030328752, c_0101_5^28 - 90*c_0101_5^26 - 1788*c_0101_5^24 - 15572*c_0101_5^22 - 75633*c_0101_5^20 - 241144*c_0101_5^18 - 442910*c_0101_5^16 - 391492*c_0101_5^14 + 58323*c_0101_5^12 - 140002*c_0101_5^10 + 11392*c_0101_5^8 - 15728*c_0101_5^6 + 2837*c_0101_5^4 - 324*c_0101_5^2 + 162 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB