Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 3802365494] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1545 geometric_solution 5.33751301 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 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.564231040635 0.433857433063 0 1 1 0 0132 1230 3012 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 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.080118386115 1.019845738469 3 4 5 0 1230 0132 0132 0132 0 0 0 0 0 1 0 -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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.009792468201 1.244659287067 4 2 0 5 2310 3012 0132 3201 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 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.009792468201 1.244659287067 4 2 3 4 3012 0132 3201 1230 0 0 0 0 0 -1 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.271587532307 0.798743280623 6 3 6 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645099353968 0.769440116154 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522462654552 0.146029873114 ==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_0101_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_2'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0011_2'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0011_2'])})} 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_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 896704711969366588775137038395544010/367400807308886538724654618230\ 0331*c_0101_5^20 - 5167927726999034791675390583249444161/3674008073\ 088865387246546182300331*c_0101_5^19 - 79250266553183442045469593508218030430/3674008073088865387246546182\ 300331*c_0101_5^18 - 167552129152987305489393627323952141614/367400\ 8073088865387246546182300331*c_0101_5^17 + 406364290515080915185876650450448022059/367400807308886538724654618\ 2300331*c_0101_5^16 + 1673593114173101841616438443078717733668/3674\ 008073088865387246546182300331*c_0101_5^15 + 868462226929433325422504344581138909033/367400807308886538724654618\ 2300331*c_0101_5^14 - 2134067851867058628389905737248803668191/3674\ 008073088865387246546182300331*c_0101_5^13 - 47729558387688991893532406942727629150/1185163894544795286208563284\ 61301*c_0101_5^12 + 26815231138588215731402310286390650611/37876371\ 887514076157180888477323*c_0101_5^11 + 2766355775000755755861939056846215428994/36740080730888653872465461\ 82300331*c_0101_5^10 - 1694658455456007317625861839537540838917/367\ 4008073088865387246546182300331*c_0101_5^9 - 3247419798440940407574690544979900224440/36740080730888653872465461\ 82300331*c_0101_5^8 + 443853833857373081723237383735608760/37876371\ 887514076157180888477323*c_0101_5^7 + 1696005714558647771096592298221438469734/36740080730888653872465461\ 82300331*c_0101_5^6 + 267507060774406317077854592070464654611/36740\ 08073088865387246546182300331*c_0101_5^5 - 395709238151346404435972717597062361782/367400807308886538724654618\ 2300331*c_0101_5^4 - 59926984435836550674491486146268270284/3674008\ 073088865387246546182300331*c_0101_5^3 + 38244334920648689711693860748556722680/3674008073088865387246546182\ 300331*c_0101_5^2 + 3996370256216238082759080084182479828/367400807\ 3088865387246546182300331*c_0101_5 - 2734229273398833860176838076629635348/36740080730888653872465461823\ 00331, c_0011_0 - 1, c_0011_2 + 15091762959679234609780949586090/118516389454479528620856328\ 461301*c_0101_5^20 - 79661201908811316320987185982545/1185163894544\ 79528620856328461301*c_0101_5^19 - 1371833823230115691672731561090697/11851638945447952862085632846130\ 1*c_0101_5^18 - 3488693679604338969143579062586217/1185163894544795\ 28620856328461301*c_0101_5^17 + 5099638832613576282928097394941684/\ 118516389454479528620856328461301*c_0101_5^16 + 30547174346672264292477251439599183/1185163894544795286208563284613\ 01*c_0101_5^15 + 29606795429231821477622727079875725/11851638945447\ 9528620856328461301*c_0101_5^14 - 208562614401552785070823968513619\ 07/118516389454479528620856328461301*c_0101_5^13 - 34178299010318925891930061770552647/1185163894544795286208563284613\ 01*c_0101_5^12 + 289936489433475265566622096173273/1221818447984325\ 037328415757333*c_0101_5^11 + 60396492245800014704442721708824928/1\ 18516389454479528620856328461301*c_0101_5^10 - 477249018267876055523802292189110/118516389454479528620856328461301\ *c_0101_5^9 - 54417148393177607609986571227356359/11851638945447952\ 8620856328461301*c_0101_5^8 - 241295906344212795228824331725394/122\ 1818447984325037328415757333*c_0101_5^7 + 17871129549460437868563875513357279/1185163894544795286208563284613\ 01*c_0101_5^6 + 10965602168584195644015093395430531/118516389454479\ 528620856328461301*c_0101_5^5 - 3193311608776953709394712606714026/\ 118516389454479528620856328461301*c_0101_5^4 - 1802489791890158736835378161329078/11851638945447952862085632846130\ 1*c_0101_5^3 + 563773949744723083068200751120985/118516389454479528\ 620856328461301*c_0101_5^2 + 120745362735523383441869982506916/1185\ 16389454479528620856328461301*c_0101_5 + 7789432611632608254241004709584/118516389454479528620856328461301, c_0011_5 - 9559839905338652954504270488536/1185163894544795286208563284\ 61301*c_0101_5^20 + 49832589072486099791911668490014/11851638945447\ 9528620856328461301*c_0101_5^19 + 871996846730078891722452071137403\ /118516389454479528620856328461301*c_0101_5^18 + 2270969018116849268637988865898591/11851638945447952862085632846130\ 1*c_0101_5^17 - 3071735518165088025960852214504607/1185163894544795\ 28620856328461301*c_0101_5^16 - 19687473594536078612675132301815733\ /118516389454479528620856328461301*c_0101_5^15 - 20466332261823345951461284259516995/1185163894544795286208563284613\ 01*c_0101_5^14 + 12495438459592046326068224557979894/11851638945447\ 9528620856328461301*c_0101_5^13 + 254623710235135107320749677313255\ 78/118516389454479528620856328461301*c_0101_5^12 - 156326893440318179925771868773220/1221818447984325037328415757333*c\ _0101_5^11 - 42928350276573357621482907550552057/118516389454479528\ 620856328461301*c_0101_5^10 - 3323150808903449591990725365698426/11\ 8516389454479528620856328461301*c_0101_5^9 + 38637554543521894235345667292527911/1185163894544795286208563284613\ 01*c_0101_5^8 + 209354931135366124729571962513629/12218184479843250\ 37328415757333*c_0101_5^7 - 13091984635019622821756596771110614/118\ 516389454479528620856328461301*c_0101_5^6 - 11152046407214274788685579652811640/1185163894544795286208563284613\ 01*c_0101_5^5 + 2389553357180868172601412826322162/1185163894544795\ 28620856328461301*c_0101_5^4 + 2482794657183076059301323672266497/1\ 18516389454479528620856328461301*c_0101_5^3 - 594464056621315639498349799653023/118516389454479528620856328461301\ *c_0101_5^2 - 177755607559790556997882971024816/1185163894544795286\ 20856328461301*c_0101_5 + 99745140227075819622102283281662/11851638\ 9454479528620856328461301, c_0101_1 - 16437772294256495819831708699118/118516389454479528620856328\ 461301*c_0101_5^20 + 101755601939378900317839117372106/118516389454\ 479528620856328461301*c_0101_5^19 + 1418555036449830907485714782908399/11851638945447952862085632846130\ 1*c_0101_5^18 + 2418631189817719672070545398829219/1185163894544795\ 28620856328461301*c_0101_5^17 - 9332548076965964596309056044395990/\ 118516389454479528620856328461301*c_0101_5^16 - 29010986421928353508441412763448741/1185163894544795286208563284613\ 01*c_0101_5^15 - 930513039965795999729863868950913/1185163894544795\ 28620856328461301*c_0101_5^14 + 58675656970436095714604303034637018\ /118516389454479528620856328461301*c_0101_5^13 + 24428505194440621220696386459828323/1185163894544795286208563284613\ 01*c_0101_5^12 - 672003502514018010514609783222312/1221818447984325\ 037328415757333*c_0101_5^11 - 44712679205083628633044695517819968/1\ 18516389454479528620856328461301*c_0101_5^10 + 61354727433242595109665721685658136/1185163894544795286208563284613\ 01*c_0101_5^9 + 71524952016493135512641793591176919/118516389454479\ 528620856328461301*c_0101_5^8 - 226305650935429959187847395960025/1\ 221818447984325037328415757333*c_0101_5^7 - 51279547885519333220964239306978430/1185163894544795286208563284613\ 01*c_0101_5^6 - 4751944864630393249445005235171551/1185163894544795\ 28620856328461301*c_0101_5^5 + 13412917632088837453891294066693234/\ 118516389454479528620856328461301*c_0101_5^4 + 2898149108590788689219411191585705/11851638945447952862085632846130\ 1*c_0101_5^3 - 1213298552748529039570390027995490/11851638945447952\ 8620856328461301*c_0101_5^2 - 250536982716763318158031226480642/118\ 516389454479528620856328461301*c_0101_5 + 147460863897413228125877904968509/118516389454479528620856328461301\ , c_0101_2 + 32800112765591984324868495826470/118516389454479528620856328\ 461301*c_0101_5^20 - 185562068404346998228861047432543/118516389454\ 479528620856328461301*c_0101_5^19 - 2911531286343984611768842538097327/11851638945447952862085632846130\ 1*c_0101_5^18 - 6475378013193988850701590030281493/1185163894544795\ 28620856328461301*c_0101_5^17 + 13553789644852834202703243272681223\ /118516389454479528620856328461301*c_0101_5^16 + 61169466697022513634673751719538313/1185163894544795286208563284613\ 01*c_0101_5^15 + 40840916109424441405871278261383526/11851638945447\ 9528620856328461301*c_0101_5^14 - 603532974975174701731872765492721\ 88/118516389454479528620856328461301*c_0101_5^13 - 49365420128178484843622649093270050/1185163894544795286208563284613\ 01*c_0101_5^12 + 819644152905788993576145413848633/1221818447984325\ 037328415757333*c_0101_5^11 + 97295527243014126413169483564319905/1\ 18516389454479528620856328461301*c_0101_5^10 - 37430321391157969694884000790767346/1185163894544795286208563284613\ 01*c_0101_5^9 - 99319187317934739632702838842029614/118516389454479\ 528620856328461301*c_0101_5^8 - 124949948812887170380795428244693/1\ 221818447984325037328415757333*c_0101_5^7 + 39379732361996631951128293856128235/1185163894544795286208563284613\ 01*c_0101_5^6 + 7064228990486885165071261097408064/1185163894544795\ 28620856328461301*c_0101_5^5 - 6708308115451239907720146984537636/1\ 18516389454479528620856328461301*c_0101_5^4 + 337586198439418285924564555650316/118516389454479528620856328461301\ *c_0101_5^3 + 477763463917742909811797982503133/1185163894544795286\ 20856328461301*c_0101_5^2 - 113400055955208539086521753875768/11851\ 6389454479528620856328461301*c_0101_5 - 10620436430000737106835397885229/118516389454479528620856328461301, c_0101_4 - 70374299625173413642001777195505/118516389454479528620856328\ 461301*c_0101_5^20 + 397208713988393968812556193493654/118516389454\ 479528620856328461301*c_0101_5^19 + 6255614544978036880861366106792650/11851638945447952862085632846130\ 1*c_0101_5^18 + 13956092004770363084378608082406015/118516389454479\ 528620856328461301*c_0101_5^17 - 2921801331241391873800618707308678\ 1/118516389454479528620856328461301*c_0101_5^16 - 132404693443207354091336216994490667/118516389454479528620856328461\ 301*c_0101_5^15 - 88053660477127606828545927058061351/1185163894544\ 79528620856328461301*c_0101_5^14 + 135390854364061783102188545255204264/118516389454479528620856328461\ 301*c_0101_5^13 + 113780056419470657718499875028109697/118516389454\ 479528620856328461301*c_0101_5^12 - 1804410375764353749400666910725665/1221818447984325037328415757333*\ c_0101_5^11 - 218958661851592966736060316069025367/1185163894544795\ 28620856328461301*c_0101_5^10 + 84983289296222530592681484338791329\ /118516389454479528620856328461301*c_0101_5^9 + 228118909733317789346497378501221200/118516389454479528620856328461\ 301*c_0101_5^8 + 280080927601366313813217675778674/1221818447984325\ 037328415757333*c_0101_5^7 - 97148811576033833655122217632822676/11\ 8516389454479528620856328461301*c_0101_5^6 - 20716998254617870572239428407439267/1185163894544795286208563284613\ 01*c_0101_5^5 + 19269562879010601849951134748859596/118516389454479\ 528620856328461301*c_0101_5^4 + 2448687460901666592166442789151438/\ 118516389454479528620856328461301*c_0101_5^3 - 2013199557353337904555605784680785/11851638945447952862085632846130\ 1*c_0101_5^2 - 261192762709639495288176642375706/118516389454479528\ 620856328461301*c_0101_5 + 203477350025567715304087182336523/118516\ 389454479528620856328461301, c_0101_5^21 - 6*c_0101_5^20 - 87*c_0101_5^19 - 166*c_0101_5^18 + 496*c_0101_5^17 + 1755*c_0101_5^16 + 531*c_0101_5^15 - 2574*c_0101_5^14 - 1047*c_0101_5^13 + 3264*c_0101_5^12 + 2341*c_0101_5^11 - 2590*c_0101_5^10 - 3088*c_0101_5^9 + 909*c_0101_5^8 + 1797*c_0101_5^7 - 188*c_0101_5^6 - 478*c_0101_5^5 + 61*c_0101_5^4 + 53*c_0101_5^3 - 10*c_0101_5^2 - 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB