Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 290491892] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2019 geometric_solution 5.56371594 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227157265615 0.212601367956 2 0 3 0 0132 2310 0132 0132 0 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 -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.426171069781 1.983699087976 1 4 3 5 0132 0132 0213 0132 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 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.361613776378 0.565145253919 5 2 4 1 3201 0213 3201 0132 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 0 0 0 1 0 0 -1 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.361613776378 0.565145253919 3 2 4 4 2310 0132 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 0 0 0 0 0 0 0 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.196688172495 1.255449588450 6 6 2 3 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 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.260704012978 0.967061245309 5 6 6 5 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 -1 0 1 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.793188470123 0.607674914370 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['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_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_1, c_0011_3, c_0011_5, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 13701802751084638115084992118119038497608856651/2270721455112730299\ 308393824339088496879175608*c_0101_4^31 - 26879223900515280986518232339281030276419171491/1135360727556365149\ 654196912169544248439587804*c_0101_4^29 - 467916430686925379585837048275016358334880263319/113536072755636514\ 9654196912169544248439587804*c_0101_4^27 - 57948019299043929896599157390240708149577251013/2270721455112730299\ 308393824339088496879175608*c_0101_4^25 - 969050118513309518509358502846585175126917410759/378453575852121716\ 551398970723181416146529268*c_0101_4^23 - 25790036601072859111526740238188495458336465137815/1135360727556365\ 149654196912169544248439587804*c_0101_4^21 + 44213792999184191184815574218415407800185961759669/1135360727556365\ 149654196912169544248439587804*c_0101_4^19 - 12068580841465966088578551069419095652639254252165/5676803637781825\ 74827098456084772124219793902*c_0101_4^17 + 3649324972253152212883515363308352305386721165927/14555906763543142\ 944284575797045439082558818*c_0101_4^15 + 10818254888803148008700980410980826829862812672067/5676803637781825\ 74827098456084772124219793902*c_0101_4^13 + 2361916326240895539697840540884653450385716853899/43667720290629428\ 832853727391136317247676454*c_0101_4^11 - 420587940403698359720007018888482600975683085049307/113536072755636\ 5149654196912169544248439587804*c_0101_4^9 + 67034205850160063027731573016254028698571384731839/3784535758521217\ 16551398970723181416146529268*c_0101_4^7 + 6604557037515950815126827313515697723345933195039/58223627054172571\ 777138303188181756330235272*c_0101_4^5 + 28884536003568131927665032314714103859097831257001/3784535758521217\ 16551398970723181416146529268*c_0101_4^3 - 5735032850838758842722897096806307462056399421427/11353607275563651\ 49654196912169544248439587804*c_0101_4, c_0011_0 - 1, c_0011_1 - 784372600379355996837534762474977802320405/34934176232503543\ 0662829819129090537981411632*c_0101_4^30 + 192538535287123083193030152830300059943263/218338601453147144164268\ 63695568158623838227*c_0101_4^28 + 13391293579600931038444577356961033445634429/8733544058125885766570\ 7454782272634495352908*c_0101_4^26 + 3080212664333637332641648337412365116550107/34934176232503543066282\ 9819129090537981411632*c_0101_4^24 + 83124741256709574438746912571145547876530553/8733544058125885766570\ 7454782272634495352908*c_0101_4^22 + 737874037514485101808654887551451320014341257/873354405812588576657\ 07454782272634495352908*c_0101_4^20 - 2538039612412772488977934679210275885358826895/17467088116251771533\ 1414909564545268990705816*c_0101_4^18 + 345742778904797363752405067882193550040075305/436677202906294288328\ 53727391136317247676454*c_0101_4^16 - 4070391569044235647924002037916735440697832259/43667720290629428832\ 853727391136317247676454*c_0101_4^14 - 593005317859099043231089322259311060436585523/873354405812588576657\ 07454782272634495352908*c_0101_4^12 - 1703807249057260194344317135818501190865064461/87335440581258857665\ 707454782272634495352908*c_0101_4^10 + 8018754190179018357517263115696420974469411723/58223627054172571777\ 138303188181756330235272*c_0101_4^8 - 11619711896694714933388764872393517903896885449/1746708811625177153\ 31414909564545268990705816*c_0101_4^6 - 14865397960165899761261537184288061256355685679/3493417623250354306\ 62829819129090537981411632*c_0101_4^4 - 2426166906861546487034168799072762207306340585/87335440581258857665\ 707454782272634495352908*c_0101_4^2 + 20325822000513504631008583016065349386292066/7277953381771571472142\ 287898522719541279409, c_0011_3 - 24470703941659080144073162619368817899989767/209605057395021\ 2583976978914774543227888469792*c_0101_4^31 + 7999574482231893966715302536946192307922333/17467088116251771533141\ 4909564545268990705816*c_0101_4^29 + 139288346717529290915486074703439864937046297/174670881162517715331\ 414909564545268990705816*c_0101_4^27 + 11583747878892465599132999483399660951281041/2328945082166902871085\ 53212752727025320941088*c_0101_4^25 + 1297582916068156450422167203855052017005075491/26200632174377657299\ 7122364346817903486058724*c_0101_4^23 + 7677380124795132895390771020354551236459890565/17467088116251771533\ 1414909564545268990705816*c_0101_4^21 - 78947087482757497049201181258483529060585008557/1048025286975106291\ 988489457387271613944234896*c_0101_4^19 + 5371115020128210532091362059067848062103643051/13100316087188828649\ 8561182173408951743029362*c_0101_4^17 - 127020574467763704844279562652066932217628450121/262006321743776572\ 997122364346817903486058724*c_0101_4^15 - 19609516132583513853137736395432632980337268813/5240126434875531459\ 94244728693635806972117448*c_0101_4^13 - 54255329779692006125350077775321233042994606591/5240126434875531459\ 94244728693635806972117448*c_0101_4^11 + 750218364896609242971795348162529626419495018683/104802528697510629\ 1988489457387271613944234896*c_0101_4^9 - 358368086398851247465895617095521238882964426567/104802528697510629\ 1988489457387271613944234896*c_0101_4^7 - 51508456291606195401320172193372497137296528149/2328945082166902871\ 08553212752727025320941088*c_0101_4^5 - 38242372718033274764745519091357857698407826581/2620063217437765729\ 97122364346817903486058724*c_0101_4^3 + 651895493622861602560682803025462911302038684/655015804359441432492\ 80591086704475871514681*c_0101_4, c_0011_5 - 17725478265926920821265131437944652394984793/104802528697510\ 6291988489457387271613944234896*c_0101_4^31 + 34953917871850712988047669318103763976471365/5240126434875531459942\ 44728693635806972117448*c_0101_4^29 + 302316698502158430390644264803815071133120089/262006321743776572997\ 122364346817903486058724*c_0101_4^27 + 50029996968927789111682738224917451632946911/1048025286975106291988\ 489457387271613944234896*c_0101_4^25 + 3758747967225055364237516438035223094186612527/52401264348755314599\ 4244728693635806972117448*c_0101_4^23 + 16643418868133703386648972307819160996062554275/2620063217437765729\ 97122364346817903486058724*c_0101_4^21 - 57888411392232247605972246031787998665592482527/5240126434875531459\ 94244728693635806972117448*c_0101_4^19 + 16160729511732960840381818672109895895800482865/2620063217437765729\ 97122364346817903486058724*c_0101_4^17 - 92182134390893472053687185244800253897352466379/1310031608718882864\ 98561182173408951743029362*c_0101_4^15 - 10270100731930085891701646945529325062909862619/2620063217437765729\ 97122364346817903486058724*c_0101_4^13 - 39053926938785678337888043157609657514245760451/2620063217437765729\ 97122364346817903486058724*c_0101_4^11 + 181913988670457009499319240840063338064650769691/174670881162517715\ 331414909564545268990705816*c_0101_4^9 - 271405111062164968604911758237344188404687725975/524012643487553145\ 994244728693635806972117448*c_0101_4^7 - 324300473498701430447510389381767175105344444391/104802528697510629\ 1988489457387271613944234896*c_0101_4^5 - 107726600480902870469877773243311056265976377483/524012643487553145\ 994244728693635806972117448*c_0101_4^3 + 280843410824336276149895749500461621763890805/145559067635431429442\ 84575797045439082558818*c_0101_4, c_0101_1 - 1832574114384001505617447818523713433857709/3493417623250354\ 30662829819129090537981411632*c_0101_4^30 + 600044332539166767229147135306001085747983/291118135270862858885691\ 51594090878165117636*c_0101_4^28 + 10427900087960036527441721290063081013713191/2911181352708628588856\ 9151594090878165117636*c_0101_4^26 + 2327830161819962782626133013682977487223393/11644725410834514355427\ 6606376363512660470544*c_0101_4^24 + 97106593599381641399874109700833411166640451/4366772029062942883285\ 3727391136317247676454*c_0101_4^22 + 574545236336482170113585080789103333794958295/291118135270862858885\ 69151594090878165117636*c_0101_4^20 - 5935577313868157257713339646414618874096833903/17467088116251771533\ 1414909564545268990705816*c_0101_4^18 + 405261437029007309779524196201478647476977969/218338601453147144164\ 26863695568158623838227*c_0101_4^16 - 9510579900287345914260428444096909660628103573/43667720290629428832\ 853727391136317247676454*c_0101_4^14 - 1355698800900507920579341178143561122160461751/87335440581258857665\ 707454782272634495352908*c_0101_4^12 - 3979775727249209319080078377531050645971558441/87335440581258857665\ 707454782272634495352908*c_0101_4^10 + 56238152676036027706835805088613843189137277201/1746708811625177153\ 31414909564545268990705816*c_0101_4^8 - 27254542584472171459813065622376387260280145053/1746708811625177153\ 31414909564545268990705816*c_0101_4^6 - 11549139654323505555445083621842077507349699589/1164472541083451435\ 54276606376363512660470544*c_0101_4^4 - 2824388677093098989994246482170947524218649681/43667720290629428832\ 853727391136317247676454*c_0101_4^2 + 112793247581343147100806237833484008168723603/218338601453147144164\ 26863695568158623838227, c_0101_3 + 4387941326995023782208634179348641820917755/1048025286975106\ 291988489457387271613944234896*c_0101_4^30 - 1081486337243571550985042551545657013375319/65501580435944143249280\ 591086704475871514681*c_0101_4^28 - 74838294321651827409950202236730357989732327/2620063217437765729971\ 22364346817903486058724*c_0101_4^26 - 12547162594282265647297348735952033107660037/1048025286975106291988\ 489457387271613944234896*c_0101_4^24 - 465382452357932377570578815767947242449732519/262006321743776572997\ 122364346817903486058724*c_0101_4^22 - 4120277309394260129064531706960117545467935219/26200632174377657299\ 7122364346817903486058724*c_0101_4^20 + 14325153749989526755200420696482182008904371209/5240126434875531459\ 94244728693635806972117448*c_0101_4^18 - 2002668218073446889486855044733176322519142553/13100316087188828649\ 8561182173408951743029362*c_0101_4^16 + 22825621969798017409101901440502843380227797349/1310031608718882864\ 98561182173408951743029362*c_0101_4^14 + 2559471605596283033510040240611932477451259173/26200632174377657299\ 7122364346817903486058724*c_0101_4^12 + 9737973214099203881113297380399154359217151407/26200632174377657299\ 7122364346817903486058724*c_0101_4^10 - 15012615238177670987483265881376423437258934255/5822362705417257177\ 7138303188181756330235272*c_0101_4^8 + 67160460749352986376628992079411436531662236671/5240126434875531459\ 94244728693635806972117448*c_0101_4^6 + 79780901966660315322383303121747574903001056129/1048025286975106291\ 988489457387271613944234896*c_0101_4^4 + 13648121100812631197718922236603431555235604391/2620063217437765729\ 97122364346817903486058724*c_0101_4^2 - 96460142489808368864580312740713623605277310/2183386014531471441642\ 6863695568158623838227, c_0101_4^32 - 4*c_0101_4^30 - 68*c_0101_4^28 + c_0101_4^26 - 424*c_0101_4^24 - 3732*c_0101_4^22 + 6742*c_0101_4^20 - 4016*c_0101_4^18 + 41816*c_0101_4^16 - 20*c_0101_4^14 + 8708*c_0101_4^12 - 62074*c_0101_4^10 + 34050*c_0101_4^8 + 16571*c_0101_4^6 + 11192*c_0101_4^4 - 1808*c_0101_4^2 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB