Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 4105529363] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1881 geometric_solution 5.50611526 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 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.303771265303 0.531775573649 3 2 4 0 0132 3012 0132 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.571663694993 1.034300946529 1 3 0 4 1230 0132 0132 3201 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 1 -1 -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.571663694993 1.034300946529 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 1 -1 0 0 0 -1 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 0 0 0 0 0 0 0 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.022682079530 1.081050593842 5 2 5 1 0132 2310 2310 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.948536970319 1.864297035891 4 4 6 6 0132 3201 2310 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 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.166243280828 0.209215099238 6 5 5 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 -1.742166079031 0.840868157270 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], '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_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 448327553120479715008929950277968280487913945819601/193307319257267\ 1837411837911506183262823008089711*c_0101_4^31 + 53664269077739982589236555874055584045914051260116781/3866146385145\ 343674823675823012366525646016179422*c_0101_4^29 - 186244194185233997385269338907920792285976115040475489/552306626449\ 334810689096546144623789378002311346*c_0101_4^27 + 8620200169016260240258101944716094229959689628062282629/19330731925\ 72671837411837911506183262823008089711*c_0101_4^25 - 137508493334671300829350554099811780186076131705869482333/386614638\ 5145343674823675823012366525646016179422*c_0101_4^23 + 683402830328951709129124417225061392641768325261489266593/386614638\ 5145343674823675823012366525646016179422*c_0101_4^21 - 1053360061876310606912178932217456404711884583112647442378/19330731\ 92572671837411837911506183262823008089711*c_0101_4^19 + 3963288164650356515509596330448318878630644260087315727381/38661463\ 85145343674823675823012366525646016179422*c_0101_4^17 - 4614201348812226285700686149421217094979344181807369302359/38661463\ 85145343674823675823012366525646016179422*c_0101_4^15 + 1680393065617708655470299407179240539061539062489533876476/19330731\ 92572671837411837911506183262823008089711*c_0101_4^13 - 752997135368625115413431642707272063023364168847317610573/193307319\ 2572671837411837911506183262823008089711*c_0101_4^11 + 191450647542343971932255103350982761033151462408811918975/193307319\ 2572671837411837911506183262823008089711*c_0101_4^9 - 41433308961077162779009796199651575168098327354830809333/3866146385\ 145343674823675823012366525646016179422*c_0101_4^7 - 575770309379778192017800581728542144565295793715022515/386614638514\ 5343674823675823012366525646016179422*c_0101_4^5 + 29829844319673972668535210012737564114553377145643461/1933073192572\ 671837411837911506183262823008089711*c_0101_4^3 + 4016006587236189187913682065766103293090551547223231/38661463851453\ 43674823675823012366525646016179422*c_0101_4, c_0011_0 - 1, c_0011_1 + 2043777456616231212730156722128966832801341589093/7732292770\ 290687349647351646024733051292032358844*c_0101_4^31 - 61398014833150789770422604620342892763632742044249/3866146385145343\ 674823675823012366525646016179422*c_0101_4^29 + 428622866195931554055417881795014384673145251513555/110461325289866\ 9621378193092289247578756004622692*c_0101_4^27 - 40002866466765590493402303990773937447634216274781411/7732292770290\ 687349647351646024733051292032358844*c_0101_4^25 + 80724387076510333381551325802051752037260621350100008/1933073192572\ 671837411837911506183262823008089711*c_0101_4^23 - 1634655918522749582856566721827639215358896177296458989/77322927702\ 90687349647351646024733051292032358844*c_0101_4^21 + 5194352120300262311792555105142819839074222451331949985/77322927702\ 90687349647351646024733051292032358844*c_0101_4^19 - 5144049565516587870538142937372350178746136355360513709/38661463851\ 45343674823675823012366525646016179422*c_0101_4^17 + 12994382153989168062777509806746816044836543372955696261/7732292770\ 290687349647351646024733051292032358844*c_0101_4^15 - 5346985727043383869879112588085860169400700756880668147/38661463851\ 45343674823675823012366525646016179422*c_0101_4^13 + 2872000499298404931348425257314633588435455027685461081/38661463851\ 45343674823675823012366525646016179422*c_0101_4^11 - 1946781688124203838128563986890120859745431452853431625/77322927702\ 90687349647351646024733051292032358844*c_0101_4^9 + 93648858172586034919755416497475761691548353058393734/1933073192572\ 671837411837911506183262823008089711*c_0101_4^7 - 28801195285390859205763924796834821087248060695545173/7732292770290\ 687349647351646024733051292032358844*c_0101_4^5 - 829100046419101976194034089279631459017727378169601/773229277029068\ 7349647351646024733051292032358844*c_0101_4^3 + 37817518145242404529132036203732545060306078141263/7732292770290687\ 349647351646024733051292032358844*c_0101_4, c_0011_4 - 673032112595323445355518552438120182348346798850/19330731925\ 72671837411837911506183262823008089711*c_0101_4^30 + 40132241273497248932145350223616596382009421051014/1933073192572671\ 837411837911506183262823008089711*c_0101_4^28 - 138544497646259477894096013721442783041250270573617/276153313224667\ 405344548273072311894689001155673*c_0101_4^26 + 12732136597687370653021911557026360206504587867302027/1933073192572\ 671837411837911506183262823008089711*c_0101_4^24 - 100531172447348161745141362845604454353919416605730096/193307319257\ 2671837411837911506183262823008089711*c_0101_4^22 + 492383588485424937769800909042097325646744594079237634/193307319257\ 2671837411837911506183262823008089711*c_0101_4^20 - 1484815018843974557295318038808171063200581000887403361/19330731925\ 72671837411837911506183262823008089711*c_0101_4^18 + 2703524848128061938308927941246276076750691005809552917/19330731925\ 72671837411837911506183262823008089711*c_0101_4^16 - 3022653576893196786288600688270175837066124285314722329/19330731925\ 72671837411837911506183262823008089711*c_0101_4^14 + 2102105453050130650910201435197453371209494348926198443/19330731925\ 72671837411837911506183262823008089711*c_0101_4^12 - 892038107517231314533975833677154033980790310576417786/193307319257\ 2671837411837911506183262823008089711*c_0101_4^10 + 210072477172296197225029169177238179513240904605819041/193307319257\ 2671837411837911506183262823008089711*c_0101_4^8 - 19074360726258586736352527852230303477717626842240702/1933073192572\ 671837411837911506183262823008089711*c_0101_4^6 - 798679341266072144822353898956204556564411790370809/193307319257267\ 1837411837911506183262823008089711*c_0101_4^4 + 18477757183272928681195823945583215359109607597345/1933073192572671\ 837411837911506183262823008089711*c_0101_4^2 + 2107056815881296078657193837781080728852478270802/19330731925726718\ 37411837911506183262823008089711, c_0011_6 - 1205728884668694500324908402915463146280832592071/7732292770\ 290687349647351646024733051292032358844*c_0101_4^30 + 35993795655544781686248309751606834919526544101201/3866146385145343\ 674823675823012366525646016179422*c_0101_4^28 - 248966193756541076414883717785334505903576038419201/110461325289866\ 9621378193092289247578756004622692*c_0101_4^26 + 22936218839383818832422434140635534963801323955626093/7732292770290\ 687349647351646024733051292032358844*c_0101_4^24 - 45428844758456119998325386890517213510104016319497809/1933073192572\ 671837411837911506183262823008089711*c_0101_4^22 + 894311937549316577345297131245670100041389951999889683/773229277029\ 0687349647351646024733051292032358844*c_0101_4^20 - 2716012578869465334359155927001898596895747128193906487/77322927702\ 90687349647351646024733051292032358844*c_0101_4^18 + 2497349371445315383860808693670258713424297522860573419/38661463851\ 45343674823675823012366525646016179422*c_0101_4^16 - 5643513566920067211788421059766877441505176320096350991/77322927702\ 90687349647351646024733051292032358844*c_0101_4^14 + 1978859033468919117607310016457964388352816116487415463/38661463851\ 45343674823675823012366525646016179422*c_0101_4^12 - 842028546051360334467261221257679331470106169108616603/386614638514\ 5343674823675823012366525646016179422*c_0101_4^10 + 391711144683129269282643935387792680182172789932895395/773229277029\ 0687349647351646024733051292032358844*c_0101_4^8 - 7999924166138106880845884656642676498574992294266010/19330731925726\ 71837411837911506183262823008089711*c_0101_4^6 - 2494468943554796852835772014569702106007340175578693/77322927702906\ 87349647351646024733051292032358844*c_0101_4^4 + 70452693994950698253204335556758487092644804400083/7732292770290687\ 349647351646024733051292032358844*c_0101_4^2 + 4553837222768342198607318056545187738948942356887/77322927702906873\ 49647351646024733051292032358844, c_0101_0 + 28997910665693163253986671602441656537540676560/193307319257\ 2671837411837911506183262823008089711*c_0101_4^30 - 1684546055541528631314659157624715994552515381895/19330731925726718\ 37411837911506183262823008089711*c_0101_4^28 + 5595266462148603187875437810516874601271550433370/27615331322466740\ 5344548273072311894689001155673*c_0101_4^26 - 486691552985928300803281422562456300628766305493480/193307319257267\ 1837411837911506183262823008089711*c_0101_4^24 + 3544038848896721942119935472278915135265337561345978/19330731925726\ 71837411837911506183262823008089711*c_0101_4^22 - 15272752037891731605929390573990895088016786091384438/1933073192572\ 671837411837911506183262823008089711*c_0101_4^20 + 36835463011167071789338566501003218824293402475669731/1933073192572\ 671837411837911506183262823008089711*c_0101_4^18 - 43637837386778381423266039875393706713630304734606982/1933073192572\ 671837411837911506183262823008089711*c_0101_4^16 + 22080622065285247641061627965929945153665547510974892/1933073192572\ 671837411837911506183262823008089711*c_0101_4^14 - 3182099887137076908160571490524374071976459881565762/19330731925726\ 71837411837911506183262823008089711*c_0101_4^12 + 2888700151527789197983267736489831938704359203818093/19330731925726\ 71837411837911506183262823008089711*c_0101_4^10 - 4995801815442003253828563751902378276381962891380889/19330731925726\ 71837411837911506183262823008089711*c_0101_4^8 + 2607312400007233542335172311074614645513785288267218/19330731925726\ 71837411837911506183262823008089711*c_0101_4^6 - 381636431590123371310627741688491652811494611387142/193307319257267\ 1837411837911506183262823008089711*c_0101_4^4 - 37466784272321982022425890317348002894719329555689/1933073192572671\ 837411837911506183262823008089711*c_0101_4^2 + 494470905620649335760536560697520867098790050905/193307319257267183\ 7411837911506183262823008089711, c_0101_1 - 213164415923099141002201737750912913408462367655/77322927702\ 90687349647351646024733051292032358844*c_0101_4^31 + 6650354053002159980199734445602600391850400753315/38661463851453436\ 74823675823012366525646016179422*c_0101_4^29 - 48868156010680389078463126364368536511887154159005/1104613252898669\ 621378193092289247578756004622692*c_0101_4^27 + 4867249882789866365928395531356102679429862014325109/77322927702906\ 87349647351646024733051292032358844*c_0101_4^25 - 10658872579840371362684079710824384321413717261291812/1933073192572\ 671837411837911506183262823008089711*c_0101_4^23 + 239388216829760023417626137724446740382197152254497223/773229277029\ 0687349647351646024733051292032358844*c_0101_4^21 - 866163083177516598765053769197872785970982658061852323/773229277029\ 0687349647351646024733051292032358844*c_0101_4^19 + 995880801840725255212352243975807376330342223667234269/386614638514\ 5343674823675823012366525646016179422*c_0101_4^17 - 2866969700978267252248999757434646995144477891064272551/77322927702\ 90687349647351646024733051292032358844*c_0101_4^15 + 1293597242575787177839461956286277954316402948106572809/38661463851\ 45343674823675823012366525646016179422*c_0101_4^13 - 730179025128110422642610635614439008770553890111028589/386614638514\ 5343674823675823012366525646016179422*c_0101_4^11 + 498211033620833198293565340879285036898153353718828935/773229277029\ 0687349647351646024733051292032358844*c_0101_4^9 - 22812940611968347336436990271320166782834790840228928/1933073192572\ 671837411837911506183262823008089711*c_0101_4^7 + 6279594030680174561001031938213403108650410417507447/77322927702906\ 87349647351646024733051292032358844*c_0101_4^5 - 571526175407121375020779430264402188548587660461/773229277029068734\ 9647351646024733051292032358844*c_0101_4^3 + 15027112208902470965230706757976103210146778569311/7732292770290687\ 349647351646024733051292032358844*c_0101_4, c_0101_4^32 - 539/9*c_0101_4^30 + 4369/3*c_0101_4^28 - 173564/9*c_0101_4^26 + 1387051/9*c_0101_4^24 - 6914069/9*c_0101_4^22 + 2379674*c_0101_4^20 - 40618103/9*c_0101_4^18 + 5321535*c_0101_4^16 - 35582123/9*c_0101_4^14 + 5491436/3*c_0101_4^12 - 4459271/9*c_0101_4^10 + 575065/9*c_0101_4^8 - 11849/9*c_0101_4^6 - 296/3*c_0101_4^4 + 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB