Magma V2.19-8 Tue Aug 20 2013 16:19:22 on localhost [Seed = 846442295] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3466 geometric_solution 6.67465264 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 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.780870850639 1.000299302563 0 3 5 4 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.475533349282 0.803570299033 3 0 4 5 2310 0132 3201 2310 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 0 0 0 1 0 0 -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.475533349282 0.803570299033 6 1 2 6 0132 0132 3201 3201 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.225589129952 0.684388551480 2 4 1 4 2310 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.777170757192 0.982201760922 2 6 6 1 3201 2310 1023 0132 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 0 0 0 -1 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 0.449238527450 0.467172900840 3 3 5 5 0132 2310 1023 3201 0 0 0 0 0 0 0 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 -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.215741535690 1.245625483067 ==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' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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' : d['1'], 's_0_6' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 10210289921015956532879204526112977678307204/2835487675570869080502\ 725376317409969485*c_0101_6^20 - 1428886318623310807741803046040590\ 2812453686/2835487675570869080502725376317409969485*c_0101_6^19 + 143669330497888641666937660130056788173005722/283548767557086908050\ 2725376317409969485*c_0101_6^18 + 233522109702767306804703041219259\ 845983201573/2835487675570869080502725376317409969485*c_0101_6^17 - 285201412031467142546493495356629934110743063/113419507022834763220\ 1090150526963987794*c_0101_6^16 - 405237667531210792626916359287540\ 288828551079/810139335877391165857921536090688562710*c_0101_6^15 + 2670489482613792724917434204741429223718266327/56709753511417381610\ 05450752634819938970*c_0101_6^14 + 7425443949120914228447994188897756438457123387/56709753511417381610\ 05450752634819938970*c_0101_6^13 - 741865676598100922288976297894837902763945966/283548767557086908050\ 2725376317409969485*c_0101_6^12 - 496669088493662918300993400521315\ 6284251782838/2835487675570869080502725376317409969485*c_0101_6^11 - 12897517766603740812739326206295601142177429/5155432137401580146368\ 5915933043817627*c_0101_6^10 + 102940439936376870846133455015543474\ 898561117/81013933587739116585792153609068856271*c_0101_6^9 + 2323890654537643140798720554657818910495453389/56709753511417381610\ 05450752634819938970*c_0101_6^8 - 109372402336878562121574354180058\ 347684998727/218114436582374544654055798178262305345*c_0101_6^7 - 588981333429561999145809646800572031649577821/283548767557086908050\ 2725376317409969485*c_0101_6^6 + 5697422086294948060477579574586206\ 3393040689/515543213740158014636859159330438176270*c_0101_6^5 + 300093565392801091087260762314488996643478591/567097535114173816100\ 5450752634819938970*c_0101_6^4 - 7776338136304928333327594552738782\ 172434037/567097535114173816100545075263481993897*c_0101_6^3 - 6035908912431461632091608082178356088413144/56709753511417381610054\ 5075263481993897*c_0101_6^2 - 5743983469066681456219730201902636175\ 754931/2835487675570869080502725376317409969485*c_0101_6 - 64910482249523429821603634940236253857669/5155432137401580146368591\ 59330438176270, c_0011_0 - 1, c_0011_4 + 103516322408431329988899895148422496292/73649030534308287805\ 26559419006259661*c_0101_6^20 + 48574723372582958201246726714141260\ 396/7364903053430828780526559419006259661*c_0101_6^19 - 1587644221246044293389847485664520107092/73649030534308287805265594\ 19006259661*c_0101_6^18 - 989454757134430868827298416018449433931/7\ 364903053430828780526559419006259661*c_0101_6^17 + 9382876286851382728525994025888820455941/73649030534308287805265594\ 19006259661*c_0101_6^16 + 7311042321717126128381541222500073321503/\ 7364903053430828780526559419006259661*c_0101_6^15 - 26756107601719424113844395571906394946887/7364903053430828780526559\ 419006259661*c_0101_6^14 - 2312773002140437958977955202600697895422\ 5/7364903053430828780526559419006259661*c_0101_6^13 + 42855172106327946462687000207134525307342/7364903053430828780526559\ 419006259661*c_0101_6^12 + 3852454596427667186975833352859228004180\ 9/7364903053430828780526559419006259661*c_0101_6^11 - 41680268321408391644096599110261933104202/7364903053430828780526559\ 419006259661*c_0101_6^10 - 3683323685796636589406404903975834703763\ 0/7364903053430828780526559419006259661*c_0101_6^9 + 25586210462214851070167170700795625677270/7364903053430828780526559\ 419006259661*c_0101_6^8 + 1588676766452413809192322968467681248339/\ 566531004110063752348196878385096897*c_0101_6^7 - 10037115154349950119307845275207984414233/7364903053430828780526559\ 419006259661*c_0101_6^6 - 6731672717436704520534629640799887873201/\ 7364903053430828780526559419006259661*c_0101_6^5 + 2407269005440907284418427156696594275327/73649030534308287805265594\ 19006259661*c_0101_6^4 + 1312875909711563538382455956007662538950/7\ 364903053430828780526559419006259661*c_0101_6^3 - 263875967431459768361743725175404720322/736490305343082878052655941\ 9006259661*c_0101_6^2 - 162248892016244588818845048737439640838/736\ 4903053430828780526559419006259661*c_0101_6 - 10036885959744877814018727883761363828/7364903053430828780526559419\ 006259661, c_0101_0 - 222510184773326513380507391711707357448/73649030534308287805\ 26559419006259661*c_0101_6^20 - 15877377994984929111161981015280207\ 2004/7364903053430828780526559419006259661*c_0101_6^19 + 3435239038294505197017699679903862576612/73649030534308287805265594\ 19006259661*c_0101_6^18 + 2998522920528356832671801078275047859478/\ 7364903053430828780526559419006259661*c_0101_6^17 - 20358524531439339577422648566496480239701/7364903053430828780526559\ 419006259661*c_0101_6^16 - 2131033673966142274678952023941293592320\ 9/7364903053430828780526559419006259661*c_0101_6^15 + 57583877699819145972382322740769394956298/7364903053430828780526559\ 419006259661*c_0101_6^14 + 6810031133456805258671480512407195057261\ 0/7364903053430828780526559419006259661*c_0101_6^13 - 89732165820743711503727592319906451525456/7364903053430828780526559\ 419006259661*c_0101_6^12 - 1172413995949293609680010358590736198885\ 55/7364903053430828780526559419006259661*c_0101_6^11 + 82367654444507182156596133110549889735469/7364903053430828780526559\ 419006259661*c_0101_6^10 + 1178246854660024168094336017105503815170\ 50/7364903053430828780526559419006259661*c_0101_6^9 - 45879504258090475686377631207741218754875/7364903053430828780526559\ 419006259661*c_0101_6^8 - 5441621295384684412336779814330876141837/\ 566531004110063752348196878385096897*c_0101_6^7 + 15979115389325621056633795052891843907472/7364903053430828780526559\ 419006259661*c_0101_6^6 + 25202913677781290125119577971146646376368\ /7364903053430828780526559419006259661*c_0101_6^5 - 3555161803217566571291651517349864202619/73649030534308287805265594\ 19006259661*c_0101_6^4 - 5345098677981876571171771658434228125564/7\ 364903053430828780526559419006259661*c_0101_6^3 + 269207943379646704179639313422494735087/736490305343082878052655941\ 9006259661*c_0101_6^2 + 661605793993947102142803713776274603143/736\ 4903053430828780526559419006259661*c_0101_6 + 106206088824836201459642506946893121630/736490305343082878052655941\ 9006259661, c_0101_1 - 116227635760804130341470309257457521788/73649030534308287805\ 26559419006259661*c_0101_6^20 - 63878492744795632499832073441450308\ 236/7364903053430828780526559419006259661*c_0101_6^19 + 1769744236162904163268207312552884601912/73649030534308287805265594\ 19006259661*c_0101_6^18 + 1259307736756164584514185786367193009109/\ 7364903053430828780526559419006259661*c_0101_6^17 - 10340202079955987013787397391228357760505/7364903053430828780526559\ 419006259661*c_0101_6^16 - 9096308087176992240176612246045951232602\ /7364903053430828780526559419006259661*c_0101_6^15 + 28938708323402477774389447902455748006781/7364903053430828780526559\ 419006259661*c_0101_6^14 + 2843007828622635857212021123614770296871\ 7/7364903053430828780526559419006259661*c_0101_6^13 - 45471073653587747014540162516858148679278/7364903053430828780526559\ 419006259661*c_0101_6^12 - 4703219405519956988223862071234677655189\ 2/7364903053430828780526559419006259661*c_0101_6^11 + 43846184324643694393926300138062526664767/7364903053430828780526559\ 419006259661*c_0101_6^10 + 4482959914105207510866694772200436088051\ 4/7364903053430828780526559419006259661*c_0101_6^9 - 27545804201177923900537321374646018353937/7364903053430828780526559\ 419006259661*c_0101_6^8 - 1929193750919585499238201457692430185640/\ 566531004110063752348196878385096897*c_0101_6^7 + 11774520934621617428433882987274913963890/7364903053430828780526559\ 419006259661*c_0101_6^6 + 8014820057646407919341146190716597268021/\ 7364903053430828780526559419006259661*c_0101_6^5 - 3338254890092568161879412112644851723596/73649030534308287805265594\ 19006259661*c_0101_6^4 - 1395007878610825668523770359289969134860/7\ 364903053430828780526559419006259661*c_0101_6^3 + 476284656050909082281448986032736720981/736490305343082878052655941\ 9006259661*c_0101_6^2 + 124312910208588474228294332519557359373/736\ 4903053430828780526559419006259661*c_0101_6 + 705932634579757193633566567585862320/736490305343082878052655941900\ 6259661, c_0101_2 + 196165621603071601611237784140289573876/73649030534308287805\ 26559419006259661*c_0101_6^20 + 61009682807048077814073730259562307\ 604/7364903053430828780526559419006259661*c_0101_6^19 - 3054338280193841369986341806283094408496/73649030534308287805265594\ 19006259661*c_0101_6^18 - 1445013009504667483132272128826892095491/\ 7364903053430828780526559419006259661*c_0101_6^17 + 18524130159138024677367295185461752956847/7364903053430828780526559\ 419006259661*c_0101_6^16 + 1178244509562841531951231495808645542218\ 0/7364903053430828780526559419006259661*c_0101_6^15 - 55186527858602254189356453008287036016740/7364903053430828780526559\ 419006259661*c_0101_6^14 - 4025343594556208315267826620724187739375\ 5/7364903053430828780526559419006259661*c_0101_6^13 + 92844042750644399036599212584703924366656/7364903053430828780526559\ 419006259661*c_0101_6^12 + 7171187883314338731703751856254104679023\ 8/7364903053430828780526559419006259661*c_0101_6^11 - 94540904797689271397599613356201260052900/7364903053430828780526559\ 419006259661*c_0101_6^10 - 7267321520744669482742213658797058179601\ 3/7364903053430828780526559419006259661*c_0101_6^9 + 60148470173983053511373907609593732035892/7364903053430828780526559\ 419006259661*c_0101_6^8 + 3276339762352937519813142441808562147241/\ 566531004110063752348196878385096897*c_0101_6^7 - 24247058385511852736119007022069678098135/7364903053430828780526559\ 419006259661*c_0101_6^6 - 14151371573964282047110104075639012235477\ /7364903053430828780526559419006259661*c_0101_6^5 + 6111536236239897521892652129646714381593/73649030534308287805265594\ 19006259661*c_0101_6^4 + 2732586676723444599734085429366315607924/7\ 364903053430828780526559419006259661*c_0101_6^3 - 767092527025598195189899217875405256795/736490305343082878052655941\ 9006259661*c_0101_6^2 - 350969570263741181537454681903853122955/736\ 4903053430828780526559419006259661*c_0101_6 - 29170787128688183721153111593004217541/7364903053430828780526559419\ 006259661, c_0101_3 - 137334834463415631673459540272733604828/73649030534308287805\ 26559419006259661*c_0101_6^20 - 17390209467696073655251232091280986\ 060/7364903053430828780526559419006259661*c_0101_6^19 + 2097983457189996201514601432281595941532/73649030534308287805265594\ 19006259661*c_0101_6^18 + 614021191262363982356892174169952978673/7\ 364903053430828780526559419006259661*c_0101_6^17 - 12451816515630597658379121855447086572773/7364903053430828780526559\ 419006259661*c_0101_6^16 - 5687789261493344628805157073007975503601\ /7364903053430828780526559419006259661*c_0101_6^15 + 36251191082401796056125534536644125178472/7364903053430828780526559\ 419006259661*c_0101_6^14 + 1945211400043373934940083773902694690544\ 2/7364903053430828780526559419006259661*c_0101_6^13 - 59905270749857151539938166866280928423916/7364903053430828780526559\ 419006259661*c_0101_6^12 - 3337257811416407031352756485421278531039\ 4/7364903053430828780526559419006259661*c_0101_6^11 + 60233670240340081267399158712005584317811/7364903053430828780526559\ 419006259661*c_0101_6^10 + 3179832539635460418485599382281481767477\ 0/7364903053430828780526559419006259661*c_0101_6^9 - 37740606433160596788639490863596922520065/7364903053430828780526559\ 419006259661*c_0101_6^8 - 1310369630218845516247875847479643897129/\ 566531004110063752348196878385096897*c_0101_6^7 + 14557533111536922905944039259863038973775/7364903053430828780526559\ 419006259661*c_0101_6^6 + 4975112504595717911430708840377498183605/\ 7364903053430828780526559419006259661*c_0101_6^5 - 3224156950255596462755048074246474608377/73649030534308287805265594\ 19006259661*c_0101_6^4 - 863302106390843292352921268772893558745/73\ 64903053430828780526559419006259661*c_0101_6^3 + 292162135305332212895587212022163237851/736490305343082878052655941\ 9006259661*c_0101_6^2 + 126899473592382175798287736498374617709/736\ 4903053430828780526559419006259661*c_0101_6 + 20891212059604898372236720491071579445/7364903053430828780526559419\ 006259661, c_0101_6^21 + 26/31*c_0101_6^20 - 475/31*c_0101_6^19 - 1917/124*c_0101_6^18 + 2771/31*c_0101_6^17 + 13379/124*c_0101_6^16 - 30263/124*c_0101_6^15 - 21179/62*c_0101_6^14 + 44069/124*c_0101_6^13 + 18105/31*c_0101_6^12 - 35409/124*c_0101_6^11 - 72285/124*c_0101_6^10 + 7369/62*c_0101_6^9 + 43097/124*c_0101_6^8 - 568/31*c_0101_6^7 - 7645/62*c_0101_6^6 - 98/31*c_0101_6^5 + 3249/124*c_0101_6^4 + 345/124*c_0101_6^3 - 96/31*c_0101_6^2 - 121/124*c_0101_6 - 11/124 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB