Magma V2.19-8 Tue Aug 20 2013 16:18:45 on localhost [Seed = 2362249720] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2922 geometric_solution 6.11971988 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 2 2310 0132 3201 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 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.123012204964 0.852902187970 3 0 3 4 0132 0132 0321 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 -1 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.165656461140 1.148575120648 4 4 0 3 1023 1302 0132 3201 0 0 0 0 0 0 0 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 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.308209488955 1.245966410011 1 2 1 5 0132 2310 0321 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 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.372068190359 0.523609298825 5 2 1 2 0321 1023 0132 2031 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 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.263825622120 0.827939672823 4 6 3 6 0321 0132 0132 2310 0 0 0 0 0 1 -1 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 -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 1.302209295415 1.172572392833 5 5 6 6 3201 0132 1230 3012 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 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.323905405971 0.361723628798 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : 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' : d['1'], 's_1_1' : negation(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' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_1001_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_2'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : negation(d['c_0101_1']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : negation(d['c_1001_3']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0011_5'])})} 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_5, c_0101_0, c_0101_1, c_0110_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 17163598435565050442727032007710676787820553991/6819836314440230300\ 697730691495265694741540*c_1001_3^17 + 759339477071351557229449850933066885837600332271/340991815722011515\ 03488653457476328473707700*c_1001_3^16 - 1240335723880561677943073682308166268537959519107/34099181572201151\ 503488653457476328473707700*c_1001_3^15 - 4224750035092579407127392090090459093121704063767/34099181572201151\ 503488653457476328473707700*c_1001_3^14 + 11024669523913733705348064261445491480705485768689/3409918157220115\ 1503488653457476328473707700*c_1001_3^13 - 4462049576563851244698085002187055325678745539891/34099181572201151\ 503488653457476328473707700*c_1001_3^12 + 666765982739017728061603409306808356711959917953/340991815722011515\ 03488653457476328473707700*c_1001_3^11 + 8068432824495861660442531342119932312869307250669/17049590786100575\ 751744326728738164236853850*c_1001_3^10 - 19833396649311131499070043803256552084595325509573/1704959078610057\ 5751744326728738164236853850*c_1001_3^9 + 40808225986013594333781722432673709615292139525607/3409918157220115\ 1503488653457476328473707700*c_1001_3^8 - 46016399133071784446013936350404549394989742561677/3409918157220115\ 1503488653457476328473707700*c_1001_3^7 + 25531704769099342032781073869806974038243281214669/3409918157220115\ 1503488653457476328473707700*c_1001_3^6 - 14438524353054617309157537764005159052095338497659/3409918157220115\ 1503488653457476328473707700*c_1001_3^5 + 7414087047178017681563225064119843407857552457677/34099181572201151\ 503488653457476328473707700*c_1001_3^4 - 1713339157780381413903457587204824616647622823517/34099181572201151\ 503488653457476328473707700*c_1001_3^3 - 13790970848214504553686135738064561035508977693/3409918157220115150\ 3488653457476328473707700*c_1001_3^2 + 60696033784247513180522341659717722958232417963/3409918157220115150\ 3488653457476328473707700*c_1001_3 - 5590369426024416787630869580383510810993403211/34099181572201151503\ 488653457476328473707700, c_0011_0 - 1, c_0011_2 + 4488640544972942788084790793579584826385475/1363967262888046\ 060139546138299053138948308*c_1001_3^17 - 49429739114790148138350335085898235671584575/1363967262888046060139\ 546138299053138948308*c_1001_3^16 + 149996068982494953110414139501005850232631231/136396726288804606013\ 9546138299053138948308*c_1001_3^15 + 87910519399688422331609653864626848901081331/1363967262888046060139\ 546138299053138948308*c_1001_3^14 - 1066973085367257862849929560275402857319552373/13639672628880460601\ 39546138299053138948308*c_1001_3^13 + 1440429800033698873992104072409918249518629603/13639672628880460601\ 39546138299053138948308*c_1001_3^12 - 431011569107208895013068602868133150221435845/136396726288804606013\ 9546138299053138948308*c_1001_3^11 - 405546820211405175730116368877690089270699161/681983631444023030069\ 773069149526569474154*c_1001_3^10 + 1949565567856402730851353166280839375263753763/68198363144402303006\ 9773069149526569474154*c_1001_3^9 - 6470009214584087152501426225124145139113525999/13639672628880460601\ 39546138299053138948308*c_1001_3^8 + 6637044777466908298986820835392430394578305041/13639672628880460601\ 39546138299053138948308*c_1001_3^7 - 6152709032671623946021203059037556010768257465/13639672628880460601\ 39546138299053138948308*c_1001_3^6 + 3221369326728745481147427379799203947904809071/13639672628880460601\ 39546138299053138948308*c_1001_3^5 - 1782951661138185231987837938447162776947005565/13639672628880460601\ 39546138299053138948308*c_1001_3^4 + 816750358211903920213054124834571978653218297/136396726288804606013\ 9546138299053138948308*c_1001_3^3 - 123801172034774797423405241588760738927625103/136396726288804606013\ 9546138299053138948308*c_1001_3^2 - 14594653282378549439325950167179711513079059/1363967262888046060139\ 546138299053138948308*c_1001_3 + 4837520243434804239872236899069087\ 412714867/1363967262888046060139546138299053138948308, c_0011_5 + 2541077683002899918493252689047196198047490/3409918157220115\ 15034886534574763284737077*c_1001_3^17 - 44071411158018706785202419101546293584347801/6819836314440230300697\ 73069149526569474154*c_1001_3^16 + 32840642720494631961324908163080774224065716/3409918157220115150348\ 86534574763284737077*c_1001_3^15 + 261735151046246689779140252244318102919075419/681983631444023030069\ 773069149526569474154*c_1001_3^14 - 303313384668492655539791808862974762153963848/340991815722011515034\ 886534574763284737077*c_1001_3^13 + 157435802358179175633310106781586110750804985/681983631444023030069\ 773069149526569474154*c_1001_3^12 - 6116905600520527923210126133568039957806284/34099181572201151503488\ 6534574763284737077*c_1001_3^11 - 957533580153376087477930600692101\ 301413663273/681983631444023030069773069149526569474154*c_1001_3^10 + 2179349326058910997335870063817526029034970451/681983631444023030\ 069773069149526569474154*c_1001_3^9 - 2032428085080487159810643746946915988426365465/68198363144402303006\ 9773069149526569474154*c_1001_3^8 + 1184447413022662078864734914327157421366913573/34099181572201151503\ 4886534574763284737077*c_1001_3^7 - 1096396281260484986210791950587421110651200677/68198363144402303006\ 9773069149526569474154*c_1001_3^6 + 333240177962955946166602859587193342740963268/340991815722011515034\ 886534574763284737077*c_1001_3^5 - 326053992856036638261998533859645353086341001/681983631444023030069\ 773069149526569474154*c_1001_3^4 + 23697967858830963010010479521219870151800261/3409918157220115150348\ 86534574763284737077*c_1001_3^3 + 612261714661914845908950097249258\ 0652242285/681983631444023030069773069149526569474154*c_1001_3^2 - 924046581256917445043003583418139836919664/340991815722011515034886\ 534574763284737077*c_1001_3 - 5166283138471285287988816988647648335\ 73167/681983631444023030069773069149526569474154, c_0101_0 + 3242209280435044467300931514193085724983245/1363967262888046\ 060139546138299053138948308*c_1001_3^17 - 27994203399368461107640540538445096770013509/1363967262888046060139\ 546138299053138948308*c_1001_3^16 + 40941565999419275731628190754697055706658921/1363967262888046060139\ 546138299053138948308*c_1001_3^15 + 167719012857998297210637065315873837749613053/136396726288804606013\ 9546138299053138948308*c_1001_3^14 - 379419273937054293587291482042189637542428803/136396726288804606013\ 9546138299053138948308*c_1001_3^13 + 90748256955023756583043763581166310140901085/1363967262888046060139\ 546138299053138948308*c_1001_3^12 - 16355652011732177611028518925100132997282355/1363967262888046060139\ 546138299053138948308*c_1001_3^11 - 303715616547251068507610644291898413355666679/681983631444023030069\ 773069149526569474154*c_1001_3^10 + 684884116343895394655948634428080309345813853/681983631444023030069\ 773069149526569474154*c_1001_3^9 - 1263482731573961231042834242445428678934764729/13639672628880460601\ 39546138299053138948308*c_1001_3^8 + 1505281479338475790528436707550387785000099179/13639672628880460601\ 39546138299053138948308*c_1001_3^7 - 683148262086847887015839987671756337643733899/136396726288804606013\ 9546138299053138948308*c_1001_3^6 + 437874326415666341441919429274918168361253617/136396726288804606013\ 9546138299053138948308*c_1001_3^5 - 208467571213612755905931184404142712237168743/136396726288804606013\ 9546138299053138948308*c_1001_3^4 + 27220874562033747623265555495356593537254147/1363967262888046060139\ 546138299053138948308*c_1001_3^3 + 4523594189237777507678085101174754841992567/13639672628880460601395\ 46138299053138948308*c_1001_3^2 - 110871560552347215474229606636542\ 0378358577/1363967262888046060139546138299053138948308*c_1001_3 + 926914748329405261658049585275008455415065/136396726288804606013954\ 6138299053138948308, c_0101_1 - 19879695979985721542638425866193573143397995/136396726288804\ 6060139546138299053138948308*c_1001_3^17 + 180214632423592077097169246301579077200834319/136396726288804606013\ 9546138299053138948308*c_1001_3^16 - 324435243881510785396178495850986311494511283/136396726288804606013\ 9546138299053138948308*c_1001_3^15 - 925547359766343582071450032898556670964314583/136396726288804606013\ 9546138299053138948308*c_1001_3^14 + 2780300465650269116142538393095192900283103049/13639672628880460601\ 39546138299053138948308*c_1001_3^13 - 1533441619455651519335508377660339168332710319/13639672628880460601\ 39546138299053138948308*c_1001_3^12 + 249265741070783620734120260383730324965465689/136396726288804606013\ 9546138299053138948308*c_1001_3^11 + 1869935889043947780422329556928479187848601585/68198363144402303006\ 9773069149526569474154*c_1001_3^10 - 4999408205277362675558294153886429752956069915/68198363144402303006\ 9773069149526569474154*c_1001_3^9 + 11250161386798267384633215430178229767370484871/1363967262888046060\ 139546138299053138948308*c_1001_3^8 - 12248053729406364900584119948561148035085288317/1363967262888046060\ 139546138299053138948308*c_1001_3^7 + 7792953088616083616383350759494659989577996641/13639672628880460601\ 39546138299053138948308*c_1001_3^6 - 4133583453851352847713920649989894359108711527/13639672628880460601\ 39546138299053138948308*c_1001_3^5 + 2200090903909625120393556851933338616361612329/13639672628880460601\ 39546138299053138948308*c_1001_3^4 - 634272189616040798074384032770788275029521921/136396726288804606013\ 9546138299053138948308*c_1001_3^3 + 7259454096758723058816914891840892667985311/13639672628880460601395\ 46138299053138948308*c_1001_3^2 + 261867137753825360909758002917562\ 56930704879/1363967262888046060139546138299053138948308*c_1001_3 - 2036852028833736628039988842647785073987823/13639672628880460601395\ 46138299053138948308, c_0110_6 - 29820663252865977914399384277125536485772535/681983631444023\ 030069773069149526569474154*c_1001_3^17 + 270896331753687841574627143747021830980652237/681983631444023030069\ 773069149526569474154*c_1001_3^16 - 492650375487132570885628037044085110679435483/681983631444023030069\ 773069149526569474154*c_1001_3^15 - 1371632809028277531014241017982819412411548813/68198363144402303006\ 9773069149526569474154*c_1001_3^14 + 4185476051776095889115436231248003783637860349/68198363144402303006\ 9773069149526569474154*c_1001_3^13 - 2423926986645268184753920042493684783648737591/68198363144402303006\ 9773069149526569474154*c_1001_3^12 + 523207457701053929123516378866027888365533121/681983631444023030069\ 773069149526569474154*c_1001_3^11 + 2788563751450311800149996967508733656529569182/34099181572201151503\ 4886534574763284737077*c_1001_3^10 - 7554817920724500572700135029572295379790393235/34099181572201151503\ 4886534574763284737077*c_1001_3^9 + 17318638800031819184865220663837918968662817721/6819836314440230300\ 69773069149526569474154*c_1001_3^8 - 19068832155174973130808621734261558966505032615/6819836314440230300\ 69773069149526569474154*c_1001_3^7 + 12382387585234988394980369828923272079269792685/6819836314440230300\ 69773069149526569474154*c_1001_3^6 - 6810317932816858200666129310594295912112917101/68198363144402303006\ 9773069149526569474154*c_1001_3^5 + 3608505926878267535650737010724224014473600259/68198363144402303006\ 9773069149526569474154*c_1001_3^4 - 1113778760878525911002195572975887339739754699/68198363144402303006\ 9773069149526569474154*c_1001_3^3 + 92900990631016017736074507822121308250125769/6819836314440230300697\ 73069149526569474154*c_1001_3^2 + 307462477455253216763215466405408\ 75798081323/681983631444023030069773069149526569474154*c_1001_3 - 5325552561952728421815292153577493604540227/68198363144402303006977\ 3069149526569474154, c_1001_3^18 - 486/55*c_1001_3^17 + 786/55*c_1001_3^16 + 2744/55*c_1001_3^15 - 7072/55*c_1001_3^14 + 2612/55*c_1001_3^13 - 32/55*c_1001_3^12 - 10421/55*c_1001_3^11 + 25308/55*c_1001_3^10 - 25261/55*c_1001_3^9 + 5576/11*c_1001_3^8 - 14842/55*c_1001_3^7 + 1532/11*c_1001_3^6 - 368/5*c_1001_3^5 + 130/11*c_1001_3^4 + 40/11*c_1001_3^3 - 12/11*c_1001_3^2 - 2/55*c_1001_3 + 1/55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB