Magma V2.19-8 Tue Aug 20 2013 16:14:47 on localhost [Seed = 3297073315] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s767 geometric_solution 5.31466340 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 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.522137049181 0.248094972710 2 0 3 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 1 -1 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.915412055117 0.494308219972 1 4 3 5 0132 0132 3012 0132 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 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.863350625905 0.884792915958 5 2 4 1 3201 1230 1023 0132 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 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.863350625905 0.884792915958 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434129974339 0.890828118603 5 5 2 3 1230 3012 0132 2310 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 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.942530730206 1.021047792018 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : 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' : negation(d['1']), 's_0_4' : negation(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' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1151825532002792935201197051452150225011414434701643/40959269171157\ 60604987927068450616802874799612000*c_0101_1^22 - 1772286811068751188402449967915317892396069230091343/40959269171157\ 6060498792706845061680287479961200*c_0101_1^21 + 58707441087504229416146150714341098309476071108696289/2047963458557\ 880302493963534225308401437399806000*c_0101_1^20 - 209185344907958860453928270030406891187846916905047721/204796345855\ 7880302493963534225308401437399806000*c_0101_1^19 + 324956013814311975886280367847401080297578010515875739/409592691711\ 5760604987927068450616802874799612000*c_0101_1^18 + 591705760677489348741410102227897984855442512824590233/102398172927\ 8940151246981767112654200718699903000*c_0101_1^17 - 5662716688618192853999176648894171892859647025350331571/40959269171\ 15760604987927068450616802874799612000*c_0101_1^16 - 2721437420243665510950987367301949519593722662382925149/20479634585\ 57880302493963534225308401437399806000*c_0101_1^15 + 37921836094618374585709445969371701131882315661514391871/4095926917\ 115760604987927068450616802874799612000*c_0101_1^14 + 51739311119403232097835296851645678241757482627520045727/4095926917\ 115760604987927068450616802874799612000*c_0101_1^13 - 71224534408302776799144007307057534648315766257715019083/4095926917\ 115760604987927068450616802874799612000*c_0101_1^12 - 50505693116709645453999794928118022367330070513649969579/1023981729\ 278940151246981767112654200718699903000*c_0101_1^11 - 96527084174567017759195958195446815421916400899684225157/4095926917\ 115760604987927068450616802874799612000*c_0101_1^10 + 170884286479489667769514145788213198967441302478736106477/409592691\ 7115760604987927068450616802874799612000*c_0101_1^9 + 282624558184720932162985931721091858091427921741117040537/409592691\ 7115760604987927068450616802874799612000*c_0101_1^8 + 29010056435863253460677729086330504883964074783803240077/8191853834\ 23152120997585413690123360574959922400*c_0101_1^7 - 2132102242046911470152048628974371328861124277177262711/20479634585\ 5788030249396353422530840143739980600*c_0101_1^6 - 11145907479906358046292993974627995854802215295287891667/4095926917\ 11576060498792706845061680287479961200*c_0101_1^5 - 79580264688347253690985800038468260656596711038479898881/4095926917\ 115760604987927068450616802874799612000*c_0101_1^4 - 6443667711801514107534996750001512635423043114048519133/81918538342\ 3152120997585413690123360574959922400*c_0101_1^3 - 1580776171120292705863333620133945186559252261010846561/81918538342\ 3152120997585413690123360574959922400*c_0101_1^2 - 545130745617835777718285535206048135364358439254249679/204796345855\ 7880302493963534225308401437399806000*c_0101_1 - 12688926960886820255038660232660293130797795671734957/8191853834231\ 52120997585413690123360574959922400, c_0011_0 - 1, c_0011_1 - 99913204695650260850446367914239978961767/142060655610377848\ 02665096671124466232505*c_0101_1^22 + 306647735657840858248318369758542543308421/284121311220755696053301\ 9334224893246501*c_0101_1^21 - 101217046874147683445595842310929988\ 47506667/14206065561037784802665096671124466232505*c_0101_1^20 + 35870803093809657735192332477905828665915043/1420606556103778480266\ 5096671124466232505*c_0101_1^19 - 266868449855023614769540461105292\ 88679621496/14206065561037784802665096671124466232505*c_0101_1^18 - 206492774934705662936437844838932466230709633/142060655610377848026\ 65096671124466232505*c_0101_1^17 + 482737138413414218966993958146608914610010229/142060655610377848026\ 65096671124466232505*c_0101_1^16 + 492661391582014071309809285075992747530904087/142060655610377848026\ 65096671124466232505*c_0101_1^15 - 3270403624223341603072547766141875481435791424/14206065561037784802\ 665096671124466232505*c_0101_1^14 - 4624794795842769099879854459064741683612437928/14206065561037784802\ 665096671124466232505*c_0101_1^13 + 5998020447155363887053604194513824759631747902/14206065561037784802\ 665096671124466232505*c_0101_1^12 + 17790118873651359436405835070210758931327498284/1420606556103778480\ 2665096671124466232505*c_0101_1^11 + 9089515064247930821656256693218117727364752043/14206065561037784802\ 665096671124466232505*c_0101_1^10 - 14517261155815496980058568956650112223113974713/1420606556103778480\ 2665096671124466232505*c_0101_1^9 - 25161361669438671376580866750686155762919415863/1420606556103778480\ 2665096671124466232505*c_0101_1^8 - 2714080068822912865154357535125584583379163743/28412131122075569605\ 33019334224893246501*c_0101_1^7 + 649159831030980224354632904121989\ 947156778814/2841213112207556960533019334224893246501*c_0101_1^6 + 1973525802376837173540183833939843957791426924/28412131122075569605\ 33019334224893246501*c_0101_1^5 + 730041691296543120687850669125961\ 9824784274294/14206065561037784802665096671124466232505*c_0101_1^4 + 610533178528163153790403687047419005551654114/284121311220755696053\ 3019334224893246501*c_0101_1^3 + 1557489393778334748745641940762942\ 85889105952/2841213112207556960533019334224893246501*c_0101_1^2 + 113448594680791221064077788911969725924761027/142060655610377848026\ 65096671124466232505*c_0101_1 + 14426986395186800581228065654823746\ 98934711/2841213112207556960533019334224893246501, c_0011_3 + 3870829232274633086000906860965312220225186029407/4095926917\ 11576060498792706845061680287479961200*c_0101_1^22 - 5924132001928193353196910418613204835204697435487/40959269171157606\ 049879270684506168028747996120*c_0101_1^21 + 194820857248997035458329273830139978957876195147361/204796345855788\ 030249396353422530840143739980600*c_0101_1^20 - 686407418761718640560441387235749610969789678484329/204796345855788\ 030249396353422530840143739980600*c_0101_1^19 + 971627562060287583586973987117570510619061215151111/409592691711576\ 060498792706845061680287479961200*c_0101_1^18 + 2015287241866343638098394911453275629741651179889417/10239817292789\ 4015124698176711265420071869990300*c_0101_1^17 - 18390897424773390710455683533394494344195462019234679/4095926917115\ 76060498792706845061680287479961200*c_0101_1^16 - 9975506611365048413665346939948117488983826071841301/20479634585578\ 8030249396353422530840143739980600*c_0101_1^15 + 126174873468763358170031597352252034609979791457404779/409592691711\ 576060498792706845061680287479961200*c_0101_1^14 + 184555581288315187612875541022833188866683238758285923/409592691711\ 576060498792706845061680287479961200*c_0101_1^13 - 226627457835058184505954964123858185214390204352754967/409592691711\ 576060498792706845061680287479961200*c_0101_1^12 - 175143305402716542834633380835031194957444585807318071/102398172927\ 894015124698176711265420071869990300*c_0101_1^11 - 377103049330489448927086006407216825898225032721045393/409592691711\ 576060498792706845061680287479961200*c_0101_1^10 + 555602906984650711811081874749612605536261404171071873/409592691711\ 576060498792706845061680287479961200*c_0101_1^9 + 1000169838754738426397391919890603614202406775974152213/40959269171\ 1576060498792706845061680287479961200*c_0101_1^8 + 111628586629860693792366450451196842624954280931135313/819185383423\ 15212099758541369012336057495992240*c_0101_1^7 - 5706747606170974295176300829792478188271414905976119/20479634585578\ 803024939635342253084014373998060*c_0101_1^6 - 39113441626309222131159998840058562395581381564553943/4095926917115\ 7606049879270684506168028747996120*c_0101_1^5 - 295873966437524606778085851321775093807016440502992669/409592691711\ 576060498792706845061680287479961200*c_0101_1^4 - 25174276657688454196254573606302846276715410063420017/8191853834231\ 5212099758541369012336057495992240*c_0101_1^3 - 6535162837209235097973265344090718663712028739750349/81918538342315\ 212099758541369012336057495992240*c_0101_1^2 - 2429495649742071225541701478067460262165864765687871/20479634585578\ 8030249396353422530840143739980600*c_0101_1 - 63468371533164789937016661711190673032997370483553/8191853834231521\ 2099758541369012336057495992240, c_0011_5 + 403795859276744616754627579647871548056603697691/20479634585\ 5788030249396353422530840143739980600*c_0101_1^22 - 310910145926420774287344111089009779790757080313/102398172927894015\ 12469817671126542007186999030*c_0101_1^21 + 5155493328387118533712187559122969740735932265792/25599543231973503\ 781174544177816355017967497575*c_0101_1^20 - 18405107234144394589968735714123696406890523451163/2559954323197350\ 3781174544177816355017967497575*c_0101_1^19 + 116128902401475595961428790023058009280772037866593/204796345855788\ 030249396353422530840143739980600*c_0101_1^18 + 206749255542234065283651148574921299604979461277371/511990864639470\ 07562349088355632710035934995150*c_0101_1^17 - 1994511784779717085973049504739383845804269698767627/20479634585578\ 8030249396353422530840143739980600*c_0101_1^16 - 468968094061844757021715768111926220878017416051469/511990864639470\ 07562349088355632710035934995150*c_0101_1^15 + 13299452114109826162903014024690208357472570975284977/2047963458557\ 88030249396353422530840143739980600*c_0101_1^14 + 17957164475861618884463930248699295037753256641806899/2047963458557\ 88030249396353422530840143739980600*c_0101_1^13 - 25077593316898839066931136846089370110997787558122221/2047963458557\ 88030249396353422530840143739980600*c_0101_1^12 - 8797320728519244228102474053322007325585747137767474/25599543231973\ 503781174544177816355017967497575*c_0101_1^11 - 33206771379351989744490053336983218254157212599600409/2047963458557\ 88030249396353422530840143739980600*c_0101_1^10 + 59773871876645206447588898131554864234176147278151699/2047963458557\ 88030249396353422530840143739980600*c_0101_1^9 + 98201002251393285044732828646345312486231644214131869/2047963458557\ 88030249396353422530840143739980600*c_0101_1^8 + 10040021095110357664139176468177435488135106029846519/4095926917115\ 7606049879270684506168028747996120*c_0101_1^7 - 744364091929481892202490142211713625705272393524437/102398172927894\ 01512469817671126542007186999030*c_0101_1^6 - 3868531600976617332004626386705747157235441215604679/20479634585578\ 803024939635342253084014373998060*c_0101_1^5 - 27636761241962907296657499704553763190418775735397397/2047963458557\ 88030249396353422530840143739980600*c_0101_1^4 - 2244692377035577772813454196084880766155755532100151/40959269171157\ 606049879270684506168028747996120*c_0101_1^3 - 554757836586050911344609949548861391509694372321337/409592691711576\ 06049879270684506168028747996120*c_0101_1^2 - 97146252164610721017549667045498049357561599785149/5119908646394700\ 7562349088355632710035934995150*c_0101_1 - 4699270049117266664337436866818316710019357648239/40959269171157606\ 049879270684506168028747996120, c_0101_0 - 120899045353139771385060515688538750494470654873/40959269171\ 157606049879270684506168028747996120*c_0101_1^22 + 185896686692220475614916949551165314849572679961/409592691711576060\ 4987927068450616802874799612*c_0101_1^21 - 6152876490603009469399167449017848959687638364179/20479634585578803\ 024939635342253084014373998060*c_0101_1^20 + 21901244092884111167044873644345965083300444117111/2047963458557880\ 3024939635342253084014373998060*c_0101_1^19 - 33779977630988245891959319703775186271125006425849/4095926917115760\ 6049879270684506168028747996120*c_0101_1^18 - 62064985277057993039910737880333933985638860413093/1023981729278940\ 1512469817671126542007186999030*c_0101_1^17 + 591051408323863233694024026704396870242929165069121/409592691711576\ 06049879270684506168028747996120*c_0101_1^16 + 287790549008510533747384595700024545143503078171559/204796345855788\ 03024939635342253084014373998060*c_0101_1^15 - 3967091923543191247026159207321529306783046398406461/40959269171157\ 606049879270684506168028747996120*c_0101_1^14 - 5471917754342301151157993686766019590172830717514717/40959269171157\ 606049879270684506168028747996120*c_0101_1^13 + 7378182726883852516389627837554706898018926722394153/40959269171157\ 606049879270684506168028747996120*c_0101_1^12 + 5314184447411344025563119717910884882927198176736269/10239817292789\ 401512469817671126542007186999030*c_0101_1^11 + 10449874772318675952900867934353365088919410928764287/4095926917115\ 7606049879270684506168028747996120*c_0101_1^10 - 17679185190687670583660757624336716963399948566712887/4095926917115\ 7606049879270684506168028747996120*c_0101_1^9 - 29856803299370079042012800969261052547137132030753267/4095926917115\ 7606049879270684506168028747996120*c_0101_1^8 - 3144775845219784468682247006500141624376818240389047/81918538342315\ 21209975854136901233605749599224*c_0101_1^7 + 206946232068623878608427848925001842488875677907355/204796345855788\ 0302493963534225308401437399806*c_0101_1^6 + 1171955166713879698939197901393127772745103857498885/40959269171157\ 60604987927068450616802874799612*c_0101_1^5 + 8551768705733820997455071118821737424897386230076211/40959269171157\ 606049879270684506168028747996120*c_0101_1^4 + 708493366019279054959751721470357212098760167775295/819185383423152\ 1209975854136901233605749599224*c_0101_1^3 + 179460720014099787085350997326894975152952358782587/819185383423152\ 1209975854136901233605749599224*c_0101_1^2 + 65074318214644593375175202201299190213396923367829/2047963458557880\ 3024939635342253084014373998060*c_0101_1 + 1659933548661961760352554010810931113752929509959/81918538342315212\ 09975854136901233605749599224, c_0101_1^23 - 15*c_0101_1^22 + 96*c_0101_1^21 - 324*c_0101_1^20 + 143*c_0101_1^19 + 2159*c_0101_1^18 - 4117*c_0101_1^17 - 6601*c_0101_1^16 + 31027*c_0101_1^15 + 57604*c_0101_1^14 - 44026*c_0101_1^13 - 198807*c_0101_1^12 - 152539*c_0101_1^11 + 113834*c_0101_1^10 + 302064*c_0101_1^9 + 222900*c_0101_1^8 + 14485*c_0101_1^7 - 109990*c_0101_1^6 - 107217*c_0101_1^5 - 55820*c_0101_1^4 - 18360*c_0101_1^3 - 3831*c_0101_1^2 - 465*c_0101_1 - 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB