Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 374836004] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2765 geometric_solution 5.99917657 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 1 -1 0 0 1 -1 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.447898225651 0.441240497021 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -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.498733738500 0.714112990141 3 0 4 5 3201 0132 3201 2310 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 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.498733738500 0.714112990141 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 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 0 0 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.316950940437 1.412766600844 2 6 1 6 2310 0132 0132 2310 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.179501021117 1.250081872224 2 5 5 1 3201 1230 3012 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.955972470519 0.719410561508 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464804576933 0.227377939015 ==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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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_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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 324040442489677899161954145512073355/637660890650757565020770095498\ 6221*c_0110_6^24 - 415710821200330630248132202198580527/42510726043\ 38383766805133969990814*c_0110_6^23 - 2551202901555854691576861670823583163/63766089065075756502077009549\ 86221*c_0110_6^22 + 13324614729989926795755983252961765397/63766089\ 06507575650207700954986221*c_0110_6^21 - 16671582547644329226376970814161056093/6376608906507575650207700954\ 986221*c_0110_6^20 - 53545664236979700550626286493060837399/1275321\ 7813015151300415401909972442*c_0110_6^19 + 95732238757487864393970740115570182507/6376608906507575650207700954\ 986221*c_0110_6^18 - 36367799956737788305786167257996538971/4251072\ 604338383766805133969990814*c_0110_6^17 - 102992324776851787055542199041938626339/425107260433838376680513396\ 9990814*c_0110_6^16 + 504699012990753090594763123168275026135/12753\ 217813015151300415401909972442*c_0110_6^15 + 128663018185549932545191918702428109465/127532178130151513004154019\ 09972442*c_0110_6^14 - 42251286326968467190824348283530937799/70851\ 2100723063961134188994998469*c_0110_6^13 + 186827169706561374412244792232351911723/127532178130151513004154019\ 09972442*c_0110_6^12 + 310579584918626642615317594176844036843/6376\ 608906507575650207700954986221*c_0110_6^11 - 1725162330877704800831793379416230254/76826613331416574098887963313\ 087*c_0110_6^10 - 101678165229129484363661392451917499699/425107260\ 4338383766805133969990814*c_0110_6^9 + 177667515666785386609298511687450681241/127532178130151513004154019\ 09972442*c_0110_6^8 + 14268902601460359619942133339100622090/212553\ 6302169191883402566984995407*c_0110_6^7 - 20337298503065739483827396988279619931/4251072604338383766805133969\ 990814*c_0110_6^6 - 4048328943152677483480577517494479766/637660890\ 6507575650207700954986221*c_0110_6^5 + 10624033931128847961283923704951285399/1275321781301515130041540190\ 9972442*c_0110_6^4 - 660878563277331630058623664134143995/425107260\ 4338383766805133969990814*c_0110_6^3 - 405011318380548483101390080747122763/127532178130151513004154019099\ 72442*c_0110_6^2 + 133248718066822793619046800002441953/42510726043\ 38383766805133969990814*c_0110_6 + 41329435521383218829848291323554573/6376608906507575650207700954986\ 221, c_0011_0 - 1, c_0011_4 - 1471779313142690722025930802568585/7872356674700710679268766\ 6110941*c_0110_6^24 + 1609593932908427682334466584538747/1574471334\ 94014213585375332221882*c_0110_6^23 + 13446138813528819403934762610975473/7872356674700710679268766611094\ 1*c_0110_6^22 - 86582026625471955137504563354906619/157447133494014\ 213585375332221882*c_0110_6^21 + 2028767457760107127090499846044263\ 7/157447133494014213585375332221882*c_0110_6^20 + 164973579617155277652551560536564964/787235667470071067926876661109\ 41*c_0110_6^19 - 484062675773199689037751157991704001/1574471334940\ 14213585375332221882*c_0110_6^18 - 294108196929816543490879604429589587/157447133494014213585375332221\ 882*c_0110_6^17 + 1403134368167947357211643582576150649/15744713349\ 4014213585375332221882*c_0110_6^16 - 282629295547356329485252358682369453/787235667470071067926876661109\ 41*c_0110_6^15 - 2032663532968790176481935046217931845/157447133494\ 014213585375332221882*c_0110_6^14 + 1664411397849278630230253698328441943/15744713349401421358537533222\ 1882*c_0110_6^13 + 1789931619828188755574063528133887135/1574471334\ 94014213585375332221882*c_0110_6^12 - 941148964807609293926581788799091259/787235667470071067926876661109\ 41*c_0110_6^11 - 12444017070126038727618142808021569/18969534155905\ 32693799702797854*c_0110_6^10 + 60362681825089149426664537324396594\ 4/78723566747007106792687666110941*c_0110_6^9 + 188972873604953175143678507245917769/787235667470071067926876661109\ 41*c_0110_6^8 - 237453795694102317100828995554349843/78723566747007\ 106792687666110941*c_0110_6^7 - 32828954528985522335512135932824276\ /78723566747007106792687666110941*c_0110_6^6 + 112095676772301312872827260807408709/157447133494014213585375332221\ 882*c_0110_6^5 - 4652202664355121863900195139937065/157447133494014\ 213585375332221882*c_0110_6^4 - 12024907906518681894604582305482997\ /157447133494014213585375332221882*c_0110_6^3 + 1988037309568091091712406273704118/78723566747007106792687666110941\ *c_0110_6^2 - 242252885898521741807297415663477/1574471334940142135\ 85375332221882*c_0110_6 - 618602189294625525154742488256837/1574471\ 33494014213585375332221882, c_0101_0 - 377265787437870434812723666362940/78723566747007106792687666\ 110941*c_0110_6^24 + 476543756976009259647379311447364/787235667470\ 07106792687666110941*c_0110_6^23 + 3420165433412531796129749861684886/78723566747007106792687666110941\ *c_0110_6^22 - 27166717517201070592313774876038385/1574471334940142\ 13585375332221882*c_0110_6^21 + 19002767595318073449560330287884521\ /157447133494014213585375332221882*c_0110_6^20 + 86961665087838189422855457819941971/1574471334940142135853753322218\ 82*c_0110_6^19 - 184927290273834946342318141509171675/1574471334940\ 14213585375332221882*c_0110_6^18 - 4535696194821800613294244668441238/78723566747007106792687666110941\ *c_0110_6^17 + 219775363158325312040868272873811821/787235667470071\ 06792687666110941*c_0110_6^16 - 37794095804609602787518974683220010\ 3/157447133494014213585375332221882*c_0110_6^15 - 246906785728801583334087507714712710/787235667470071067926876661109\ 41*c_0110_6^14 + 802780824943314558687247009782932583/1574471334940\ 14213585375332221882*c_0110_6^13 + 137516306944291261480855269624703857/787235667470071067926876661109\ 41*c_0110_6^12 - 418320167636305460371532320585286104/7872356674700\ 7106792687666110941*c_0110_6^11 - 589308015039947613195052564769633\ /1896953415590532693799702797854*c_0110_6^10 + 517325842009490206831801350059789539/157447133494014213585375332221\ 882*c_0110_6^9 - 30570562673096853534117722336357025/15744713349401\ 4213585375332221882*c_0110_6^8 - 9626675782299871318497906490165553\ 4/78723566747007106792687666110941*c_0110_6^7 + 27848894223815429236814702330950453/1574471334940142135853753322218\ 82*c_0110_6^6 + 37981864847646343668492991073727175/157447133494014\ 213585375332221882*c_0110_6^5 - 5347470324659574706973038355851833/\ 78723566747007106792687666110941*c_0110_6^4 - 1058063084254507598823236193351260/78723566747007106792687666110941\ *c_0110_6^3 + 1490668956983564878393367574941843/157447133494014213\ 585375332221882*c_0110_6^2 - 157212537163538654622753460717411/7872\ 3566747007106792687666110941*c_0110_6 - 155210001489755857658242807331523/157447133494014213585375332221882\ , c_0101_1 + 2791235942164205786949488190675/7872356674700710679268766611\ 0941*c_0110_6^24 - 753095435206860488993269368888005/15744713349401\ 4213585375332221882*c_0110_6^23 - 70695939337409591567032569984639/\ 78723566747007106792687666110941*c_0110_6^22 + 3578679730527098379281608665540563/78723566747007106792687666110941\ *c_0110_6^21 - 8926162914316940905839768022988501/78723566747007106\ 792687666110941*c_0110_6^20 - 8692237782793895320128127968472013/15\ 7447133494014213585375332221882*c_0110_6^19 + 43926779105161686341450162557558574/7872356674700710679268766611094\ 1*c_0110_6^18 - 77730774523868673331461231787485433/157447133494014\ 213585375332221882*c_0110_6^17 - 1383278286033998850250946667026323\ 71/157447133494014213585375332221882*c_0110_6^16 + 322154653775503592856742581386222037/157447133494014213585375332221\ 882*c_0110_6^15 + 19280348118525237320400240096899415/1574471334940\ 14213585375332221882*c_0110_6^14 - 279760091025824363364789083615296713/787235667470071067926876661109\ 41*c_0110_6^13 + 194001061432322551025579560812464751/1574471334940\ 14213585375332221882*c_0110_6^12 + 274607742922463454893989556993753297/787235667470071067926876661109\ 41*c_0110_6^11 - 1537094350190018196207191488295021/948476707795266\ 346899851398927*c_0110_6^10 - 330094915698348035066680073521151247/\ 157447133494014213585375332221882*c_0110_6^9 + 149048106675807956881682369166709787/157447133494014213585375332221\ 882*c_0110_6^8 + 58900255957911020726257891845261906/78723566747007\ 106792687666110941*c_0110_6^7 - 48878752285491347513596357041542443\ /157447133494014213585375332221882*c_0110_6^6 - 10432821948010903275680385738229090/7872356674700710679268766611094\ 1*c_0110_6^5 + 10046981148612993424993605957988181/1574471334940142\ 13585375332221882*c_0110_6^4 + 759182772394672983332528099105703/15\ 7447133494014213585375332221882*c_0110_6^3 - 734404291017271474538739463416463/157447133494014213585375332221882\ *c_0110_6^2 + 292011001403648524768309154216669/1574471334940142135\ 85375332221882*c_0110_6 + 88418192955136570813879427834007/78723566\ 747007106792687666110941, c_0101_2 - 564561381099413141728855736883270/78723566747007106792687666\ 110941*c_0110_6^24 + 261366784271829895450839445257392/787235667470\ 07106792687666110941*c_0110_6^23 + 11157038371524387969999333683358735/1574471334940142135853753322218\ 82*c_0110_6^22 - 16410795650634547070132765760252939/78723566747007\ 106792687666110941*c_0110_6^21 - 905966490258151320634189219590440/\ 78723566747007106792687666110941*c_0110_6^20 + 75301719072095590425926934406924318/7872356674700710679268766611094\ 1*c_0110_6^19 - 185059151804192038756064298111530189/15744713349401\ 4213585375332221882*c_0110_6^18 - 102647680472450761288817687969761\ 687/78723566747007106792687666110941*c_0110_6^17 + 658530275318404608729841015218192085/157447133494014213585375332221\ 882*c_0110_6^16 - 136861371999488600291532364611335659/157447133494\ 014213585375332221882*c_0110_6^15 - 1115998527794581532010657522624903147/15744713349401421358537533222\ 1882*c_0110_6^14 + 761637939313784039451662446411700645/15744713349\ 4014213585375332221882*c_0110_6^13 + 562264367856135768029531261985790364/787235667470071067926876661109\ 41*c_0110_6^12 - 1050157527334991908908925825239124395/157447133494\ 014213585375332221882*c_0110_6^11 - 4386641937773348724775363613693279/948476707795266346899851398927*c\ _0110_6^10 + 388766906934143962698911831958934473/78723566747007106\ 792687666110941*c_0110_6^9 + 301620969501006968229915972104498549/1\ 57447133494014213585375332221882*c_0110_6^8 - 344714439819974627715098988800982313/157447133494014213585375332221\ 882*c_0110_6^7 - 32502844511295699815373429541665534/78723566747007\ 106792687666110941*c_0110_6^6 + 91612637815087596207052714194798703\ /157447133494014213585375332221882*c_0110_6^5 - 439315773557013074324125240242976/78723566747007106792687666110941*\ c_0110_6^4 - 11951781730121943190553211041069559/157447133494014213\ 585375332221882*c_0110_6^3 + 3095718035979084467910188587767995/157\ 447133494014213585375332221882*c_0110_6^2 - 185701382203049987183127487299045/157447133494014213585375332221882\ *c_0110_6 - 588926425250614124252616148283745/157447133494014213585\ 375332221882, c_0101_5 + 1023697963722339391161164594388410/7872356674700710679268766\ 6110941*c_0110_6^24 - 455659262754179524904702030873366/78723566747\ 007106792687666110941*c_0110_6^23 - 18220176446278590647489849047614729/1574471334940142135853753322218\ 82*c_0110_6^22 + 57937418446418085607500288765132951/15744713349401\ 4213585375332221882*c_0110_6^21 - 131046645384585862860738822459831\ 51/157447133494014213585375332221882*c_0110_6^20 - 213042060572380726196375083492269875/157447133494014213585375332221\ 882*c_0110_6^19 + 152436446670823726364402133779413236/787235667470\ 07106792687666110941*c_0110_6^18 + 90921052416593689727876140767602277/7872356674700710679268766611094\ 1*c_0110_6^17 - 855606747819799108476261452688239081/15744713349401\ 4213585375332221882*c_0110_6^16 + 157092506907919170819852661932218\ 776/78723566747007106792687666110941*c_0110_6^15 + 1218585340725773651162732263375510859/15744713349401421358537533222\ 1882*c_0110_6^14 - 432433785472270495277552242464207815/78723566747\ 007106792687666110941*c_0110_6^13 - 544403342431259517003483309933255913/787235667470071067926876661109\ 41*c_0110_6^12 + 896211996616900118830829393326699077/1574471334940\ 14213585375332221882*c_0110_6^11 + 7984552576850450892672832592193029/1896953415590532693799702797854*\ c_0110_6^10 - 520781151270166095818422635292423687/1574471334940142\ 13585375332221882*c_0110_6^9 - 131020760208232659719177637763952516\ /78723566747007106792687666110941*c_0110_6^8 + 187076718714078446663272983015124863/157447133494014213585375332221\ 882*c_0110_6^7 + 54100261242269864995246513939118323/15744713349401\ 4213585375332221882*c_0110_6^6 - 2103780757367718139479840419403509\ 9/78723566747007106792687666110941*c_0110_6^5 - 711682803064879230272044204597990/78723566747007106792687666110941*\ c_0110_6^4 + 4885584106208678582809876012543073/1574471334940142135\ 85375332221882*c_0110_6^3 - 1028958629786069865007016354502425/7872\ 3566747007106792687666110941*c_0110_6^2 - 324612128984285256166480968848529/157447133494014213585375332221882\ *c_0110_6 + 187718386512261232242592712980144/787235667470071067926\ 87666110941, c_0110_6^25 - 1/10*c_0110_6^24 - 97/10*c_0110_6^23 + 127/5*c_0110_6^22 + 91/10*c_0110_6^21 - 618/5*c_0110_6^20 + 573/5*c_0110_6^19 + 1034/5*c_0110_6^18 - 2367/5*c_0110_6^17 - 283/5*c_0110_6^16 + 9043/10*c_0110_6^15 - 2867/10*c_0110_6^14 - 1052*c_0110_6^13 + 951/2*c_0110_6^12 + 807*c_0110_6^11 - 1829/5*c_0110_6^10 - 4069/10*c_0110_6^9 + 824/5*c_0110_6^8 + 249/2*c_0110_6^7 - 238/5*c_0110_6^6 - 93/5*c_0110_6^5 + 43/5*c_0110_6^4 - 1/5*c_0110_6^3 - 7/10*c_0110_6^2 + 1/2*c_0110_6 + 1/10 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB