Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 3103335508] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1957 geometric_solution 5.53898313 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 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 1.892048831097 0.956035087377 0 1 1 0 0132 3201 2310 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.668115786824 0.159211102459 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -1 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 0 -1 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.682575246108 0.501613211574 5 2 6 4 0132 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 -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.266623287244 0.817010490053 6 3 5 2 1023 2310 1023 0132 0 0 0 0 0 0 1 -1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266623287244 0.817010490053 3 5 4 5 0132 2310 1023 3201 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 1 0 -1 0 0 0 0 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.494942084257 0.803212879322 6 4 6 3 2031 1023 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.364444042352 1.392854566452 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 4744938990591354349070647677814442867743/18005829458919369563397441\ 7989783895721*c_0101_5^23 - 286061460841605985230684715613193764778\ 11/180058294589193695633974417989783895721*c_0101_5^22 + 7046912300212789550387548841161408395876/18005829458919369563397441\ 7989783895721*c_0101_5^21 + 185621640077870017452573161581664711509\ 056/180058294589193695633974417989783895721*c_0101_5^20 + 419731624496967974942812856695390216684020/180058294589193695633974\ 417989783895721*c_0101_5^19 + 1142233514715616596724643840434661657\ 457910/180058294589193695633974417989783895721*c_0101_5^18 + 178602115681887419848624119334904373199632/180058294589193695633974\ 417989783895721*c_0101_5^17 - 2734676980787023392055495913739350627\ 20577/16368935871744881421270401635434899611*c_0101_5^16 - 3509713593118818337810992070259858248829558/18005829458919369563397\ 4417989783895721*c_0101_5^15 - 673360165626282956792713031761937223\ 970190/180058294589193695633974417989783895721*c_0101_5^14 + 6041361405450148840510779727965053846790448/18005829458919369563397\ 4417989783895721*c_0101_5^13 + 543187841101823212226560822262970425\ 7414105/180058294589193695633974417989783895721*c_0101_5^12 - 5848397662930786479268953624401531238342214/18005829458919369563397\ 4417989783895721*c_0101_5^11 - 740742287329540541415396580271590237\ 2555110/180058294589193695633974417989783895721*c_0101_5^10 + 4005434238414798023053914853860614890417272/18005829458919369563397\ 4417989783895721*c_0101_5^9 + 6280577839939493926869281766467757039\ 14008/16368935871744881421270401635434899611*c_0101_5^8 - 190017105360614027410644550878794367590376/163689358717448814212704\ 01635434899611*c_0101_5^7 - 236849527445286731836689646400741280998\ 3772/180058294589193695633974417989783895721*c_0101_5^6 + 1570967714976124807442360854203395391231069/18005829458919369563397\ 4417989783895721*c_0101_5^5 + 4141989652596747997428543031347645013\ 37943/180058294589193695633974417989783895721*c_0101_5^4 - 302385846660068933655287654736253149946586/180058294589193695633974\ 417989783895721*c_0101_5^3 - 18982131334202882132437501539104233256\ 0165/180058294589193695633974417989783895721*c_0101_5^2 - 14887389253748383402067119819063193069229/1800582945891936956339744\ 17989783895721*c_0101_5 + 39598554105168206872999589044409224290269\ /180058294589193695633974417989783895721, c_0011_0 - 1, c_0011_2 - 11488580841934526790859780066743302/191002752295739573177017\ 52200040723*c_0101_5^23 - 71597331867636668692804537648826598/19100\ 275229573957317701752200040723*c_0101_5^22 + 5373484450342798381592473092159207/19100275229573957317701752200040\ 723*c_0101_5^21 + 466470964233602911713351334744886986/191002752295\ 73957317701752200040723*c_0101_5^20 + 1099033158599159258536037012304693287/19100275229573957317701752200\ 040723*c_0101_5^19 + 2880209761221994913298765030094266640/19100275\ 229573957317701752200040723*c_0101_5^18 + 816710854808949443791904083565083131/191002752295739573177017522000\ 40723*c_0101_5^17 - 7697681144119314167996332908828536266/191002752\ 29573957317701752200040723*c_0101_5^16 - 9873186485402207417797283011218506144/19100275229573957317701752200\ 040723*c_0101_5^15 - 1828544645979545215914283997142575012/19100275\ 229573957317701752200040723*c_0101_5^14 + 15502318170846349454047141607801925504/1910027522957395731770175220\ 0040723*c_0101_5^13 + 15850878964981040534650904482085331179/191002\ 75229573957317701752200040723*c_0101_5^12 - 14545746979505075118895654629914783929/1910027522957395731770175220\ 0040723*c_0101_5^11 - 22374504012454243969888007359493766458/191002\ 75229573957317701752200040723*c_0101_5^10 + 9943111269785744583873472277309805935/19100275229573957317701752200\ 040723*c_0101_5^9 + 21222465388029142999530363276357546680/19100275\ 229573957317701752200040723*c_0101_5^8 - 5125459187699361280001519100610881413/19100275229573957317701752200\ 040723*c_0101_5^7 - 9334485668681063539061641453610774834/191002752\ 29573957317701752200040723*c_0101_5^6 + 5091671086264926184046996483176122649/19100275229573957317701752200\ 040723*c_0101_5^5 + 2425546647970123245804223437868486958/191002752\ 29573957317701752200040723*c_0101_5^4 - 1919428228926676512152320677523982308/19100275229573957317701752200\ 040723*c_0101_5^3 - 452049279153343403263167203933627471/1910027522\ 9573957317701752200040723*c_0101_5^2 + 152028962266599926816540818751877957/191002752295739573177017522000\ 40723*c_0101_5 + 31354739626070393263545280255658868/19100275229573\ 957317701752200040723, c_0011_4 + 7321993268796531559550386893365930700/1636893587174488142127\ 0401635434899611*c_0101_5^23 + 508715408635982352643109954013374689\ 63/16368935871744881421270401635434899611*c_0101_5^22 + 27506245611228450586652843740244894896/1636893587174488142127040163\ 5434899611*c_0101_5^21 - 309163642613260766713027872094235732396/16\ 368935871744881421270401635434899611*c_0101_5^20 - 904505287740722493193967035360173537214/163689358717448814212704016\ 35434899611*c_0101_5^19 - 2270099673607514346880865312506303640631/\ 16368935871744881421270401635434899611*c_0101_5^18 - 1720332638241484437215435095375148530214/16368935871744881421270401\ 635434899611*c_0101_5^17 + 4856228385217738238859313227348064060620\ /16368935871744881421270401635434899611*c_0101_5^16 + 9615164720037559022666787950847085474760/16368935871744881421270401\ 635434899611*c_0101_5^15 + 4502773667767045013300531594242274331114\ /16368935871744881421270401635434899611*c_0101_5^14 - 9715317514344818345190880806276428881625/16368935871744881421270401\ 635434899611*c_0101_5^13 - 1660700585172081175033768811453915234969\ 1/16368935871744881421270401635434899611*c_0101_5^12 + 4495218284126621567161428070744606520944/16368935871744881421270401\ 635434899611*c_0101_5^11 + 2167179391876204688791533150157280492627\ 4/16368935871744881421270401635434899611*c_0101_5^10 + 521416261893257042871960963407554566907/163689358717448814212704016\ 35434899611*c_0101_5^9 - 19718164051299650038481185613594863238606/\ 16368935871744881421270401635434899611*c_0101_5^8 - 3309781186285981417606342203602173388002/16368935871744881421270401\ 635434899611*c_0101_5^7 + 10094015552973675918828446445139501779000\ /16368935871744881421270401635434899611*c_0101_5^6 - 1251535663297749692260681983894362656698/16368935871744881421270401\ 635434899611*c_0101_5^5 - 4395117812533748845913883503601534743793/\ 16368935871744881421270401635434899611*c_0101_5^4 + 1222351484933712499208009698761241068722/16368935871744881421270401\ 635434899611*c_0101_5^3 + 932107930486738135836223759728100896999/1\ 6368935871744881421270401635434899611*c_0101_5^2 - 198308157045105382250978778610581100236/163689358717448814212704016\ 35434899611*c_0101_5 - 38748370577952460426094378303102322253/16368\ 935871744881421270401635434899611, c_0101_0 - 20397612686581041419907445764384184/191002752295739573177017\ 52200040723*c_0101_5^23 - 124820757569500997770231692720787191/1910\ 0275229573957317701752200040723*c_0101_5^22 + 22064055490746322243700657785835562/1910027522957395731770175220004\ 0723*c_0101_5^21 + 816386952344824499224508242010800460/19100275229\ 573957317701752200040723*c_0101_5^20 + 1860819708789649279112132508764579550/19100275229573957317701752200\ 040723*c_0101_5^19 + 4961609347349447711951429860450925457/19100275\ 229573957317701752200040723*c_0101_5^18 + 1030099939433301482966323963597496440/19100275229573957317701752200\ 040723*c_0101_5^17 - 13390937410023898943346695557441830527/1910027\ 5229573957317701752200040723*c_0101_5^16 - 15909812006803638583750051349563598627/1910027522957395731770175220\ 0040723*c_0101_5^15 - 2312191008545943258939007240213178664/1910027\ 5229573957317701752200040723*c_0101_5^14 + 26630681678596290383451973190638405523/1910027522957395731770175220\ 0040723*c_0101_5^13 + 24632486860096219919433541900134195837/191002\ 75229573957317701752200040723*c_0101_5^12 - 26987814170160485932724008914122278796/1910027522957395731770175220\ 0040723*c_0101_5^11 - 35022793791626854930331785330058775717/191002\ 75229573957317701752200040723*c_0101_5^10 + 20254233947242283592648481855471015986/1910027522957395731770175220\ 0040723*c_0101_5^9 + 33389782881758796327159088171553104464/1910027\ 5229573957317701752200040723*c_0101_5^8 - 11975396091703710396198160150107225913/1910027522957395731770175220\ 0040723*c_0101_5^7 - 13482003178783351322824445589148020648/1910027\ 5229573957317701752200040723*c_0101_5^6 + 10160992720220593353518158206429130212/1910027522957395731770175220\ 0040723*c_0101_5^5 + 2838347990446566723916348033199665597/19100275\ 229573957317701752200040723*c_0101_5^4 - 3289815207140220474821321785560894482/19100275229573957317701752200\ 040723*c_0101_5^3 - 297935909115812560496658272573373029/1910027522\ 9573957317701752200040723*c_0101_5^2 + 279655678962869533746974583874597057/191002752295739573177017522000\ 40723*c_0101_5 + 13718285775885221378282836816031475/19100275229573\ 957317701752200040723, c_0101_1 + 5981765426036304365050819514353926/1910027522957395731770175\ 2200040723*c_0101_5^23 + 42852527408043120176311938145056064/191002\ 75229573957317701752200040723*c_0101_5^22 + 31508513911957020800459983268719577/1910027522957395731770175220004\ 0723*c_0101_5^21 - 247216966601339577858703049759463033/19100275229\ 573957317701752200040723*c_0101_5^20 - 792295521066882232247203550822516958/191002752295739573177017522000\ 40723*c_0101_5^19 - 2014815054937083902019048290893234208/191002752\ 29573957317701752200040723*c_0101_5^18 - 1818798694576026304711975927503913194/19100275229573957317701752200\ 040723*c_0101_5^17 + 3623840947862908506528288734667180794/19100275\ 229573957317701752200040723*c_0101_5^16 + 8647254456338161995712062909470494156/19100275229573957317701752200\ 040723*c_0101_5^15 + 5331470508601612119527759877076772315/19100275\ 229573957317701752200040723*c_0101_5^14 - 6984578148623095213253324750013859291/19100275229573957317701752200\ 040723*c_0101_5^13 - 14974847639176631902511150194473293418/1910027\ 5229573957317701752200040723*c_0101_5^12 + 850312549442164190688687265258149637/191002752295739573177017522000\ 40723*c_0101_5^11 + 18265003224750568572438621562629811947/19100275\ 229573957317701752200040723*c_0101_5^10 + 3772308370715816758458743407028025288/19100275229573957317701752200\ 040723*c_0101_5^9 - 15902417996228666061611659096566171666/19100275\ 229573957317701752200040723*c_0101_5^8 - 5611038364507807942985722984926715144/19100275229573957317701752200\ 040723*c_0101_5^7 + 7665309705512910583354955039085484586/191002752\ 29573957317701752200040723*c_0101_5^6 + 228256787223919350299847568946546419/191002752295739573177017522000\ 40723*c_0101_5^5 - 3911794422695352143465454703393312751/1910027522\ 9573957317701752200040723*c_0101_5^4 + 476305866066836169427386016770409779/191002752295739573177017522000\ 40723*c_0101_5^3 + 872076875184769787095257903423190447/19100275229\ 573957317701752200040723*c_0101_5^2 - 71879866152879289215509478440559627/1910027522957395731770175220004\ 0723*c_0101_5 - 31830499153942548427716459670426618/191002752295739\ 57317701752200040723, c_0101_3 - 8191432284575090540025624270358159445/1636893587174488142127\ 0401635434899611*c_0101_5^23 - 547647590920026645575620291672672701\ 90/16368935871744881421270401635434899611*c_0101_5^22 - 19702846391256992550727024106408154326/1636893587174488142127040163\ 5434899611*c_0101_5^21 + 331664437799991012079857437562089655019/16\ 368935871744881421270401635434899611*c_0101_5^20 + 932179391355808107048389714867450915657/163689358717448814212704016\ 35434899611*c_0101_5^19 + 2421204408667570470096992119511825445745/\ 16368935871744881421270401635434899611*c_0101_5^18 + 1563565781715431978262800179864564396218/16368935871744881421270401\ 635434899611*c_0101_5^17 - 5079222005984948260943728433597281415067\ /16368935871744881421270401635434899611*c_0101_5^16 - 9377465294309974158486802890981793191561/16368935871744881421270401\ 635434899611*c_0101_5^15 - 4588994248175747653590543695658040743199\ /16368935871744881421270401635434899611*c_0101_5^14 + 9953274010275359858891012614994577641403/16368935871744881421270401\ 635434899611*c_0101_5^13 + 1568794238228333952138677085731936345625\ 8/16368935871744881421270401635434899611*c_0101_5^12 - 5152890950972174055067321922262014566753/16368935871744881421270401\ 635434899611*c_0101_5^11 - 1987728853587415752024982363583213939839\ 0/16368935871744881421270401635434899611*c_0101_5^10 + 387027677235406981448717393745752725716/163689358717448814212704016\ 35434899611*c_0101_5^9 + 17709635875987115345341892532695725306667/\ 16368935871744881421270401635434899611*c_0101_5^8 + 2420360444831216420316617593747764375658/16368935871744881421270401\ 635434899611*c_0101_5^7 - 7967783436185162483760433122382098121148/\ 16368935871744881421270401635434899611*c_0101_5^6 + 1379064858822299003401344613934679154130/16368935871744881421270401\ 635434899611*c_0101_5^5 + 3458609874213776630153894035165891124790/\ 16368935871744881421270401635434899611*c_0101_5^4 - 853177209254810159396119258908725121522/163689358717448814212704016\ 35434899611*c_0101_5^3 - 764864208478452931774996721510327429801/16\ 368935871744881421270401635434899611*c_0101_5^2 + 109043588346320073914909754787306902390/163689358717448814212704016\ 35434899611*c_0101_5 + 29930448029237158076636933253005381963/16368\ 935871744881421270401635434899611, c_0101_5^24 + 6*c_0101_5^23 - 2*c_0101_5^22 - 41*c_0101_5^21 - 86*c_0101_5^20 - 225*c_0101_5^19 - 6*c_0101_5^18 + 705*c_0101_5^17 + 702*c_0101_5^16 - 101*c_0101_5^15 - 1438*c_0101_5^14 - 1052*c_0101_5^13 + 1707*c_0101_5^12 + 1731*c_0101_5^11 - 1473*c_0101_5^10 - 1770*c_0101_5^9 + 1012*c_0101_5^8 + 834*c_0101_5^7 - 730*c_0101_5^6 - 157*c_0101_5^5 + 280*c_0101_5^4 - 5*c_0101_5^3 - 40*c_0101_5^2 + 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB