Magma V2.19-8 Tue Aug 20 2013 16:18:17 on localhost [Seed = 2985307269] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2499 geometric_solution 5.81998723 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504555129259 0.217299491122 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823597367107 0.502724131087 1 4 3 5 0132 0132 3012 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 -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.794468844364 0.999698550191 5 2 4 1 3201 1230 1023 0132 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 0 0 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.794468844364 0.999698550191 6 2 3 6 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 -1 0 1 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.321091465393 0.590764609849 5 5 2 3 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.087353842736 1.091515074647 4 6 6 4 0132 3201 2310 1023 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 0 0 0 0 1.488328357210 0.661068188508 ==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_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : 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_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 2933485749458279061472158116576/421695261089637244838545999*c_0101_\ 6^37 + 70411556941911333869441226020928/421695261089637244838545999\ *c_0101_6^35 - 744277420301369423861194284971313/421695261089637244\ 838545999*c_0101_6^33 + 4777484754851849606642044400831618/42169526\ 1089637244838545999*c_0101_6^31 - 219923694672091459675462799943873\ 54/421695261089637244838545999*c_0101_6^29 + 78782765854235816227876205855493537/421695261089637244838545999*c_0\ 101_6^27 - 216731388447009264087434282230921988/4216952610896372448\ 38545999*c_0101_6^25 + 428256996896460428717855141612291676/4216952\ 61089637244838545999*c_0101_6^23 - 562986080737361198264568090094952860/421695261089637244838545999*c_\ 0101_6^21 + 440353998748568597957450645773755692/421695261089637244\ 838545999*c_0101_6^19 - 136796400385051683569439582242183620/421695\ 261089637244838545999*c_0101_6^17 - 70751992349242005931202113629978504/421695261089637244838545999*c_0\ 101_6^15 + 76822219293230706545542830951362279/42169526108963724483\ 8545999*c_0101_6^13 - 14823960189483470076255104881399741/421695261\ 089637244838545999*c_0101_6^11 - 8613571958450770146996601919272610\ /421695261089637244838545999*c_0101_6^9 + 3922870716900858672094007563248377/421695261089637244838545999*c_01\ 01_6^7 + 77026812473449341193032262508241/4216952610896372448385459\ 99*c_0101_6^5 - 215277707507674547946754540828438/42169526108963724\ 4838545999*c_0101_6^3 + 16362479306905568114277705365479/4216952610\ 89637244838545999*c_0101_6, c_0011_0 - 1, c_0011_1 - 52415689161636101871552852923/2951866827627460713869821993*c\ _0101_6^36 + 1279102943991110789889206578784/2951866827627460713869\ 821993*c_0101_6^34 - 13808800050538053017218073525403/2951866827627\ 460713869821993*c_0101_6^32 + 90841843057846176980246946132642/2951\ 866827627460713869821993*c_0101_6^30 - 428780737989020261745650737027423/2951866827627460713869821993*c_01\ 01_6^28 + 1575755782428455035407384578439387/2951866827627460713869\ 821993*c_0101_6^26 - 4486468957400924026572884687900698/29518668276\ 27460713869821993*c_0101_6^24 + 9386156161979787822793829274511327/\ 2951866827627460713869821993*c_0101_6^22 - 13641051371854843238924428131689551/2951866827627460713869821993*c_\ 0101_6^20 + 12963430442500011513744914531232416/2951866827627460713\ 869821993*c_0101_6^18 - 7108747075993351372738370688723070/29518668\ 27627460713869821993*c_0101_6^16 + 1094029635170824669193298152630796/2951866827627460713869821993*c_0\ 101_6^14 + 1187691595826455157711767726965529/295186682762746071386\ 9821993*c_0101_6^12 - 109312631651483057806737138653394/42169526108\ 9637244838545999*c_0101_6^10 + 100993403663792026783793152948013/29\ 51866827627460713869821993*c_0101_6^8 + 57371329931967687578413800259907/2951866827627460713869821993*c_010\ 1_6^6 - 23409731096782876197778929861537/29518668276274607138698219\ 93*c_0101_6^4 + 2893230507553022246490353523823/2951866827627460713\ 869821993*c_0101_6^2 - 113334464810532761125919581467/2951866827627\ 460713869821993, c_0011_3 + 16477998534371383080461633986/2951866827627460713869821993*c\ _0101_6^37 - 383362748907461674638969936745/29518668276274607138698\ 21993*c_0101_6^35 + 3885530684300981628060606978970/295186682762746\ 0713869821993*c_0101_6^33 - 23667241267173030472745063108993/295186\ 6827627460713869821993*c_0101_6^31 + 102826648547988926645211224666978/2951866827627460713869821993*c_01\ 01_6^29 - 345438759238262362379214997863656/29518668276274607138698\ 21993*c_0101_6^27 + 862958576649512328405976888670661/2951866827627\ 460713869821993*c_0101_6^25 - 1405210114586097453260525162403943/29\ 51866827627460713869821993*c_0101_6^23 + 1098865130708467684510089346133365/2951866827627460713869821993*c_0\ 101_6^21 + 455780389213818393346873539629127/2951866827627460713869\ 821993*c_0101_6^19 - 1903841588153916862208172361090457/29518668276\ 27460713869821993*c_0101_6^17 + 1738693485000615758042572168816545/\ 2951866827627460713869821993*c_0101_6^15 - 528579530523515383150947947213442/2951866827627460713869821993*c_01\ 01_6^13 - 29325864799060054788000533089774/421695261089637244838545\ 999*c_0101_6^11 + 192876720752165191870593999764210/295186682762746\ 0713869821993*c_0101_6^9 - 28443604376909211645775686740129/2951866\ 827627460713869821993*c_0101_6^7 - 14617978126445074521175015088135/2951866827627460713869821993*c_010\ 1_6^5 + 4980702217512869210533232938520/295186682762746071386982199\ 3*c_0101_6^3 - 308209519639008200745605065232/295186682762746071386\ 9821993*c_0101_6, c_0011_5 - 84176190410268973049123319373/2951866827627460713869821993*c\ _0101_6^37 + 2096409513896817392998765513736/2951866827627460713869\ 821993*c_0101_6^35 - 23202209662132213750341324576480/2951866827627\ 460713869821993*c_0101_6^33 + 156897696203159177151165248316996/295\ 1866827627460713869821993*c_0101_6^31 - 760535324945042095359367265183016/2951866827627460713869821993*c_01\ 01_6^29 + 2867787671841798215587269995455073/2951866827627460713869\ 821993*c_0101_6^27 - 8435714155697924506585802038323483/29518668276\ 27460713869821993*c_0101_6^25 + 18545878189187153531679575276681149\ /2951866827627460713869821993*c_0101_6^23 - 29065458339603570949362044260625207/2951866827627460713869821993*c_\ 0101_6^21 + 30973212930045203835764709999349490/2951866827627460713\ 869821993*c_0101_6^19 - 20669710009972974866865566386814654/2951866\ 827627460713869821993*c_0101_6^17 + 6393140463755552447504672092578287/2951866827627460713869821993*c_0\ 101_6^15 + 1577234779121201692571036067262732/295186682762746071386\ 9821993*c_0101_6^13 - 318285287781632936355518170722756/42169526108\ 9637244838545999*c_0101_6^11 + 660990789669630866532136103176875/29\ 51866827627460713869821993*c_0101_6^9 + 70336315275901163093803728639008/2951866827627460713869821993*c_010\ 1_6^7 - 86579900773331342837092312934993/29518668276274607138698219\ 93*c_0101_6^5 + 17663691094152810423931261574901/295186682762746071\ 3869821993*c_0101_6^3 - 951764256281323947603210181874/295186682762\ 7460713869821993*c_0101_6, c_0101_0 - 10854236244557732650293136601/2951866827627460713869821993*c\ _0101_6^36 + 282456012924621094852619857406/29518668276274607138698\ 21993*c_0101_6^34 - 3286435698357661932909203765306/295186682762746\ 0713869821993*c_0101_6^32 + 23392252456344475604752399764994/295186\ 6827627460713869821993*c_0101_6^30 - 118716956798460910670123216877650/2951866827627460713869821993*c_01\ 01_6^28 + 466576019440669956010231904958206/29518668276274607138698\ 21993*c_0101_6^26 - 1440968011871829655716206178598069/295186682762\ 7460713869821993*c_0101_6^24 + 3387920046369410599913116381225514/2\ 951866827627460713869821993*c_0101_6^22 - 5802300901417059882607950756865892/2951866827627460713869821993*c_0\ 101_6^20 + 6908358529226746745321377124049824/295186682762746071386\ 9821993*c_0101_6^18 - 5322318509543197951403981384076823/2951866827\ 627460713869821993*c_0101_6^16 + 2157802107678565712111651598830648\ /2951866827627460713869821993*c_0101_6^14 + 105925906963513061119034300406038/2951866827627460713869821993*c_01\ 01_6^12 - 81873810507800944714353072159264/421695261089637244838545\ 999*c_0101_6^10 + 228700953846835311451335366549705/295186682762746\ 0713869821993*c_0101_6^8 + 2552698151589442498129474191899/29518668\ 27627460713869821993*c_0101_6^6 - 25218960591606291673248437985424/\ 2951866827627460713869821993*c_0101_6^4 + 6036656920582256809204578727610/2951866827627460713869821993*c_0101\ _6^2 - 345939328266895756417509945269/2951866827627460713869821993, c_0101_1 + 23828474709813199498981940018/2951866827627460713869821993*c\ _0101_6^36 - 583750035736847921581479309646/29518668276274607138698\ 21993*c_0101_6^34 + 6332624087749169467890648400856/295186682762746\ 0713869821993*c_0101_6^32 - 41889647105740294071326060154574/295186\ 6827627460713869821993*c_0101_6^30 + 198807788407033926955145476099959/2951866827627460713869821993*c_01\ 01_6^28 - 734592706650347668398180203545900/29518668276274607138698\ 21993*c_0101_6^26 + 2106336770672692987206682829406735/295186682762\ 7460713869821993*c_0101_6^24 - 4456001754936850751675374592945054/2\ 951866827627460713869821993*c_0101_6^22 + 6593033454984806216258831914719306/2951866827627460713869821993*c_0\ 101_6^20 - 6453477446034727567672221160401393/295186682762746071386\ 9821993*c_0101_6^18 + 3748618535210591519578373735684125/2951866827\ 627460713869821993*c_0101_6^16 - 762329231135978571087705808282082/\ 2951866827627460713869821993*c_0101_6^14 - 516626957661958888660354987454849/2951866827627460713869821993*c_01\ 01_6^12 + 57587944551041550186626559005900/421695261089637244838545\ 999*c_0101_6^10 - 74807285086091694620040710063966/2951866827627460\ 713869821993*c_0101_6^8 - 24462773432370377837926371447312/29518668\ 27627460713869821993*c_0101_6^6 + 13436195323355477913865821825259/\ 2951866827627460713869821993*c_0101_6^4 - 2093632898710500014044769261004/2951866827627460713869821993*c_0101\ _6^2 + 99808333103788838759327769474/2951866827627460713869821993, c_0101_6^38 - 25*c_0101_6^36 + 278*c_0101_6^34 - 1890*c_0101_6^32 + 9211*c_0101_6^30 - 34920*c_0101_6^28 + 103418*c_0101_6^26 - 229721*c_0101_6^24 + 365883*c_0101_6^22 - 400063*c_0101_6^20 + 279531*c_0101_6^18 - 98400*c_0101_6^16 - 11948*c_0101_6^14 + 28267*c_0101_6^12 - 10268*c_0101_6^10 - 137*c_0101_6^8 + 1110*c_0101_6^6 - 303*c_0101_6^4 + 30*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB