Magma V2.19-8 Tue Aug 20 2013 16:16:53 on localhost [Seed = 2412647248] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1147 geometric_solution 5.02355287 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 2 -2 0 0 0 0 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.492071902962 0.140965861228 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.246132251622 0.222281901064 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.918662639083 0.736208347437 2 5 4 6 0132 0132 3201 0132 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 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.090328654958 0.690659356828 3 6 2 5 2310 1023 0132 2310 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 -1 1 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.090328654958 0.690659356828 4 3 5 5 3201 0132 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 -1 1 0 0 -1 1 -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.290215624398 0.547104050794 4 6 3 6 1023 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186179539119 1.423542073138 ==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' : negation(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' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], '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_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2315903737226599405258662550800896722733959949/56667314061872088062\ 39483180544664898563539738*c_0110_5^28 + 230433893018208098725861694731293029542795374929/113334628123744176\ 12478966361089329797127079476*c_0110_5^26 + 1429473434707990204896823265370225161370469736758/28333657030936044\ 03119741590272332449281769869*c_0110_5^24 + 51362601153021272078818422800697243001736529455513/1133346281237441\ 7612478966361089329797127079476*c_0110_5^22 + 20789142036107722495171201677997773802782115217242/9444552343645348\ 01039913863424110816427256623*c_0110_5^20 + 790161599223518927454914982857052935337092001882215/113334628123744\ 17612478966361089329797127079476*c_0110_5^18 + 48935733691556676159280592919986785086111260760845/3148184114548449\ 33679971287808036938809085541*c_0110_5^16 + 853371752085937523788580898330139044802155893086139/377782093745813\ 9204159655453696443265709026492*c_0110_5^14 + 1863871922967583064606179579357558506964502746858655/11333462812374\ 417612478966361089329797127079476*c_0110_5^12 + 948393825837645742339002879043371896782510897675043/113334628123744\ 17612478966361089329797127079476*c_0110_5^10 + 51819651665782391200752979456857947038304412204025/1888910468729069\ 602079827726848221632854513246*c_0110_5^8 - 5373022485585451234473623136921127105377275165909/56667314061872088\ 06239483180544664898563539738*c_0110_5^6 - 8688444514002585839012237340991910852692453394960/28333657030936044\ 03119741590272332449281769869*c_0110_5^4 - 202368010430817116020702929679327163068292031997/944455234364534801\ 039913863424110816427256623*c_0110_5^2 + 534268232924978423065486201113338122026519049129/113334628123744176\ 12478966361089329797127079476, c_0011_0 - 1, c_0011_1 - 4509252165353670991864998876869743371934/3930317246627277574\ 03210097138622894892741*c_0110_5^28 + 225145832927682992248038792209425763596362/393031724662727757403210\ 097138622894892741*c_0110_5^26 + 5526038045082517911953496762768209\ 250935470/393031724662727757403210097138622894892741*c_0110_5^24 + 49020208842620689121308078523879847299224181/3930317246627277574032\ 10097138622894892741*c_0110_5^22 + 234276579536855421081490294536148707942533106/393031724662727757403\ 210097138622894892741*c_0110_5^20 + 729050003752868872722909788212117534348033799/393031724662727757403\ 210097138622894892741*c_0110_5^18 + 1593185841655677551229167736569556421714926554/39303172466272775740\ 3210097138622894892741*c_0110_5^16 + 2234888249270956248321857755891755733637027701/39303172466272775740\ 3210097138622894892741*c_0110_5^14 + 1477110767632399775527326817666084722337815570/39303172466272775740\ 3210097138622894892741*c_0110_5^12 + 751415777200035778101256771667950617991638082/393031724662727757403\ 210097138622894892741*c_0110_5^10 + 237367625267402003435696000405502050700895007/393031724662727757403\ 210097138622894892741*c_0110_5^8 - 16661021210443593096918097426536578919139251/3930317246627277574032\ 10097138622894892741*c_0110_5^6 - 181390433679599120722256816042071\ 84000248748/393031724662727757403210097138622894892741*c_0110_5^4 + 1030004754657113172434097997607910384000121/39303172466272775740321\ 0097138622894892741*c_0110_5^2 - 5565425282751592538194196608002410\ 33405260/393031724662727757403210097138622894892741, c_0011_4 + 488672386775733259853762484705132459173953/69959646989965540\ 817771397290674875290907898*c_0110_5^29 - 24350793926203553620417712346132730447259929/6995964698996554081777\ 1397290674875290907898*c_0110_5^27 - 601289944272403856764078108468983278561593717/699596469899655408177\ 71397290674875290907898*c_0110_5^25 - 5371504901776836986874760885464755555238591003/69959646989965540817\ 771397290674875290907898*c_0110_5^23 - 25908553310370203536361700741610270271310110903/6995964698996554081\ 7771397290674875290907898*c_0110_5^21 - 81459889111484344365452939803259665640707006651/6995964698996554081\ 7771397290674875290907898*c_0110_5^19 - 180161691686080307755447584983040979138936991495/699596469899655408\ 17771397290674875290907898*c_0110_5^17 - 129122516600744407415987996553699262258468123228/349798234949827704\ 08885698645337437645453949*c_0110_5^15 - 90801641128978799471128749554178724434672716387/3497982349498277040\ 8885698645337437645453949*c_0110_5^13 - 93437007290154639146018678248244392255275704523/6995964698996554081\ 7771397290674875290907898*c_0110_5^11 - 15213834637481030673657418236986158681738268918/3497982349498277040\ 8885698645337437645453949*c_0110_5^9 + 705516915088827856120887149746026092924005209/349798234949827704088\ 85698645337437645453949*c_0110_5^7 + 1436422485610708472575578418376831555644566918/34979823494982770408\ 885698645337437645453949*c_0110_5^5 + 358810327767633153369979875181255063354782275/699596469899655408177\ 71397290674875290907898*c_0110_5^3 + 77230733840665836869984218399085649183629045/6995964698996554081777\ 1397290674875290907898*c_0110_5, c_0101_0 + 4108625229022723897389190133699847201298750/1049394704849483\ 11226657095936012312936361847*c_0110_5^29 - 205287581576204354337109044957518479535760467/104939470484948311226\ 657095936012312936361847*c_0110_5^27 - 5027886167774001079254142143491110379799562360/10493947048494831122\ 6657095936012312936361847*c_0110_5^25 - 44484865631699367293177115193276066830545579930/1049394704849483112\ 26657095936012312936361847*c_0110_5^23 - 70608921114973848490789447607725142408846658701/3497982349498277040\ 8885698645337437645453949*c_0110_5^21 - 656230354926369012393252008561751459188532241730/104939470484948311\ 226657095936012312936361847*c_0110_5^19 - 475272678423107627549953942346699942633600747522/349798234949827704\ 08885698645337437645453949*c_0110_5^17 - 659325087245866345203629192002005891475191118049/349798234949827704\ 08885698645337437645453949*c_0110_5^15 - 1259159285760027057189480855946591683715952441069/10493947048494831\ 1226657095936012312936361847*c_0110_5^13 - 618202425582340927500250726795144806773420028854/104939470484948311\ 226657095936012312936361847*c_0110_5^11 - 61140783227657175331361021800998325519274223910/3497982349498277040\ 8885698645337437645453949*c_0110_5^9 + 26444744421219248464467563756574975344382370843/1049394704849483112\ 26657095936012312936361847*c_0110_5^7 + 15832183481371252310983198428669658326453067613/1049394704849483112\ 26657095936012312936361847*c_0110_5^5 - 832336107777937659935091365607594448314607482/349798234949827704088\ 85698645337437645453949*c_0110_5^3 + 626161501727492163116254039853945024917485737/104939470484948311226\ 657095936012312936361847*c_0110_5, c_0101_2 - 948503072087287608025128573613657607391298/34979823494982770\ 408885698645337437645453949*c_0110_5^29 + 47318048854927468345979094030279279748025954/3497982349498277040888\ 5698645337437645453949*c_0110_5^27 + 1164417787193619299478831607807293853732150690/34979823494982770408\ 885698645337437645453949*c_0110_5^25 + 10359954282059093449043668004810844458401410154/3497982349498277040\ 8885698645337437645453949*c_0110_5^23 + 49697800153707515282770045290520419406977688862/3497982349498277040\ 8885698645337437645453949*c_0110_5^21 + 155261327448613148279033069826106621475382075169/349798234949827704\ 08885698645337437645453949*c_0110_5^19 + 340704742225948363094419962523757746579647247412/349798234949827704\ 08885698645337437645453949*c_0110_5^17 + 481309218245030841588421835548598604317513449942/349798234949827704\ 08885698645337437645453949*c_0110_5^15 + 323746920832384389465970332392547761146840670206/349798234949827704\ 08885698645337437645453949*c_0110_5^13 + 160801611044506813164808067482815296230249680204/349798234949827704\ 08885698645337437645453949*c_0110_5^11 + 48441961292825523053942184875635569934204456257/3497982349498277040\ 8885698645337437645453949*c_0110_5^9 - 5542578213429845753857852010323435265801796096/34979823494982770408\ 885698645337437645453949*c_0110_5^7 - 5570835325531376907970915557329236699745696344/34979823494982770408\ 885698645337437645453949*c_0110_5^5 - 45924521654460192220726347420028282932022495/3497982349498277040888\ 5698645337437645453949*c_0110_5^3 - 43617764620544524701939889365356368672295874/3497982349498277040888\ 5698645337437645453949*c_0110_5, c_0101_3 - 6414969306009008602591122442992576152103/3930317246627277574\ 03210097138622894892741*c_0110_5^28 + 320096335762604452803187127054620372162767/393031724662727757403210\ 097138622894892741*c_0110_5^26 + 7871659113389513263178470337283703\ 526955898/393031724662727757403210097138622894892741*c_0110_5^24 + 69977898293262415545709819480189631556278817/3930317246627277574032\ 10097138622894892741*c_0110_5^22 + 335323711084865070332115585554230561538985177/393031724662727757403\ 210097138622894892741*c_0110_5^20 + 1046278155813292839733731062998602721182859794/39303172466272775740\ 3210097138622894892741*c_0110_5^18 + 2292687784189350128185292671634167754885153795/39303172466272775740\ 3210097138622894892741*c_0110_5^16 + 3230965544000422171926804040256150822568593933/39303172466272775740\ 3210097138622894892741*c_0110_5^14 + 2159019353303777763002703788101946379203012205/39303172466272775740\ 3210097138622894892741*c_0110_5^12 + 1077548107068313124471600093502283047774346108/39303172466272775740\ 3210097138622894892741*c_0110_5^10 + 336904911574127427905022796494013158159455167/393031724662727757403\ 210097138622894892741*c_0110_5^8 - 29704230328787578770580574066026202498590906/3930317246627277574032\ 10097138622894892741*c_0110_5^6 - 299394466364464662644361371914992\ 04721423086/393031724662727757403210097138622894892741*c_0110_5^4 + 1801163577669846238736913472140442729042846/39303172466272775740321\ 0097138622894892741*c_0110_5^2 - 5419647447157273678880183920131817\ 20399055/393031724662727757403210097138622894892741, c_0110_5^30 - 50*c_0110_5^28 - 1222*c_0110_5^26 - 10784*c_0110_5^24 - 51168*c_0110_5^22 - 157826*c_0110_5^20 - 340992*c_0110_5^18 - 467817*c_0110_5^16 - 286280*c_0110_5^14 - 134675*c_0110_5^12 - 35313*c_0110_5^10 + 10084*c_0110_5^8 + 4454*c_0110_5^6 - 681*c_0110_5^4 + 110*c_0110_5^2 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB