Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 3785391414] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1080 geometric_solution 4.95043179 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1230 0132 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 2 -1 -1 0 0 0 0 -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.287869976037 0.688432112688 0 2 4 4 0132 1230 3201 0132 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209312666340 1.035327480743 3 0 1 0 0321 0132 3012 3012 0 0 0 0 0 1 -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 0 0 0 0 -2 1 1 -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.725872277991 0.701717058773 2 5 0 5 0321 0132 0132 1023 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 -1 1 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.268265250488 2.905053626868 1 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.181187485251 1.644706116120 5 3 5 3 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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.405706167748 0.215430581992 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373894753850 0.076413656232 ==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' : 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' : 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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_4, c_0101_0, c_0101_1, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 8667348464330022011993685826083301806955/56045899431505644597894270\ 90598828769029*c_0110_6^37 - 41584821445662664624284287551135514942\ 2805/5604589943150564459789427090598828769029*c_0110_6^35 + 7081017682757429257679323148850528733092848/56045899431505644597894\ 27090598828769029*c_0110_6^33 - 55388303479826561385808827749983953\ 759308099/5604589943150564459789427090598828769029*c_0110_6^31 + 211953032267725137406208362700595444428828133/560458994315056445978\ 9427090598828769029*c_0110_6^29 - 385131052662354924302543819826038\ 014894182241/5604589943150564459789427090598828769029*c_0110_6^27 + 287370500739155499473912193957318228192282019/560458994315056445978\ 9427090598828769029*c_0110_6^25 - 825981197908479275454763209136880\ 86108029184/5604589943150564459789427090598828769029*c_0110_6^23 + 151371219548992636892911730995607493626854397/560458994315056445978\ 9427090598828769029*c_0110_6^21 - 153265348182606378263142462238275\ 715777342120/5604589943150564459789427090598828769029*c_0110_6^19 - 52375106761479760359834125150695397426571320/5604589943150564459789\ 427090598828769029*c_0110_6^17 + 8348230693575762128883851577252848\ 2700560387/5604589943150564459789427090598828769029*c_0110_6^15 - 4206158690781526301237988298843022298095433/56045899431505644597894\ 27090598828769029*c_0110_6^13 - 11414313279713630630342208477677746\ 474092416/5604589943150564459789427090598828769029*c_0110_6^11 + 4198626568030309242854380212975385277062325/56045899431505644597894\ 27090598828769029*c_0110_6^9 + 546248599477301292834874076705794934\ 894660/5604589943150564459789427090598828769029*c_0110_6^7 - 566153488395792702208395272415139634069246/560458994315056445978942\ 7090598828769029*c_0110_6^5 - 2689936102771115561150100920823620967\ 272/70944176495576765313790216336694035051*c_0110_6^3 - 41002775965780666836549290443648531795154/5604589943150564459789427\ 090598828769029*c_0110_6, c_0011_0 - 1, c_0011_3 + 4538261910974125071786851514179275556619/5604589943150564459\ 789427090598828769029*c_0110_6^37 - 219632544589126084870331993332008723670764/560458994315056445978942\ 7090598828769029*c_0110_6^35 + 379885537373923505793280251478813654\ 3902958/5604589943150564459789427090598828769029*c_0110_6^33 - 30567299904718029654254849395154079540456727/5604589943150564459789\ 427090598828769029*c_0110_6^31 + 1234183964932017270285959664428023\ 40367497689/5604589943150564459789427090598828769029*c_0110_6^29 - 250796768089825833798806253473335530464692347/560458994315056445978\ 9427090598828769029*c_0110_6^27 + 246723243549851314156726808557502\ 565466201329/5604589943150564459789427090598828769029*c_0110_6^25 - 132920510426455521309306448045964581470197016/560458994315056445978\ 9427090598828769029*c_0110_6^23 + 127678135886711732892883015755338\ 758302694284/5604589943150564459789427090598828769029*c_0110_6^21 - 132235766913564860295499096336148375124276136/560458994315056445978\ 9427090598828769029*c_0110_6^19 + 221444823390852865180497820858453\ 11840878336/5604589943150564459789427090598828769029*c_0110_6^17 + 37195437416580354239102459698333692303585328/5604589943150564459789\ 427090598828769029*c_0110_6^15 - 1437004428573169937187764123164942\ 9035045805/5604589943150564459789427090598828769029*c_0110_6^13 - 2098111049147843819955858459332642602934537/56045899431505644597894\ 27090598828769029*c_0110_6^11 + 33677076338590292110191572780290126\ 99091950/5604589943150564459789427090598828769029*c_0110_6^9 - 672591656306100585022091270487079898026753/560458994315056445978942\ 7090598828769029*c_0110_6^7 - 3434833287500568706892574856041916341\ 58634/5604589943150564459789427090598828769029*c_0110_6^5 - 95314795566046699514697256562085599876/7094417649557676531379021633\ 6694035051*c_0110_6^3 - 12359040187801761083019915385524468784536/5\ 604589943150564459789427090598828769029*c_0110_6, c_0011_4 + 2403343073138686060481604771364360535856/5604589943150564459\ 789427090598828769029*c_0110_6^36 - 116533322721246360612375805633281297243415/560458994315056445978942\ 7090598828769029*c_0110_6^34 + 202242888570588021774539406827197401\ 2460264/5604589943150564459789427090598828769029*c_0110_6^32 - 16369649168703802658714852653494867412881023/5604589943150564459789\ 427090598828769029*c_0110_6^30 + 6679270726679776430467998523108135\ 6315835384/5604589943150564459789427090598828769029*c_0110_6^28 - 138396005492585502154018788679340086605079726/560458994315056445978\ 9427090598828769029*c_0110_6^26 + 141331498415187986809898900719589\ 480087835980/5604589943150564459789427090598828769029*c_0110_6^24 - 80103618535006474793787123249008149874271462/5604589943150564459789\ 427090598828769029*c_0110_6^22 + 7339985007006629810609319090981287\ 2020320065/5604589943150564459789427090598828769029*c_0110_6^20 - 76947650951640414784530594346060071836603846/5604589943150564459789\ 427090598828769029*c_0110_6^18 + 1770636129469958110237183325819249\ 8789027481/5604589943150564459789427090598828769029*c_0110_6^16 + 18769367182147687393403710537265337139020224/5604589943150564459789\ 427090598828769029*c_0110_6^14 - 8220524839922626793826379809465855\ 469291463/5604589943150564459789427090598828769029*c_0110_6^12 - 1115070614415175842458357963302995470092183/56045899431505644597894\ 27090598828769029*c_0110_6^10 + 18522558022593779502377026337501413\ 10322307/5604589943150564459789427090598828769029*c_0110_6^8 - 375078679100981058927830926764704682383405/560458994315056445978942\ 7090598828769029*c_0110_6^6 - 1949537366501356732301340473114856435\ 05925/5604589943150564459789427090598828769029*c_0110_6^4 - 23791445888755410355012269157994268692/7094417649557676531379021633\ 6694035051*c_0110_6^2 - 1281641117426180640679173432263921544740/56\ 04589943150564459789427090598828769029, c_0101_0 - 1578099889362017015639197257573970561418/5604589943150564459\ 789427090598828769029*c_0110_6^37 + 75975959463276949556936701702694940428530/5604589943150564459789427\ 090598828769029*c_0110_6^35 - 1301894137133081656790293935658796497\ 478916/5604589943150564459789427090598828769029*c_0110_6^33 + 10303258807335195711699881118864909872527430/5604589943150564459789\ 427090598828769029*c_0110_6^31 - 4035089727953487153785837939861045\ 6647463143/5604589943150564459789427090598828769029*c_0110_6^29 + 77237659863453311674545434907254463641617306/5604589943150564459789\ 427090598828769029*c_0110_6^27 - 6679363628924172507205829645997395\ 9690486825/5604589943150564459789427090598828769029*c_0110_6^25 + 29126601169284020515059477367271401587106923/5604589943150564459789\ 427090598828769029*c_0110_6^23 - 3441453820809868111817306556632410\ 9321730342/5604589943150564459789427090598828769029*c_0110_6^21 + 33724379538622723444368932568926782071786692/5604589943150564459789\ 427090598828769029*c_0110_6^19 + 3114821012834656237901738387558000\ 266319746/5604589943150564459789427090598828769029*c_0110_6^17 - 14579870282892414293187762433944627546198933/5604589943150564459789\ 427090598828769029*c_0110_6^15 + 3895816081337860039641699438445384\ 553327646/5604589943150564459789427090598828769029*c_0110_6^13 + 472278648358093000694773370932320423416619/560458994315056445978942\ 7090598828769029*c_0110_6^11 - 881403550660421840973688961599989805\ 717678/5604589943150564459789427090598828769029*c_0110_6^9 + 205530374991420659835370544720458728041225/560458994315056445978942\ 7090598828769029*c_0110_6^7 + 8819454058501552948527923928365946409\ 2322/5604589943150564459789427090598828769029*c_0110_6^5 + 116445256039387962630230989022420924165/709441764955767653137902163\ 36694035051*c_0110_6^3 + 14862223520214004350146798362927613151525/\ 5604589943150564459789427090598828769029*c_0110_6, c_0101_1 + 2325470926437656519180161288747433270692/5604589943150564459\ 789427090598828769029*c_0110_6^36 - 112743517928633065421306257105253366573412/560458994315056445978942\ 7090598828769029*c_0110_6^34 + 195626207633792824495376368513989573\ 2243161/5604589943150564459789427090598828769029*c_0110_6^32 - 15829412510112460467867283687015075123988920/5604589943150564459789\ 427090598828769029*c_0110_6^30 + 6456662912368989801251742455566045\ 4699857776/5604589943150564459789427090598828769029*c_0110_6^28 - 133793898264722096961509735499944040228592084/560458994315056445978\ 9427090598828769029*c_0110_6^26 + 137062268712061309530147283287218\ 032471763913/5604589943150564459789427090598828769029*c_0110_6^24 - 79034777650822001674366581385265890948306775/5604589943150564459789\ 427090598828769029*c_0110_6^22 + 7299869436916133859067142512116690\ 9805651747/5604589943150564459789427090598828769029*c_0110_6^20 - 75380234428351751670171023145660962530428092/5604589943150564459789\ 427090598828769029*c_0110_6^18 + 1783493649431707110675193768194560\ 1902962171/5604589943150564459789427090598828769029*c_0110_6^16 + 17032876391205244054702722715010487525226796/5604589943150564459789\ 427090598828769029*c_0110_6^14 - 7591557926459442105426104543986845\ 111875893/5604589943150564459789427090598828769029*c_0110_6^12 - 732620566150898417002009406607117658843206/560458994315056445978942\ 7090598828769029*c_0110_6^10 + 155935502725002426805929722769110741\ 4068707/5604589943150564459789427090598828769029*c_0110_6^8 - 345684618595603117949340590407300149229738/560458994315056445978942\ 7090598828769029*c_0110_6^6 - 1657435755543514346314747810825619241\ 38014/5604589943150564459789427090598828769029*c_0110_6^4 - 42007172451654995234166422053649639181/7094417649557676531379021633\ 6694035051*c_0110_6^2 - 238948030524178154235326952042929609813/560\ 4589943150564459789427090598828769029, c_0101_5 - 136460463700923970285775324266818086020/56045899431505644597\ 89427090598828769029*c_0110_6^36 + 6162022583717817505338956396408582763392/56045899431505644597894270\ 90598828769029*c_0110_6^34 - 92963460316916744681039563026948358878\ 842/5604589943150564459789427090598828769029*c_0110_6^32 + 555274776639174917731392479698866501384149/560458994315056445978942\ 7090598828769029*c_0110_6^30 - 836618212147768866349196725495355644\ 906410/5604589943150564459789427090598828769029*c_0110_6^28 - 3707999489547406700117856499269878213132149/56045899431505644597894\ 27090598828769029*c_0110_6^26 + 14287020257149919565257452244129356\ 944236836/5604589943150564459789427090598828769029*c_0110_6^24 - 15899198074345718293060950800872486045398556/5604589943150564459789\ 427090598828769029*c_0110_6^22 + 7315923920491376138869035395972487\ 268531308/5604589943150564459789427090598828769029*c_0110_6^20 - 8353565232705244560412587602002862454053060/56045899431505644597894\ 27090598828769029*c_0110_6^18 + 10131086869182577848280585253315110\ 625325130/5604589943150564459789427090598828769029*c_0110_6^16 - 2342114271002106400875446352742819480961887/56045899431505644597894\ 27090598828769029*c_0110_6^14 - 18670961630825035457407859751172542\ 62588136/5604589943150564459789427090598828769029*c_0110_6^12 + 975787447042981086673871618879013536140193/560458994315056445978942\ 7090598828769029*c_0110_6^10 - 577598858276761420217450494018394074\ 00631/5604589943150564459789427090598828769029*c_0110_6^8 - 184271924816258552728827232503900283495076/560458994315056445978942\ 7090598828769029*c_0110_6^6 + 4851285209592901610599381642791912621\ 0482/5604589943150564459789427090598828769029*c_0110_6^4 + 16025714291361066500622006604669854048/7094417649557676531379021633\ 6694035051*c_0110_6^2 - 2687649340850018794729531426066189769296/56\ 04589943150564459789427090598828769029, c_0110_6^38 - 48*c_0110_6^36 + 818*c_0110_6^34 - 6408*c_0110_6^32 + 24594*c_0110_6^30 - 45001*c_0110_6^28 + 34393*c_0110_6^26 - 11205*c_0110_6^24 + 19256*c_0110_6^22 - 19277*c_0110_6^20 - 4853*c_0110_6^18 + 8698*c_0110_6^16 - 88*c_0110_6^14 - 1285*c_0110_6^12 + 462*c_0110_6^10 + 104*c_0110_6^8 - 96*c_0110_6^6 - 28*c_0110_6^4 - 5*c_0110_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB