Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 3263389354] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s842 geometric_solution 5.42503395 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.274794597321 0.662458346745 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 -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 0 0 0 1 0 -1 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.722287255266 1.126093852621 1 3 0 4 1230 0132 0132 2310 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 0 1 0 0 0 0 -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.722287255266 1.126093852621 1 2 3 3 0132 0132 2031 1302 0 0 0 0 0 -1 0 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 1 0 -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.621842119014 0.806432711061 2 5 5 1 3201 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 -1 0 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.210573540603 0.482032729434 4 4 5 5 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 1.988169970636 1.993584054739 ==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_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_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_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 389615007144110572745821735575349939711/161916771134618834195441218\ 02525120610*c_0101_5^23 + 322040965154918270590064309067464633734/4\ 857503134038565025863236540757536183*c_0101_5^22 - 4937209456497125249044543173413336130197/16191677113461883419544121\ 802525120610*c_0101_5^21 - 4429078974923002034023633480429910026696\ /4857503134038565025863236540757536183*c_0101_5^20 - 7190524422732651911066823830966406489079/97150062680771300517264730\ 81515072366*c_0101_5^19 + 19078841224281430763926600117614732609172\ 6/24287515670192825129316182703787680915*c_0101_5^18 + 79559447320518743483141018969368482835643/4857503134038565025863236\ 5407575361830*c_0101_5^17 - 443470420080679423624977449615611220388\ 014/24287515670192825129316182703787680915*c_0101_5^16 + 199262044908771121794389765219758512833289/161916771134618834195441\ 21802525120610*c_0101_5^15 + 39850944938264732249857631157743389347\ 9533/24287515670192825129316182703787680915*c_0101_5^14 - 538606666480660536328283805850857487848967/242875156701928251293161\ 82703787680915*c_0101_5^13 - 20629716131294046736709728711451043894\ 0467/9715006268077130051726473081515072366*c_0101_5^12 + 158415596605169728845401201470656468681499/441591194003505911442112\ 4127961396530*c_0101_5^11 - 601118417175477444517897247409764025728\ 35/9715006268077130051726473081515072366*c_0101_5^10 + 46723896909569643722395970055091442634283/2428751567019282512931618\ 2703787680915*c_0101_5^9 - 2077074765641825248542531170840053569316\ 61/24287515670192825129316182703787680915*c_0101_5^8 - 41272967167382426193641079748884729680654/2428751567019282512931618\ 2703787680915*c_0101_5^7 + 1021214756461917478409270809873385996369\ /48575031340385650258632365407575361830*c_0101_5^6 + 109834082766356769823430827610975482475602/242875156701928251293161\ 82703787680915*c_0101_5^5 + 237096702045354637119219454758456578708\ 77/24287515670192825129316182703787680915*c_0101_5^4 - 65441666091644130551644685974133268254893/4857503134038565025863236\ 5407575361830*c_0101_5^3 - 1971446205358318124193601122618218354540\ 6/24287515670192825129316182703787680915*c_0101_5^2 + 74281522947933734970582660584191948021/1471970646678353038140374709\ 320465510*c_0101_5 + 2588021759564114583842475090535144047023/24287\ 515670192825129316182703787680915, c_0011_0 - 1, c_0011_1 + 42405869852515298836079750984952261/294394129335670607628074\ 941864093102*c_0101_5^23 + 176578513948878685368107376230072293/441\ 591194003505911442112412796139653*c_0101_5^22 - 1625746723141359441843345401394651455/88318238800701182288422482559\ 2279306*c_0101_5^21 - 2449013703409390935289741795860797684/4415911\ 94003505911442112412796139653*c_0101_5^20 - 3718048641866675405172041078313356185/88318238800701182288422482559\ 2279306*c_0101_5^19 + 7007884750417824460458545693868871167/1471970\ 64667835303814037470932046551*c_0101_5^18 + 3252423985442411177995090011762891753/29439412933567060762807494186\ 4093102*c_0101_5^17 - 51652136789737489342567605207747534188/441591\ 194003505911442112412796139653*c_0101_5^16 + 66242892688364453818717263533320867313/8831823880070118228842248255\ 92279306*c_0101_5^15 + 16991153440965938298498866792339641749/14719\ 7064667835303814037470932046551*c_0101_5^14 - 68561302899869899727571888822127144424/4415911940035059114421124127\ 96139653*c_0101_5^13 - 113585462672965096468181945183819555999/8831\ 82388007011822884224825592279306*c_0101_5^12 + 211964117362868286313367464116861958339/883182388007011822884224825\ 592279306*c_0101_5^11 - 31590115241893183284295574110068512519/8831\ 82388007011822884224825592279306*c_0101_5^10 - 10922556108369976963307866059504821983/4415911940035059114421124127\ 96139653*c_0101_5^9 - 1604741354287866817726463447760618138/1471970\ 64667835303814037470932046551*c_0101_5^8 - 16450526780996253297681102413586998797/4415911940035059114421124127\ 96139653*c_0101_5^7 + 2559681564718981112582934373607820653/2943941\ 29335670607628074941864093102*c_0101_5^6 + 13218485608173750053763342346755714497/4415911940035059114421124127\ 96139653*c_0101_5^5 + 469302663890447990804945170424889567/14719706\ 4667835303814037470932046551*c_0101_5^4 - 7985056708791305033936386636098205097/88318238800701182288422482559\ 2279306*c_0101_5^3 - 687873087974804083168441988313690503/147197064\ 667835303814037470932046551*c_0101_5^2 + 173087547029391447948678544484135631/294394129335670607628074941864\ 093102*c_0101_5 - 59850145524013571095916092191955913/4415911940035\ 05911442112412796139653, c_0011_4 - 129159830586958844117870858890705771/88318238800701182288422\ 4825592279306*c_0101_5^23 - 174525396529314351485024468151150155/44\ 1591194003505911442112412796139653*c_0101_5^22 + 1640247110369147912657872122400488427/88318238800701182288422482559\ 2279306*c_0101_5^21 + 2379566236957560376496630815366050893/4415911\ 94003505911442112412796139653*c_0101_5^20 + 1296869657689953047910015377266496081/29439412933567060762807494186\ 4093102*c_0101_5^19 - 20857870088766972848019914028229893445/441591\ 194003505911442112412796139653*c_0101_5^18 - 5890674690753754246363873528336838933/88318238800701182288422482559\ 2279306*c_0101_5^17 + 46871239668397477483400903502770823692/441591\ 194003505911442112412796139653*c_0101_5^16 - 74158253763043685830957725825251230883/8831823880070118228842248255\ 92279306*c_0101_5^15 - 36228644065336355987670755766088832873/44159\ 1194003505911442112412796139653*c_0101_5^14 + 59364851872062450529853091802937851384/4415911940035059114421124127\ 96139653*c_0101_5^13 + 91068183073420867627899032047058881819/88318\ 2388007011822884224825592279306*c_0101_5^12 - 61282458395960469581672554743621987561/2943941293356706076280749418\ 64093102*c_0101_5^11 + 20203030525131237467484351921552816865/29439\ 4129335670607628074941864093102*c_0101_5^10 - 17599532778906082399742444687143280608/4415911940035059114421124127\ 96139653*c_0101_5^9 + 7322680644089072127110718999136894159/1471970\ 64667835303814037470932046551*c_0101_5^8 + 7972773116443439437822882617138958610/44159119400350591144211241279\ 6139653*c_0101_5^7 - 1387168214954264610641671180752106117/29439412\ 9335670607628074941864093102*c_0101_5^6 - 8116185819682641750698027384412249316/44159119400350591144211241279\ 6139653*c_0101_5^5 - 1024116228311988108365802571848744321/14719706\ 4667835303814037470932046551*c_0101_5^4 + 4662885527391810089360812945255645345/88318238800701182288422482559\ 2279306*c_0101_5^3 + 1139121196659408929811257676211927009/44159119\ 4003505911442112412796139653*c_0101_5^2 + 1970167784329329690248424378643375345/88318238800701182288422482559\ 2279306*c_0101_5 - 12801051285282735683441976075451792/147197064667\ 835303814037470932046551, c_0101_0 + 157643204956440561126287054809951593/29439412933567060762807\ 4941864093102*c_0101_5^23 + 452340755956951009987326903530849103/29\ 4394129335670607628074941864093102*c_0101_5^22 - 5812613766194322621787086827349779587/88318238800701182288422482559\ 2279306*c_0101_5^21 - 18489437382387713666483241768595736113/883182\ 388007011822884224825592279306*c_0101_5^20 - 5637144432056456528774553101793258169/29439412933567060762807494186\ 4093102*c_0101_5^19 + 151185656381571360612267953870716527133/88318\ 2388007011822884224825592279306*c_0101_5^18 + 47740280028737144686654012368410535457/8831823880070118228842248255\ 92279306*c_0101_5^17 - 345950414711540548220716534617877624315/8831\ 82388007011822884224825592279306*c_0101_5^16 + 212067314632330192239208977130322609653/883182388007011822884224825\ 592279306*c_0101_5^15 + 329023121851644383678076365661030764663/883\ 182388007011822884224825592279306*c_0101_5^14 - 67098770651729658775865270651087577548/1471970646678353038140374709\ 32046551*c_0101_5^13 - 144312267176363864702785464966328073263/2943\ 94129335670607628074941864093102*c_0101_5^12 + 107547944802326700886190881494193753223/147197064667835303814037470\ 932046551*c_0101_5^11 - 45838925680096855029954560490190983550/4415\ 91194003505911442112412796139653*c_0101_5^10 + 15393107371096591616728700187861174661/2943941293356706076280749418\ 64093102*c_0101_5^9 - 68002103258415810069632700918707913412/441591\ 194003505911442112412796139653*c_0101_5^8 - 9682476362874856369439664010557859330/14719706466783530381403747093\ 2046551*c_0101_5^7 - 7122614072513098649572758484228006763/88318238\ 8007011822884224825592279306*c_0101_5^6 + 26090912317669413768187483641083814957/2943941293356706076280749418\ 64093102*c_0101_5^5 + 14361844416833891424221160023372045132/441591\ 194003505911442112412796139653*c_0101_5^4 - 7033024957493358687949606474456131075/29439412933567060762807494186\ 4093102*c_0101_5^3 - 13894486328287272821925861489249533267/8831823\ 88007011822884224825592279306*c_0101_5^2 - 255669998264350747707602108773344615/294394129335670607628074941864\ 093102*c_0101_5 + 287019496231870139916243370426016545/294394129335\ 670607628074941864093102, c_0101_1 + 60649961849913229435795955109118685/147197064667835303814037\ 470932046551*c_0101_5^23 + 525907820177696688282249184668338908/441\ 591194003505911442112412796139653*c_0101_5^22 - 2223258782098293695595229254966559771/44159119400350591144211241279\ 6139653*c_0101_5^21 - 7153091302308824961141546952305007763/4415911\ 94003505911442112412796139653*c_0101_5^20 - 2227333286483295875646757803045213822/14719706466783530381403747093\ 2046551*c_0101_5^19 + 57919835498190932115719772976627407530/441591\ 194003505911442112412796139653*c_0101_5^18 + 6509369785663597327044341376319681099/14719706466783530381403747093\ 2046551*c_0101_5^17 - 131949922157779111313426282317283283334/44159\ 1194003505911442112412796139653*c_0101_5^16 + 79539809412176239055952898814878613165/4415911940035059114421124127\ 96139653*c_0101_5^15 + 125314139632523621516585666357968437059/4415\ 91194003505911442112412796139653*c_0101_5^14 - 151860880055158391274973166606659965568/441591194003505911442112412\ 796139653*c_0101_5^13 - 164551230228454533227960205979809789593/441\ 591194003505911442112412796139653*c_0101_5^12 + 239430671766915614262427559729313454766/441591194003505911442112412\ 796139653*c_0101_5^11 - 33279159112493976226749292654421655832/4415\ 91194003505911442112412796139653*c_0101_5^10 + 24082970319509441732978070983778854213/4415911940035059114421124127\ 96139653*c_0101_5^9 - 50542772788127780592185412229303124636/441591\ 194003505911442112412796139653*c_0101_5^8 - 30699897897396148501283944986181006336/4415911940035059114421124127\ 96139653*c_0101_5^7 + 4093390454532142296105836434517456188/4415911\ 94003505911442112412796139653*c_0101_5^6 + 24182747000434527441274232397004851716/4415911940035059114421124127\ 96139653*c_0101_5^5 + 12258978445965513363848304049893861763/441591\ 194003505911442112412796139653*c_0101_5^4 - 6825300567274756733023276271065347193/44159119400350591144211241279\ 6139653*c_0101_5^3 - 4936845926109562376180008048128415250/44159119\ 4003505911442112412796139653*c_0101_5^2 - 301485703192692159512797797817265829/147197064667835303814037470932\ 046551*c_0101_5 + 158145294124403927610346628028705284/441591194003\ 505911442112412796139653, c_0101_5^24 + 3*c_0101_5^23 - 12*c_0101_5^22 - 41*c_0101_5^21 - 40*c_0101_5^20 + 319*c_0101_5^19 + 148*c_0101_5^18 - 743*c_0101_5^17 + 326*c_0101_5^16 + 809*c_0101_5^15 - 757*c_0101_5^14 - 1109*c_0101_5^13 + 1278*c_0101_5^12 + 109*c_0101_5^11 + 12*c_0101_5^10 - 333*c_0101_5^9 - 158*c_0101_5^8 - 15*c_0101_5^7 + 187*c_0101_5^6 + 87*c_0101_5^5 - 47*c_0101_5^4 - 47*c_0101_5^3 - 6*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