Magma V2.19-8 Tue Aug 20 2013 16:19:19 on localhost [Seed = 4004475872] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3436 geometric_solution 6.60903867 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.310987505222 0.254562987687 2 0 3 0 0132 2310 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 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.763578575262 1.321526735901 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 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 -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.410156769594 0.923339397438 6 5 4 1 3201 0132 3201 0132 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 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.410156769594 0.923339397438 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 -1 0 1 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 1 0 -1 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.381149452366 0.974517406357 5 3 5 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582938878916 0.823866559791 6 6 2 3 1302 2031 0132 2310 0 0 0 0 0 0 1 -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 -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.505384158466 0.730301593873 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 44 Groebner basis: [ t + 3753253150683764481942880471649/64685659981392289278942645961*c_010\ 1_4^21 + 6315623947496483591742644477505/64685659981392289278942645\ 961*c_0101_4^20 - 1932425404992630470697847484619/92408085687703270\ 39848949423*c_0101_4^19 - 45084942599296847334141903499362/64685659\ 981392289278942645961*c_0101_4^18 - 17166683057975443272470865118401/9240808568770327039848949423*c_010\ 1_4^17 - 112187813760657985326905879580187/646856599813922892789426\ 45961*c_0101_4^16 - 92856682906945599236014304640765/64685659981392\ 289278942645961*c_0101_4^15 - 212457731757134114892084657560632/646\ 85659981392289278942645961*c_0101_4^14 + 519326449686518401007745028270198/64685659981392289278942645961*c_0\ 101_4^13 + 301511466956481385472820655600944/6468565998139228927894\ 2645961*c_0101_4^12 - 107355350163744113398808105434116/92408085687\ 70327039848949423*c_0101_4^11 + 482818699999762082338979223771331/6\ 4685659981392289278942645961*c_0101_4^10 - 1578616099881041311741216943703780/64685659981392289278942645961*c_\ 0101_4^9 + 2221446680800667131437838721211181/646856599813922892789\ 42645961*c_0101_4^8 - 877429808215910595315473702553177/64685659981\ 392289278942645961*c_0101_4^7 + 294698505456156951443361194180173/6\ 4685659981392289278942645961*c_0101_4^6 - 395641433123047841534119437896258/64685659981392289278942645961*c_0\ 101_4^5 - 61326976752084729904638896016951/646856599813922892789426\ 45961*c_0101_4^4 + 197006000795420890624392197191167/64685659981392\ 289278942645961*c_0101_4^3 + 11936146711585444930133996342302/64685\ 659981392289278942645961*c_0101_4^2 - 5668371384348288218074644243416/64685659981392289278942645961*c_010\ 1_4 - 18706623767415011766094466260003/6468565998139228927894264596\ 1, c_0011_0 - 1, c_0011_1 - 121224994340420823896585294/710831428366948233834534571*c_01\ 01_4^21 - 368595684068521307227430320/710831428366948233834534571*c\ _0101_4^20 + 45071468365884159293036566/710831428366948233834534571\ *c_0101_4^19 + 1786356924232837218176739347/71083142836694823383453\ 4571*c_0101_4^18 + 6110372292307700258797496033/7108314283669482338\ 34534571*c_0101_4^17 + 10423902134463825486354836269/71083142836694\ 8233834534571*c_0101_4^16 + 12541208364752481210726956766/710831428\ 366948233834534571*c_0101_4^15 + 17216015962128976733810526726/7108\ 31428366948233834534571*c_0101_4^14 - 738014167578778342186215865/710831428366948233834534571*c_0101_4^13 - 21973468708613325669022188504/710831428366948233834534571*c_0101_\ 4^12 + 1314859710577231419591679241/710831428366948233834534571*c_0\ 101_4^11 + 1828416737842586489172203655/710831428366948233834534571\ *c_0101_4^10 + 42393135191227148650579097125/7108314283669482338345\ 34571*c_0101_4^9 - 10503808706490478512710322265/710831428366948233\ 834534571*c_0101_4^8 - 25280744976836356917134530986/71083142836694\ 8233834534571*c_0101_4^7 - 12012538277704635045351280126/7108314283\ 66948233834534571*c_0101_4^6 + 3086963907794893166914132771/7108314\ 28366948233834534571*c_0101_4^5 + 10452502937669854952013056731/710\ 831428366948233834534571*c_0101_4^4 + 1996853489624427830266018989/710831428366948233834534571*c_0101_4^3 - 2833449515647860377853380838/710831428366948233834534571*c_0101_4\ ^2 - 2112760273029142035826366094/710831428366948233834534571*c_010\ 1_4 + 56128361845599074369937061/710831428366948233834534571, c_0011_3 + 244862302665659441471070337/710831428366948233834534571*c_01\ 01_4^21 + 587441854841185756616140264/710831428366948233834534571*c\ _0101_4^20 - 466911039290782803443398247/71083142836694823383453457\ 1*c_0101_4^19 - 3290934571419894428239868602/7108314283669482338345\ 34571*c_0101_4^18 - 10179375692928757539347413903/71083142836694823\ 3834534571*c_0101_4^17 - 14509759298937666512323352955/710831428366\ 948233834534571*c_0101_4^16 - 16248400851701478485747085622/7108314\ 28366948233834534571*c_0101_4^15 - 25265441326031169375412049507/710831428366948233834534571*c_0101_4^\ 14 + 15810965013279862621071868436/710831428366948233834534571*c_01\ 01_4^13 + 31227341764194850111594241191/710831428366948233834534571\ *c_0101_4^12 - 27098732069587126013004987545/7108314283669482338345\ 34571*c_0101_4^11 + 10442603393063872850582148420/71083142836694823\ 3834534571*c_0101_4^10 - 93452140739227611993506680999/710831428366\ 948233834534571*c_0101_4^9 + 79685882148787428260337892921/71083142\ 8366948233834534571*c_0101_4^8 - 1241723829585223137058181957/71083\ 1428366948233834534571*c_0101_4^7 + 18559931203771788061606123653/710831428366948233834534571*c_0101_4^\ 6 - 18119700748870918656505898946/710831428366948233834534571*c_010\ 1_4^5 - 11075563037128064752061625525/710831428366948233834534571*c\ _0101_4^4 + 3843202635115024129588718904/71083142836694823383453457\ 1*c_0101_4^3 + 3811318931276751365809829367/71083142836694823383453\ 4571*c_0101_4^2 + 1148360227772080378023539147/71083142836694823383\ 4534571*c_0101_4 - 299496357950534563379654336/71083142836694823383\ 4534571, c_0011_6 + 188178854860093905957384737/710831428366948233834534571*c_01\ 01_4^21 + 377603989158812514765520731/710831428366948233834534571*c\ _0101_4^20 - 527786863162379977730513390/71083142836694823383453457\ 1*c_0101_4^19 - 2348573264532680806959293410/7108314283669482338345\ 34571*c_0101_4^18 - 6813423042527445791695632533/710831428366948233\ 834534571*c_0101_4^17 - 8264327080601652970095589949/71083142836694\ 8233834534571*c_0101_4^16 - 8678244269360147021877565122/7108314283\ 66948233834534571*c_0101_4^15 - 15612972774898618315164001740/71083\ 1428366948233834534571*c_0101_4^14 + 18628506886650030579087671701/710831428366948233834534571*c_0101_4^\ 13 + 17772744287481194788149436120/710831428366948233834534571*c_01\ 01_4^12 - 31198969540782287460256096969/710831428366948233834534571\ *c_0101_4^11 + 19573746788291762685566678777/7108314283669482338345\ 34571*c_0101_4^10 - 74970522790799241643685359077/71083142836694823\ 3834534571*c_0101_4^9 + 84906739412358167153448596053/7108314283669\ 48233834534571*c_0101_4^8 - 24421787022027703547029855756/710831428\ 366948233834534571*c_0101_4^7 + 9967734491772660501882886471/710831\ 428366948233834534571*c_0101_4^6 - 8478565198950707154060248196/710831428366948233834534571*c_0101_4^5 - 6558197595228434084743245144/710831428366948233834534571*c_0101_4\ ^4 + 5520503182484825774070227112/710831428366948233834534571*c_010\ 1_4^3 + 1250717697313244233723020907/710831428366948233834534571*c_\ 0101_4^2 - 14257915759546498237302704/710831428366948233834534571*c\ _0101_4 - 138868722850236303523292981/710831428366948233834534571, c_0101_0 + 185905606073042900794865660/710831428366948233834534571*c_01\ 01_3*c_0101_4^21 + 252380713822251851675221525/71083142836694823383\ 4534571*c_0101_3*c_0101_4^20 - 880930346846390415558281856/71083142\ 8366948233834534571*c_0101_3*c_0101_4^19 - 2298103013472682775857783564/710831428366948233834534571*c_0101_3*c\ _0101_4^18 - 5072149213643051976847634091/7108314283669482338345345\ 71*c_0101_3*c_0101_4^17 - 2140389096056563466494962335/710831428366\ 948233834534571*c_0101_3*c_0101_4^16 + 1999390055513458815696066406/710831428366948233834534571*c_0101_3*c\ _0101_4^15 - 1592261268034882131268665643/7108314283669482338345345\ 71*c_0101_3*c_0101_4^14 + 38035070844083250702861928126/71083142836\ 6948233834534571*c_0101_3*c_0101_4^13 + 20106480079541528443902288558/710831428366948233834534571*c_0101_3*\ c_0101_4^12 - 45910208935983650005644370602/71083142836694823383453\ 4571*c_0101_3*c_0101_4^11 + 21826732752553846780922847985/710831428\ 366948233834534571*c_0101_3*c_0101_4^10 - 75895613044030788309293182678/710831428366948233834534571*c_0101_3*\ c_0101_4^9 + 130578946852689272588165111175/71083142836694823383453\ 4571*c_0101_3*c_0101_4^8 - 41149873273648763800812969294/7108314283\ 66948233834534571*c_0101_3*c_0101_4^7 + 2561145695894842936805460357/710831428366948233834534571*c_0101_3*c\ _0101_4^6 - 29142115339763546376091993757/7108314283669482338345345\ 71*c_0101_3*c_0101_4^5 - 1059262324803915061933439323/7108314283669\ 48233834534571*c_0101_3*c_0101_4^4 + 12543709107560705073272184494/710831428366948233834534571*c_0101_3*\ c_0101_4^3 + 1778398083171311366099250702/7108314283669482338345345\ 71*c_0101_3*c_0101_4^2 - 1457246219636279416448304496/7108314283669\ 48233834534571*c_0101_3*c_0101_4 - 1524348214303398048366309714/710831428366948233834534571*c_0101_3, c_0101_3^2 - 126145695387679659434259732/710831428366948233834534571*c_\ 0101_4^21 - 318603514655378312396719316/710831428366948233834534571\ *c_0101_4^20 + 210431997807366507521130525/710831428366948233834534\ 571*c_0101_4^19 + 1746272496052550598520425449/71083142836694823383\ 4534571*c_0101_4^18 + 5453677366506571706594839215/7108314283669482\ 33834534571*c_0101_4^17 + 8055883574156910726553300888/710831428366\ 948233834534571*c_0101_4^16 + 8972716346980360708842726734/71083142\ 8366948233834534571*c_0101_4^15 + 13445310170250458053714263533/710\ 831428366948233834534571*c_0101_4^14 - 7547694382103247625328538518/710831428366948233834534571*c_0101_4^1\ 3 - 18929714344273046171138064857/710831428366948233834534571*c_010\ 1_4^12 + 11041516307714569105312685999/710831428366948233834534571*\ c_0101_4^11 - 4520937618515710197399411653/710831428366948233834534\ 571*c_0101_4^10 + 45623363673124362951408668857/7108314283669482338\ 34534571*c_0101_4^9 - 34251394558027497885481842742/710831428366948\ 233834534571*c_0101_4^8 - 8254563453151589504557136012/710831428366\ 948233834534571*c_0101_4^7 - 6853485628119614392605861337/710831428\ 366948233834534571*c_0101_4^6 + 5239828181031759524459889089/710831\ 428366948233834534571*c_0101_4^5 + 7088303251922102433922601337/710831428366948233834534571*c_0101_4^4 - 1015074600541548019404601428/710831428366948233834534571*c_0101_4\ ^3 - 2823591701396090269660900665/710831428366948233834534571*c_010\ 1_4^2 - 549996609856505045112989409/710831428366948233834534571*c_0\ 101_4 - 121224994340420823896585294/710831428366948233834534571, c_0101_4^22 + 2*c_0101_4^21 - 3*c_0101_4^20 - 13*c_0101_4^19 - 36*c_0101_4^18 - 41*c_0101_4^17 - 37*c_0101_4^16 - 68*c_0101_4^15 + 117*c_0101_4^14 + 119*c_0101_4^13 - 167*c_0101_4^12 + 76*c_0101_4^11 - 387*c_0101_4^10 + 463*c_0101_4^9 - 74*c_0101_4^8 + 31*c_0101_4^7 - 82*c_0101_4^6 - 43*c_0101_4^5 + 42*c_0101_4^4 + 15*c_0101_4^3 - 5*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB