Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 1916006054] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1388 geometric_solution 5.23974013 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 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.277607578858 1.015105084524 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.619405577992 0.131783107586 0 3 4 0 3201 0132 0132 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 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.471509700488 0.718937551253 5 2 6 4 0132 0132 0132 3201 0 0 0 0 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 -1 1 0 1 0 -1 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.026056770379 1.011459073763 6 3 5 2 0132 2310 2310 0132 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 -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.026056770379 1.011459073763 3 4 5 5 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 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 -1 0 0 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.371799303814 0.377639829363 4 6 6 3 0132 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 1 0 -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.470493852010 0.852288974015 ==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' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 931093292228486571966558353543/199445807004280499135432847105*c_010\ 1_5^21 + 5580221252421602202238947883211/99722903502140249567716423\ 5525*c_0101_5^20 - 3140748205547650867258215634253/1994458070042804\ 99135432847105*c_0101_5^19 - 647664728436795983528508415838/3324096\ 78340467498559054745175*c_0101_5^18 - 2626526168500900025008780405769/36934408704496388728783860575*c_010\ 1_5^17 - 18142807262283695500637673394844/1994458070042804991354328\ 47105*c_0101_5^16 + 1482205479134556548228812645289/867155682627306\ 5179801428135*c_0101_5^15 - 8944818313613235424998881236517/1994458\ 07004280499135432847105*c_0101_5^14 + 342629970594428723589615210823564/997229035021402495677164235525*c_\ 0101_5^13 - 965736355032169815794085213142/369344087044963887287838\ 60575*c_0101_5^12 - 196250119368274001535657232078759/9972290350214\ 02495677164235525*c_0101_5^11 + 3631092118697298826982092227757/433\ 57784131365325899007140675*c_0101_5^10 + 484866627175939808662447503860638/997229035021402495677164235525*c_\ 0101_5^9 + 72505024763361158101959741764926/33240967834046749855905\ 4745175*c_0101_5^8 - 169747474830900500428140353786042/332409678340\ 467498559054745175*c_0101_5^7 - 48635016091672947483211259309539/99\ 7229035021402495677164235525*c_0101_5^6 - 46204282226662525227797200785404/997229035021402495677164235525*c_0\ 101_5^5 + 32739816323360947458728896355009/332409678340467498559054\ 745175*c_0101_5^4 - 5341149198901217572641988979872/398891614008560\ 99827086569421*c_0101_5^3 + 13817765225426421152910027839258/997229\ 035021402495677164235525*c_0101_5^2 - 38713891655697028880234424691121/997229035021402495677164235525*c_0\ 101_5 + 15645265918699458530829631002418/99722903502140249567716423\ 5525, c_0011_0 - 1, c_0011_2 + 4925869179872772108302975/16599734249211860102824207*c_0101_\ 5^21 - 6745470464458759028971933/16599734249211860102824207*c_0101_\ 5^20 - 33679740452418407975917061/82998671246059300514121035*c_0101\ _5^19 + 72490014807120206087654699/82998671246059300514121035*c_010\ 1_5^18 - 471792800183619643070943167/82998671246059300514121035*c_0\ 101_5^17 + 700369937236480903184786591/82998671246059300514121035*c\ _0101_5^16 - 12082517448393940599893123/3608637880263447848440045*c\ _0101_5^15 + 439966025810589833642286246/82998671246059300514121035\ *c_0101_5^14 + 173271912900430823458929666/829986712460593005141210\ 35*c_0101_5^13 - 827400823775065768140519373/8299867124605930051412\ 1035*c_0101_5^12 - 218741315263033684211739859/82998671246059300514\ 121035*c_0101_5^11 + 10793501534796874952783086/7217275760526895696\ 88009*c_0101_5^10 + 732984709879437780637304139/8299867124605930051\ 4121035*c_0101_5^9 - 2153288971717704598770066429/82998671246059300\ 514121035*c_0101_5^8 - 148299138390611686471854222/8299867124605930\ 0514121035*c_0101_5^7 + 577210552156802446661678844/829986712460593\ 00514121035*c_0101_5^6 + 360116100071830089998687288/82998671246059\ 300514121035*c_0101_5^5 - 474710060592590582199172128/8299867124605\ 9300514121035*c_0101_5^4 + 20055745513385531205018624/1659973424921\ 1860102824207*c_0101_5^3 - 2943179205552002673024043/16599734249211\ 860102824207*c_0101_5^2 + 36336134486570440041773857/82998671246059\ 300514121035*c_0101_5 + 52288467915826387493375018/8299867124605930\ 0514121035, c_0011_4 + 5762864337066270644059204019/7386881740899277745756772115*c_\ 0101_5^21 - 33137026646094695065740338937/3693440870449638872878386\ 0575*c_0101_5^20 - 5950686121816911724930588947/7386881740899277745\ 756772115*c_0101_5^19 + 60954577691845366708186901448/3693440870449\ 6388728783860575*c_0101_5^18 - 559491780032091611811468884184/36934\ 408704496388728783860575*c_0101_5^17 + 147699247020577010875711448361/7386881740899277745756772115*c_0101_\ 5^16 - 4289238050419870023193195477/321168771343446858511164005*c_0\ 101_5^15 + 157927241140338977714619819512/7386881740899277745756772\ 115*c_0101_5^14 + 176333998586486354975277648077/369344087044963887\ 28783860575*c_0101_5^13 - 672002381921980278786557362992/3693440870\ 4496388728783860575*c_0101_5^12 - 61330311072328624547435239007/369\ 34408704496388728783860575*c_0101_5^11 + 39815661857344555082502732006/1605843856717234292555820025*c_0101_5\ ^10 + 1100130192564887433521592545239/36934408704496388728783860575\ *c_0101_5^9 - 1531925533511329873363178808386/369344087044963887287\ 83860575*c_0101_5^8 - 13664021007018754148890373513/369344087044963\ 88728783860575*c_0101_5^7 - 80310425586459396314370839052/369344087\ 04496388728783860575*c_0101_5^6 + 458112545532257708389496881813/36\ 934408704496388728783860575*c_0101_5^5 - 345548998133535187280922486404/36934408704496388728783860575*c_0101\ _5^4 + 3522789881070925621256546657/1477376348179855549151354423*c_\ 0101_5^3 - 112335971996414371717840020486/3693440870449638872878386\ 0575*c_0101_5^2 + 41503155404584786926462545862/3693440870449638872\ 8783860575*c_0101_5 - 2586084683917660829004064136/3693440870449638\ 8728783860575, c_0101_0 - 3203269007098987179958466/16599734249211860102824207*c_0101_\ 5^21 - 32483039137832382481284617/82998671246059300514121035*c_0101\ _5^20 + 82874400988087290394447196/82998671246059300514121035*c_010\ 1_5^19 + 23633756710260341859337419/82998671246059300514121035*c_01\ 01_5^18 + 178457146944994173581079713/82998671246059300514121035*c_\ 0101_5^17 + 583128058409047949195035194/82998671246059300514121035*\ c_0101_5^16 - 50014541995635148946750492/3608637880263447848440045*\ c_0101_5^15 + 354967531343512480637136579/8299867124605930051412103\ 5*c_0101_5^14 - 1254223309210035133120166569/8299867124605930051412\ 1035*c_0101_5^13 - 20035057385974654990951809/829986712460593005141\ 21035*c_0101_5^12 + 1650423105131675150544352022/829986712460593005\ 14121035*c_0101_5^11 - 21039776332126882776301784/36086378802634478\ 48440045*c_0101_5^10 - 512324278156553183826528280/1659973424921186\ 0102824207*c_0101_5^9 - 740834848962514617830188097/829986712460593\ 00514121035*c_0101_5^8 + 3435595601514651068251351404/8299867124605\ 9300514121035*c_0101_5^7 + 102218686739547093730896384/829986712460\ 59300514121035*c_0101_5^6 - 169736809398815577618206356/16599734249\ 211860102824207*c_0101_5^5 - 405793679151902261164506386/8299867124\ 6059300514121035*c_0101_5^4 + 141997740524837392067859691/165997342\ 49211860102824207*c_0101_5^3 - 100467195857081611595481416/82998671\ 246059300514121035*c_0101_5^2 - 2782308000619608411472589/165997342\ 49211860102824207*c_0101_5 - 44894064809261032910300004/82998671246\ 059300514121035, c_0101_1 - 7510231022597528369856136/82998671246059300514121035*c_0101_\ 5^21 - 85257355334558351085543297/414993356230296502570605175*c_010\ 1_5^20 + 41307716231883233684378374/82998671246059300514121035*c_01\ 01_5^19 + 77900798742276601454319668/414993356230296502570605175*c_\ 0101_5^18 + 389242458995672932192685606/414993356230296502570605175\ *c_0101_5^17 + 60669898844511446604139492/1659973424921186010282420\ 7*c_0101_5^16 - 25418945961226751139000739/360863788026344784844004\ 5*c_0101_5^15 + 151152037152488910619256451/82998671246059300514121\ 035*c_0101_5^14 - 3042150684675827962164029843/41499335623029650257\ 0605175*c_0101_5^13 + 42016435810183891625475813/414993356230296502\ 570605175*c_0101_5^12 + 3959983687087397803596526628/41499335623029\ 6502570605175*c_0101_5^11 - 22776338169544678624294789/180431894013\ 17239242200225*c_0101_5^10 - 6801232983359206881543731411/414993356\ 230296502570605175*c_0101_5^9 - 2206618368164323040017533796/414993\ 356230296502570605175*c_0101_5^8 + 9759143204648234001157682782/414993356230296502570605175*c_0101_5^7 + 590897157191955263287986068/414993356230296502570605175*c_0101_5^\ 6 - 2575902343747118407157695212/414993356230296502570605175*c_0101\ _5^5 - 1283198777152341231090418134/414993356230296502570605175*c_0\ 101_5^4 + 85485048731949961629147735/16599734249211860102824207*c_0\ 101_5^3 - 339085722532344882313094341/414993356230296502570605175*c\ _0101_5^2 + 67447050282342633438831912/414993356230296502570605175*\ c_0101_5 - 143399425366496790198322931/414993356230296502570605175, c_0101_3 + 4122704697294799120450070073/7386881740899277745756772115*c_\ 0101_5^21 - 10496789979009081076726022729/3693440870449638872878386\ 0575*c_0101_5^20 - 6167732236216186648298980803/7386881740899277745\ 756772115*c_0101_5^19 + 28183865873125521945985040496/3693440870449\ 6388728783860575*c_0101_5^18 - 383469185608262393358285307643/36934\ 408704496388728783860575*c_0101_5^17 + 55446358904661216993097147011/7386881740899277745756772115*c_0101_5\ ^16 - 998931774880895731564034531/321168771343446858511164005*c_010\ 1_5^15 + 78981078337901037735084966673/7386881740899277745756772115\ *c_0101_5^14 + 510012072218743157432622652654/369344087044963887287\ 83860575*c_0101_5^13 - 296231703031938608273348076149/3693440870449\ 6388728783860575*c_0101_5^12 - 177493815059554452339807070049/36934\ 408704496388728783860575*c_0101_5^11 + 22563254371207577791704011452/1605843856717234292555820025*c_0101_5\ ^10 + 1085587931490891025045331728693/36934408704496388728783860575\ *c_0101_5^9 - 498248298551356305368082256567/3693440870449638872878\ 3860575*c_0101_5^8 - 368734524221682149679563285436/369344087044963\ 88728783860575*c_0101_5^7 - 160229711903042712521708307429/36934408\ 704496388728783860575*c_0101_5^6 - 35418106058973940603579207319/36934408704496388728783860575*c_0101_\ 5^5 - 182446372090559781944038566878/36934408704496388728783860575*\ c_0101_5^4 - 2315954052154105328851554970/1477376348179855549151354\ 423*c_0101_5^3 - 39818495997845353886149076537/36934408704496388728\ 783860575*c_0101_5^2 - 43284388606504419058850059831/36934408704496\ 388728783860575*c_0101_5 + 7472408881312770319863807723/36934408704\ 496388728783860575, c_0101_5^22 - 3/5*c_0101_5^21 - 7/5*c_0101_5^20 + 7/5*c_0101_5^19 - 93/5*c_0101_5^18 + 76/5*c_0101_5^17 - 8*c_0101_5^16 + 22*c_0101_5^15 + 93/5*c_0101_5^14 - 61/5*c_0101_5^13 - 10*c_0101_5^12 + 28*c_0101_5^11 + 264/5*c_0101_5^10 - 29*c_0101_5^9 - 78/5*c_0101_5^8 - 41/5*c_0101_5^7 + 9*c_0101_5^6 - 58/5*c_0101_5^5 - 14/5*c_0101_5^4 - 19/5*c_0101_5^3 - 3/5*c_0101_5^2 - 2/5*c_0101_5 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB