Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 3170705532] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0389 geometric_solution 4.45640031 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.378619353618 0.123444769029 0 2 2 0 0132 0132 3201 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 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.984054444039 0.378311778977 1 1 3 3 2310 0132 0132 3201 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 1 0 -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.293195183132 0.238161579135 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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 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.953920520243 0.767321822356 3 6 5 5 0132 0132 3012 1230 0 0 0 0 0 -1 1 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 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.235061940200 1.141300759274 4 4 6 3 3012 1230 0132 0132 0 0 0 0 0 0 1 -1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.235061940200 1.141300759274 6 4 6 5 2031 0132 1302 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 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.405222762435 0.604599340453 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_0'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 692455999567336989742152413409487460656784280685585/406615553918437\ 830665556377087298667281007065344*c_0101_5^29 - 3088270951492574322500432572764981421547240522563485/10165388847960\ 9457666389094271824666820251766336*c_0101_5^27 - 25868674598734114399478970753687660549164793646221045/5082694423980\ 4728833194547135912333410125883168*c_0101_5^25 - 503401850333978751635774358673547226929708955914742295/203307776959\ 218915332778188543649333640503532672*c_0101_5^23 + 58690963271496019558119063106689369944015296352333912139/4066155539\ 18437830665556377087298667281007065344*c_0101_5^21 - 465634550616628094790781421308328746937537765743842521519/406615553\ 918437830665556377087298667281007065344*c_0101_5^19 + 1020968830867619106564882460682574003109617513177614251257/20330777\ 6959218915332778188543649333640503532672*c_0101_5^17 - 695394979473690615377258102636982878168362533427697679497/508269442\ 39804728833194547135912333410125883168*c_0101_5^15 + 4828296706659511255140264345684902632657283874459360276541/20330777\ 6959218915332778188543649333640503532672*c_0101_5^13 - 5174305656488172577982391875074252525671474626624777738487/20330777\ 6959218915332778188543649333640503532672*c_0101_5^11 + 5841517975745283302768508830535011705853466148824259284139/40661555\ 3918437830665556377087298667281007065344*c_0101_5^9 - 1707513493723204974688685577769721936237217596568999744049/40661555\ 3918437830665556377087298667281007065344*c_0101_5^7 + 65311057711911335241198102804268033424601241009715563001/1016538884\ 79609457666389094271824666820251766336*c_0101_5^5 - 612522818083534809991689975775129451275224564099460439/127067360599\ 51182208298636783978083352531470792*c_0101_5^3 + 8613332322658030474014058578618280791799511769511565/63533680299755\ 91104149318391989041676265735396*c_0101_5, c_0011_0 - 1, c_0011_3 + 60954308910661278409780157331076769975206817947/508269442398\ 04728833194547135912333410125883168*c_0101_5^28 - 543765805748274282819485498768504412024735862003/254134721199023644\ 16597273567956166705062941584*c_0101_5^26 - 2276822309447332588931853183908467561662723188899/63533680299755911\ 04149318391989041676265735396*c_0101_5^24 - 44292075944631998505426668191814691624509596007205/2541347211990236\ 4416597273567956166705062941584*c_0101_5^22 + 5166550064345991566753511980082799975164881936212357/50826944239804\ 728833194547135912333410125883168*c_0101_5^20 - 40999550731322604642980293866952629159581679624171459/5082694423980\ 4728833194547135912333410125883168*c_0101_5^18 + 44958406630597226251927156667030924619828960008111625/1270673605995\ 1182208298636783978083352531470792*c_0101_5^16 - 122522556033102194887147933767955771752790371358565325/127067360599\ 51182208298636783978083352531470792*c_0101_5^14 + 425531243561483895559430361673631989839470627033266287/254134721199\ 02364416597273567956166705062941584*c_0101_5^12 - 456338500539869198344632037655830633437210918932627727/254134721199\ 02364416597273567956166705062941584*c_0101_5^10 + 515957323037514813527646418060241279908629443479092373/508269442398\ 04728833194547135912333410125883168*c_0101_5^8 - 151169690379734252476688498738661606295055426528149305/508269442398\ 04728833194547135912333410125883168*c_0101_5^6 + 11596889263396194833840467987922449864479890930686991/2541347211990\ 2364416597273567956166705062941584*c_0101_5^4 - 54555676160312856350054444139334170659140843714502/1588342007493897\ 776037329597997260419066433849*c_0101_5^2 + 1539281604162417751198803904279416328988615016358/15883420074938977\ 76037329597997260419066433849, c_0011_5 - 92430044653837852894199606432651709410603215855/508269442398\ 04728833194547135912333410125883168*c_0101_5^28 + 824561882507350484567772282032205263353427808255/254134721199023644\ 16597273567956166705062941584*c_0101_5^26 + 3452511423619965463379501415986328493088177688939/63533680299755911\ 04149318391989041676265735396*c_0101_5^24 + 67162237922946432929624496177064829733915157429729/2541347211990236\ 4416597273567956166705062941584*c_0101_5^22 - 7834480552265819620543185658685352139206319759403793/50826944239804\ 728833194547135912333410125883168*c_0101_5^20 + 62171838039651675989577784594837849604931883797477287/5082694423980\ 4728833194547135912333410125883168*c_0101_5^18 - 68175785377199523766862271780114166213422993460383193/1270673605995\ 1182208298636783978083352531470792*c_0101_5^16 + 185798200567489538150318541072437377753054616133846169/127067360599\ 51182208298636783978083352531470792*c_0101_5^14 - 645306494239127112359080618462902851717101305840607987/254134721199\ 02364416597273567956166705062941584*c_0101_5^12 + 692048822961373403563290307655001061597637959694901251/254134721199\ 02364416597273567956166705062941584*c_0101_5^10 - 782522585337259354860151419192119637482689186041371585/508269442398\ 04728833194547135912333410125883168*c_0101_5^8 + 229299100373595549218049229318446340566667081211675717/508269442398\ 04728833194547135912333410125883168*c_0101_5^6 - 17593046940123526947456053946762765644411431448833083/2541347211990\ 2364416597273567956166705062941584*c_0101_5^4 + 82775594380688608588359539341291230720512103550232/1588342007493897\ 776037329597997260419066433849*c_0101_5^2 - 2336778289826191678546704025792545162685964566506/15883420074938977\ 76037329597997260419066433849, c_0101_0 + 4352978062140649432612320248974422969441004527865/1016538884\ 79609457666389094271824666820251766336*c_0101_5^29 - 38828608409909013747543579301317127809542802628351/5082694423980472\ 8833194547135912333410125883168*c_0101_5^27 - 81306566279202351537994810494785671219339477834663/6353368029975591\ 104149318391989041676265735396*c_0101_5^25 - 3164203047581886548845485438390713558811917432590135/50826944239804\ 728833194547135912333410125883168*c_0101_5^23 + 368951533557010497155715206839412261298601549670682063/101653888479\ 609457666389094271824666820251766336*c_0101_5^21 - 2927296692061687735998729188920825359753374145365726741/10165388847\ 9609457666389094271824666820251766336*c_0101_5^19 + 1604706391752030258335849515008455168454914854898044269/12706736059\ 951182208298636783978083352531470792*c_0101_5^17 - 8744472946677379272949971436765023858810691216561083787/25413472119\ 902364416597273567956166705062941584*c_0101_5^15 + 30360490285701777176154721042725091705201598941956053709/5082694423\ 9804728833194547135912333410125883168*c_0101_5^13 - 32541521665251246386247275059948964664609248789188755761/5082694423\ 9804728833194547135912333410125883168*c_0101_5^11 + 36751214454363585898096434327515915140250707137254192911/1016538884\ 79609457666389094271824666820251766336*c_0101_5^9 - 10749442896790038249586795733563552651111224154619093223/1016538884\ 79609457666389094271824666820251766336*c_0101_5^7 + 823076073738723482900926840399192151379909037039972575/508269442398\ 04728833194547135912333410125883168*c_0101_5^5 - 15458679059601019985826132476296778005712096991571875/1270673605995\ 1182208298636783978083352531470792*c_0101_5^3 + 108898487662881049866238523324421055841889738694703/317668401498779\ 5552074659195994520838132867698*c_0101_5, c_0101_1 + 255038771836032254798704666869050640536073660701/12706736059\ 951182208298636783978083352531470792*c_0101_5^28 - 4550057803421918647455868255815851608924091428393/12706736059951182\ 208298636783978083352531470792*c_0101_5^26 - 38108260976261855294200497359381104750705261280833/6353368029975591\ 104149318391989041676265735396*c_0101_5^24 - 185364758967644771825259378981375307112576450470235/635336802997559\ 1104149318391989041676265735396*c_0101_5^22 + 21616924946223388059744487446480375911272142882273661/1270673605995\ 1182208298636783978083352531470792*c_0101_5^20 - 85761213028924480482817113457777584711122166011016347/6353368029975\ 591104149318391989041676265735396*c_0101_5^18 + 752257400093962442408125122794321513666197133835140435/127067360599\ 51182208298636783978083352531470792*c_0101_5^16 - 256224214914612445100204156382202316418999161686854598/158834200749\ 3897776037329597997260419066433849*c_0101_5^14 + 1779413832917373272847968531373052748531054198367244291/63533680299\ 75591104149318391989041676265735396*c_0101_5^12 - 476902783195164839292982593496254580907384950868689643/158834200749\ 3897776037329597997260419066433849*c_0101_5^10 + 2155296443523244570240102126203833707622752192006141097/12706736059\ 951182208298636783978083352531470792*c_0101_5^8 - 78851688374937926231080469710145037058912973119636039/1588342007493\ 897776037329597997260419066433849*c_0101_5^6 + 96672039240409747487368183291596297430199847741840599/1270673605995\ 1182208298636783978083352531470792*c_0101_5^4 - 3633779347304382793424652729247538786292641545994027/63533680299755\ 91104149318391989041676265735396*c_0101_5^2 + 25609562451409130008908586732681156006436702460297/1588342007493897\ 776037329597997260419066433849, c_0101_2 + 373165525346331970087988233753708933047915034219/25413472119\ 902364416597273567956166705062941584*c_0101_5^29 - 6657750729895193665560104984773060816388458376179/25413472119902364\ 416597273567956166705062941584*c_0101_5^27 - 55756858363266585048515361860030974873996478982913/1270673605995118\ 2208298636783978083352531470792*c_0101_5^25 - 271185033348157118304375439305776161384696199677173/127067360599511\ 82208298636783978083352531470792*c_0101_5^23 + 31629627815986402658212499266364985767195885622535739/2541347211990\ 2364416597273567956166705062941584*c_0101_5^21 - 125493298693837772419357705453723333695454127311757687/127067360599\ 51182208298636783978083352531470792*c_0101_5^19 + 1100836035393396049343002568480577888129502923998009645/25413472119\ 902364416597273567956166705062941584*c_0101_5^17 - 749966149737973984092185806874541113189816780118932663/635336802997\ 5591104149318391989041676265735396*c_0101_5^15 + 2604470986318992569980294302242718308366609358884367253/12706736059\ 951182208298636783978083352531470792*c_0101_5^13 - 349079978560256253290172220851569865682108211819549175/158834200749\ 3897776037329597997260419066433849*c_0101_5^11 + 3156541652167804762064951569608953715081576633775856255/25413472119\ 902364416597273567956166705062941584*c_0101_5^9 - 231106951612942898072320596111789549260002229327089889/635336802997\ 5591104149318391989041676265735396*c_0101_5^7 + 141761750824634381505318072789414831907926528228763777/254134721199\ 02364416597273567956166705062941584*c_0101_5^5 - 5331628456925646217819698361275383342849347943367323/12706736059951\ 182208298636783978083352531470792*c_0101_5^3 + 37582151226758244827819260410177061006514061569213/3176684014987795\ 552074659195994520838132867698*c_0101_5, c_0101_5^30 - 18*c_0101_5^28 - 296*c_0101_5^26 - 1406*c_0101_5^24 + 84991*c_0101_5^22 - 686041*c_0101_5^20 + 3056748*c_0101_5^18 - 8507196*c_0101_5^16 + 15234778*c_0101_5^14 - 17182938*c_0101_5^12 + 10834607*c_0101_5^10 - 3820027*c_0101_5^8 + 773178*c_0101_5^6 - 88896*c_0101_5^4 + 5344*c_0101_5^2 - 128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB