Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 2176851272] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0997 geometric_solution 4.88659421 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2103 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 1 1 0 0 -1 1 1 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557830670575 1.267195283532 0 0 2 3 0132 2103 3201 1023 0 0 0 0 0 -1 0 1 -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 0 0 0 0 -1 0 1 -1 0 0 1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557830670575 1.267195283532 1 4 4 0 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436353454241 0.713619579149 5 5 0 1 0132 3201 0132 1023 0 0 0 0 0 1 0 -1 0 0 1 -1 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 2 -1 -1 0 0 1 -1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.061180139829 0.308845043288 2 2 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.016716771049 1.241301710798 3 6 3 6 0132 0132 2310 1023 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 0 0 0 0 0 0 2 0 0 -2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.331514522987 4.338757614250 6 5 6 5 2031 0132 1302 1023 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.290441732986 0.096954191627 ==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' : negation(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' : 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' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : 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_2'], 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0101_5'], '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_2, c_0011_3, c_0101_0, c_0101_4, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 1752189725146668095002572628/39759257181583353549332917*c_0110_6^17 - 3667989070944491289685087889/238555543089500121295997502*c_0110_6\ ^16 + 155866821433562445297073193983/357833314634250181943996253*c_\ 0110_6^15 - 876000356987745580051117689872/357833314634250181943996\ 253*c_0110_6^14 - 162733896163837203007797641699/795185143631667070\ 98665834*c_0110_6^13 + 1706694306479323603674624700553/715666629268\ 500363887992506*c_0110_6^12 - 2764190404869928426526190903958/11927\ 7771544750060647998751*c_0110_6^11 - 1570398076914829446911464509305/715666629268500363887992506*c_0110_\ 6^10 + 8229689090862048668386099530004/119277771544750060647998751*\ c_0110_6^9 + 22243684900655988722960582313145/357833314634250181943\ 996253*c_0110_6^8 + 1477631423856913641029650501220/119277771544750\ 060647998751*c_0110_6^7 - 2695955105308942501666645912081/119277771\ 544750060647998751*c_0110_6^6 - 3270437514095272725418523575477/238\ 555543089500121295997502*c_0110_6^5 - 1469861574258348076709251363531/79518514363166707098665834*c_0110_6\ ^4 + 3837716426135782754202950673287/357833314634250181943996253*c_\ 0110_6^3 - 895646157135883283445235158191/3578333146342501819439962\ 53*c_0110_6^2 + 188347151237013768932181125395/11927777154475006064\ 7998751*c_0110_6 - 167149281518776020509238333493/71566662926850036\ 3887992506, c_0011_0 - 1, c_0011_2 - 124112871876124143677836264/357833314634250181943996253*c_01\ 01_4*c_0110_6^17 - 71502179826985960421640788/357833314634250181943\ 996253*c_0101_4*c_0110_6^16 + 1212817968836300567654106964/35783331\ 4634250181943996253*c_0101_4*c_0110_6^15 - 6617782712427060625748312237/357833314634250181943996253*c_0101_4*c\ _0110_6^14 - 7291380675010927569883438204/3578333146342501819439962\ 53*c_0101_4*c_0110_6^13 + 1728945219376856999769411619/119277771544\ 750060647998751*c_0101_4*c_0110_6^12 - 63951983411425073531245436264/357833314634250181943996253*c_0101_4*\ c_0110_6^11 - 6965947161623749278564886354/119277771544750060647998\ 751*c_0101_4*c_0110_6^10 + 190742431162847206223569623209/357833314\ 634250181943996253*c_0101_4*c_0110_6^9 + 218722490157331026049840073114/357833314634250181943996253*c_0101_4\ *c_0110_6^8 + 26747855681492336547986257684/11927777154475006064799\ 8751*c_0101_4*c_0110_6^7 - 16334959902641165439879056954/1192777715\ 44750060647998751*c_0101_4*c_0110_6^6 - 48896409379144253777622671933/357833314634250181943996253*c_0101_4*\ c_0110_6^5 - 20291983829515692143785052902/119277771544750060647998\ 751*c_0101_4*c_0110_6^4 + 5852605633981803958447249654/119277771544\ 750060647998751*c_0101_4*c_0110_6^3 - 2061999823934650512349778012/357833314634250181943996253*c_0101_4*c\ _0110_6^2 + 3372546719223930240427392221/35783331463425018194399625\ 3*c_0101_4*c_0110_6 - 525007038026317507801617511/35783331463425018\ 1943996253*c_0101_4, c_0011_3 - 133200266961268991288211407/357833314634250181943996253*c_01\ 01_4*c_0110_6^17 - 22550786768088211814148545/357833314634250181943\ 996253*c_0101_4*c_0110_6^16 + 147141342619748309992940560/397592571\ 81583353549332917*c_0101_4*c_0110_6^15 - 7635921090894750984846326987/357833314634250181943996253*c_0101_4*c\ _0110_6^14 - 538860883220948831347566029/39759257181583353549332917\ *c_0101_4*c_0110_6^13 + 8285588162335288206594848447/35783331463425\ 0181943996253*c_0101_4*c_0110_6^12 - 7930739199475318699612298582/39759257181583353549332917*c_0101_4*c_\ 0110_6^11 + 6016570144050725509465588300/35783331463425018194399625\ 3*c_0101_4*c_0110_6^10 + 69821581998752180932792679827/119277771544\ 750060647998751*c_0101_4*c_0110_6^9 + 50122109827577135319968924045/119277771544750060647998751*c_0101_4*\ c_0110_6^8 + 1686796709399210307408868315/1192777715447500606479987\ 51*c_0101_4*c_0110_6^7 - 24617279177590149825567831964/119277771544\ 750060647998751*c_0101_4*c_0110_6^6 - 29963807766807458960886790900/357833314634250181943996253*c_0101_4*\ c_0110_6^5 - 50372589142998391733728067663/357833314634250181943996\ 253*c_0101_4*c_0110_6^4 + 13683436133848890921322929721/11927777154\ 4750060647998751*c_0101_4*c_0110_6^3 - 13725739175478616571360765654/357833314634250181943996253*c_0101_4*\ c_0110_6^2 + 2140241012945290506078804815/1192777715447500606479987\ 51*c_0101_4*c_0110_6 - 136911363603790726996635789/3975925718158335\ 3549332917*c_0101_4, c_0101_0 - 31662597728921166181619392/357833314634250181943996253*c_010\ 1_4*c_0110_6^17 - 12884976551223055446567290/1192777715447500606479\ 98751*c_0101_4*c_0110_6^16 + 302181113716985959599531526/3578333146\ 34250181943996253*c_0101_4*c_0110_6^15 - 1487085961721355907215114112/357833314634250181943996253*c_0101_4*c\ _0110_6^14 - 2995000487310646819069706276/3578333146342501819439962\ 53*c_0101_4*c_0110_6^13 + 373978233133586536725167782/3578333146342\ 50181943996253*c_0101_4*c_0110_6^12 - 15228518030696761892923628986/357833314634250181943996253*c_0101_4*\ c_0110_6^11 - 16175464738075913493253748554/35783331463425018194399\ 6253*c_0101_4*c_0110_6^10 + 47508622484649509357360687305/357833314\ 634250181943996253*c_0101_4*c_0110_6^9 + 29183229896262719749124514923/119277771544750060647998751*c_0101_4*\ c_0110_6^8 + 16174011144133672366684010815/119277771544750060647998\ 751*c_0101_4*c_0110_6^7 - 2060743893931535007386199556/119277771544\ 750060647998751*c_0101_4*c_0110_6^6 - 19343665627752808846801226516/357833314634250181943996253*c_0101_4*\ c_0110_6^5 - 18708790440344160040860013718/357833314634250181943996\ 253*c_0101_4*c_0110_6^4 - 3680886360543653264047159217/357833314634\ 250181943996253*c_0101_4*c_0110_6^3 + 3784427636851488233415666683/357833314634250181943996253*c_0101_4*c\ _0110_6^2 - 708701195276379333247973357/357833314634250181943996253\ *c_0101_4*c_0110_6 + 86792849926801304586173129/1192777715447500606\ 47998751*c_0101_4, c_0101_4^2 + 26762166081549849306485041/79518514363166707098665834*c_01\ 10_6^17 + 51650018903411493125859064/357833314634250181943996253*c_\ 0110_6^16 - 395157593672274707750320501/119277771544750060647998751\ *c_0110_6^15 + 13190429603539170909451044013/7156666292685003638879\ 92506*c_0110_6^14 + 12226375651029845663254739501/71566662926850036\ 3887992506*c_0110_6^13 - 5987876611073956927725690079/3578333146342\ 50181943996253*c_0110_6^12 + 125755669945545981282750768301/7156666\ 29268500363887992506*c_0110_6^11 + 11005954943146693179754776268/357833314634250181943996253*c_0110_6^\ 10 - 187287899485870049060039208308/357833314634250181943996253*c_0\ 110_6^9 - 184846629962740450301862164989/35783331463425018194399625\ 3*c_0110_6^8 - 5508611244101981689741545740/39759257181583353549332\ 917*c_0110_6^7 + 37802295596254654661765118103/23855554308950012129\ 5997502*c_0110_6^6 + 27628053099967962275338798835/2385555430895001\ 21295997502*c_0110_6^5 + 54014191525749517443834097616/357833314634\ 250181943996253*c_0110_6^4 - 24949005428205979961735467414/35783331\ 4634250181943996253*c_0110_6^3 + 5129883460182652428377578538/35783\ 3314634250181943996253*c_0110_6^2 - 8160166044185821596263426857/715666629268500363887992506*c_0110_6 + 206443653097150669918743347/357833314634250181943996253, c_0101_5 + 120389542477743914030303309/357833314634250181943996253*c_01\ 10_6^17 + 8081582498064036605884379/119277771544750060647998751*c_0\ 110_6^16 - 133834480732259737558292402/39759257181583353549332917*c\ _0110_6^15 + 6858404483124247237499783851/3578333146342501819439962\ 53*c_0110_6^14 + 4685984904693032026384136008/357833314634250181943\ 996253*c_0110_6^13 - 865416834754350615282888718/397592571815833535\ 49332917*c_0110_6^12 + 63783475361198097280867429868/35783331463425\ 0181943996253*c_0110_6^11 - 332080745616231614167924432/39759257181\ 583353549332917*c_0110_6^10 - 193740832340047358176060812059/357833\ 314634250181943996253*c_0110_6^9 - 143383624536518750610496058377/357833314634250181943996253*c_0110_6\ ^8 + 1350351883797322528733264594/119277771544750060647998751*c_011\ 0_6^7 + 8996444916648529446367197249/39759257181583353549332917*c_0\ 110_6^6 + 33748544641531566627196187629/357833314634250181943996253\ *c_0110_6^5 + 42724783729518703876168831033/35783331463425018194399\ 6253*c_0110_6^4 - 38621012510420464988747088955/3578333146342501819\ 43996253*c_0110_6^3 + 7710154149209235186979677715/3578333146342501\ 81943996253*c_0110_6^2 - 4395903295525708834949503538/3578333146342\ 50181943996253*c_0110_6 + 991008349674906246118649618/3578333146342\ 50181943996253, c_0110_6^18 - 10*c_0110_6^16 + 59*c_0110_6^15 + 27*c_0110_6^14 - 70*c_0110_6^13 + 545*c_0110_6^12 - 134*c_0110_6^11 - 1580*c_0110_6^10 - 864*c_0110_6^9 + 202*c_0110_6^8 + 603*c_0110_6^7 + 131*c_0110_6^6 + 314*c_0110_6^5 - 388*c_0110_6^4 + 144*c_0110_6^3 - 57*c_0110_6^2 + 18*c_0110_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB