Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 1326371736] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1555 geometric_solution 5.34294561 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 0 -1 0 0 1 -1 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.489812942915 0.435657750392 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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.860143041152 1.013830944331 3 0 4 1 2310 0132 0132 3012 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 1 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.860143041152 1.013830944331 3 1 2 3 3012 0132 3201 1230 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.135356162674 0.744239771261 5 5 1 2 0132 2310 0132 0132 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 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.154638114851 1.232927052037 4 6 6 4 0132 0132 3201 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.387066761966 0.401388179246 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.554737618952 0.415155170410 ==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' : negation(d['c_0101_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], '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' : d['c_0011_4'], '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : 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_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : 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: 24 Groebner basis: [ t - 104804213630351144895270605803/9347574726371142709414555819*c_0101_\ 6^23 + 32635847851437001442629498598/9347574726371142709414555819*c\ _0101_6^22 + 2511129336068148699300236803274/9347574726371142709414\ 555819*c_0101_6^21 + 3501195738459896133394514156043/93475747263711\ 42709414555819*c_0101_6^20 - 23327386101795892010458386557787/93475\ 74726371142709414555819*c_0101_6^19 - 53238966491175921763757092781941/9347574726371142709414555819*c_010\ 1_6^18 + 76945339969756857956217742299597/9347574726371142709414555\ 819*c_0101_6^17 + 231658314813822238329786320675007/934757472637114\ 2709414555819*c_0101_6^16 - 110604257264347579653043149889086/93475\ 74726371142709414555819*c_0101_6^15 - 475671295231004211068406246178341/9347574726371142709414555819*c_01\ 01_6^14 + 51589690623866156544230085736071/934757472637114270941455\ 5819*c_0101_6^13 + 518110496967221467094846641436081/93475747263711\ 42709414555819*c_0101_6^12 + 23432420662667377181764804187296/93475\ 74726371142709414555819*c_0101_6^11 - 275660695679898312056471174035780/9347574726371142709414555819*c_01\ 01_6^10 + 3951278471417467549167884783363/9347574726371142709414555\ 819*c_0101_6^9 + 51593090919050246961586198951702/93475747263711427\ 09414555819*c_0101_6^8 - 52983824448546462340891675391588/934757472\ 6371142709414555819*c_0101_6^7 - 5218222860517260801925125719119/93\ 47574726371142709414555819*c_0101_6^6 + 28533636921409862968919632878637/9347574726371142709414555819*c_010\ 1_6^5 - 1695772753236890107487296766691/934757472637114270941455581\ 9*c_0101_6^4 - 4600536792681584797000442142261/93475747263711427094\ 14555819*c_0101_6^3 + 1276076827230726719819412982653/9347574726371\ 142709414555819*c_0101_6^2 - 264093519459049362201081503531/9347574\ 726371142709414555819*c_0101_6 + 17725467155599657860155660833/9347\ 574726371142709414555819, c_0011_0 - 1, c_0011_4 + 235815489324301409705632242946/9347574726371142709414555819*\ c_0101_6^23 - 162859849657158519552274015925/9347574726371142709414\ 555819*c_0101_6^22 - 5545793518190457396095740527745/93475747263711\ 42709414555819*c_0101_6^21 - 5838537439671390464322635997661/934757\ 4726371142709414555819*c_0101_6^20 + 53758773045004326899010154186116/9347574726371142709414555819*c_010\ 1_6^19 + 99124736063287308121806835309566/9347574726371142709414555\ 819*c_0101_6^18 - 200957828463787830240484296041896/934757472637114\ 2709414555819*c_0101_6^17 - 435680086008584537519593172739475/93475\ 74726371142709414555819*c_0101_6^16 + 370950596687063604966617373862512/9347574726371142709414555819*c_01\ 01_6^15 + 892623193720155833339091973055127/93475747263711427094145\ 55819*c_0101_6^14 - 351623555846746576070875570803873/9347574726371\ 142709414555819*c_0101_6^13 - 971947502842614223631515842765057/934\ 7574726371142709414555819*c_0101_6^12 + 176774577004207157886821750422200/9347574726371142709414555819*c_01\ 01_6^11 + 507546060972868898126815366313652/93475747263711427094145\ 55819*c_0101_6^10 - 92080760877159244823588025365908/93475747263711\ 42709414555819*c_0101_6^9 - 81824918534225629734874743100416/934757\ 4726371142709414555819*c_0101_6^8 + 109862842019773079248862569370654/9347574726371142709414555819*c_01\ 01_6^7 - 11852467834772645842999540083791/9347574726371142709414555\ 819*c_0101_6^6 - 53306053484256630151192943983328/93475747263711427\ 09414555819*c_0101_6^5 + 9045456474942161336327248450278/9347574726\ 371142709414555819*c_0101_6^4 + 8235062537509628772145061060737/934\ 7574726371142709414555819*c_0101_6^3 - 2645298975836122411392098436897/9347574726371142709414555819*c_0101\ _6^2 + 185358540450977249888893605187/9347574726371142709414555819*\ c_0101_6 + 345006360868732282650632597877/9347574726371142709414555\ 819, c_0101_0 + 266806215291617285397120591447/9347574726371142709414555819*\ c_0101_6^23 - 181252888531205979733935063815/9347574726371142709414\ 555819*c_0101_6^22 - 6279259172893113974678258454034/93475747263711\ 42709414555819*c_0101_6^21 - 6672884461539736351696011537629/934757\ 4726371142709414555819*c_0101_6^20 + 60807190713908036577421848843063/9347574726371142709414555819*c_010\ 1_6^19 + 112856842328334211402783368513265/934757472637114270941455\ 5819*c_0101_6^18 - 226714701498614096547405303216700/93475747263711\ 42709414555819*c_0101_6^17 - 496135694520166726103812807695266/9347\ 574726371142709414555819*c_0101_6^16 + 416913304763385305907796377692274/9347574726371142709414555819*c_01\ 01_6^15 + 1017597216028299664113064069067332/9347574726371142709414\ 555819*c_0101_6^14 - 392858845938825371128830246507002/934757472637\ 1142709414555819*c_0101_6^13 - 1109953369297404109111198291741334/9\ 347574726371142709414555819*c_0101_6^12 + 195659984730211673189058566653060/9347574726371142709414555819*c_01\ 01_6^11 + 582219665170497873720143173508441/93475747263711427094145\ 55819*c_0101_6^10 - 103330387472943558923430916968492/9347574726371\ 142709414555819*c_0101_6^9 - 95635784278541209061211985159434/93475\ 74726371142709414555819*c_0101_6^8 + 125156041508264940504492739769987/9347574726371142709414555819*c_01\ 01_6^7 - 12682258292199118014644971196604/9347574726371142709414555\ 819*c_0101_6^6 - 61092452205298759980975359861057/93475747263711427\ 09414555819*c_0101_6^5 + 10226375211267668227094328284871/934757472\ 6371142709414555819*c_0101_6^4 + 9508170982885759894433021255801/93\ 47574726371142709414555819*c_0101_6^3 - 3040768208820943398804237560518/9347574726371142709414555819*c_0101\ _6^2 + 225201928877631415571330992918/9347574726371142709414555819*\ c_0101_6 + 389884109701661813896494668403/9347574726371142709414555\ 819, c_0101_1 - 64147366811039589172826966458/9347574726371142709414555819*c\ _0101_6^23 + 48977274144545023396752948542/934757472637114270941455\ 5819*c_0101_6^22 + 1500982846209135452937643613474/9347574726371142\ 709414555819*c_0101_6^21 + 1481933834654039474507975331624/93475747\ 26371142709414555819*c_0101_6^20 - 14640140083093955494886649837171/9347574726371142709414555819*c_010\ 1_6^19 - 25804726399131377059541225050868/9347574726371142709414555\ 819*c_0101_6^18 + 55688988911959100926029535455973/9347574726371142\ 709414555819*c_0101_6^17 + 112953694678508947218650641972597/934757\ 4726371142709414555819*c_0101_6^16 - 106144873013224418475315447255353/9347574726371142709414555819*c_01\ 01_6^15 - 229445245626295321476269135742589/93475747263711427094145\ 55819*c_0101_6^14 + 106694000786392723935082918959200/9347574726371\ 142709414555819*c_0101_6^13 + 247026765612697368432882210509678/934\ 7574726371142709414555819*c_0101_6^12 - 59684046934737784523688592482411/9347574726371142709414555819*c_010\ 1_6^11 - 125407537742621325206042811634912/934757472637114270941455\ 5819*c_0101_6^10 + 29265606418103014676170959081408/934757472637114\ 2709414555819*c_0101_6^9 + 17422583409299292023901766399176/9347574\ 726371142709414555819*c_0101_6^8 - 28480414554443314510271217254863/9347574726371142709414555819*c_010\ 1_6^7 + 5108940015778402262150651538821/934757472637114270941455581\ 9*c_0101_6^6 + 12976825663148457457794777854655/9347574726371142709\ 414555819*c_0101_6^5 - 2769150088506188473311753752335/934757472637\ 1142709414555819*c_0101_6^4 - 1765020186424035005923775350292/93475\ 74726371142709414555819*c_0101_6^3 + 627686248638839347581731637418/9347574726371142709414555819*c_0101_\ 6^2 - 81158235989413252742440176801/9347574726371142709414555819*c_\ 0101_6 - 74190336095754564036874133627/9347574726371142709414555819\ , c_0101_2 - 53940386657922476423178542419/9347574726371142709414555819*c\ _0101_6^23 + 40918986223428153368643755365/934757472637114270941455\ 5819*c_0101_6^22 + 1262933407292364824751868625763/9347574726371142\ 709414555819*c_0101_6^21 + 1253297047241274587766169884121/93475747\ 26371142709414555819*c_0101_6^20 - 12317854474336973589685550500081/9347574726371142709414555819*c_010\ 1_6^19 - 21804306415775264699450213026450/9347574726371142709414555\ 819*c_0101_6^18 + 46791064784028354636067644106586/9347574726371142\ 709414555819*c_0101_6^17 + 95683515959486709235966677381204/9347574\ 726371142709414555819*c_0101_6^16 - 88531696003511634028776350206932/9347574726371142709414555819*c_010\ 1_6^15 - 194699982693696443468292261554984/934757472637114270941455\ 5819*c_0101_6^14 + 87392602265078122983546917030358/934757472637114\ 2709414555819*c_0101_6^13 + 209768915522219410774118899606887/93475\ 74726371142709414555819*c_0101_6^12 - 47034137057778450915175174573527/9347574726371142709414555819*c_010\ 1_6^11 - 106479792536944570374096432475930/934757472637114270941455\ 5819*c_0101_6^10 + 22942187576052133160250010645149/934757472637114\ 2709414555819*c_0101_6^9 + 14917115293478555080420809936315/9347574\ 726371142709414555819*c_0101_6^8 - 24142615338971028770907589252971/9347574726371142709414555819*c_010\ 1_6^7 + 3874370169592557179866373187255/934757472637114270941455581\ 9*c_0101_6^6 + 11125772688819992989768467704593/9347574726371142709\ 414555819*c_0101_6^5 - 2184365080186235461942357450384/934757472637\ 1142709414555819*c_0101_6^4 - 1592076989142849596083880761004/93475\ 74726371142709414555819*c_0101_6^3 + 534291014856507598969580601904/9347574726371142709414555819*c_0101_\ 6^2 - 49250205257354386550812800792/9347574726371142709414555819*c_\ 0101_6 - 75078236873750020164332682705/9347574726371142709414555819\ , c_0101_3 - 1726155769974080709417696337/9347574726371142709414555819*c_\ 0101_6^23 + 2539108320914590212865863315/93475747263711427094145558\ 19*c_0101_6^22 + 38835187149192737953105887167/93475747263711427094\ 14555819*c_0101_6^21 + 12904286292954257475679562573/93475747263711\ 42709414555819*c_0101_6^20 - 408016530698573232337735496752/9347574\ 726371142709414555819*c_0101_6^19 - 426506302485963924743548109938/9347574726371142709414555819*c_0101_\ 6^18 + 1811478766345783920737180644545/9347574726371142709414555819\ *c_0101_6^17 + 1942480197311437925261032888267/93475747263711427094\ 14555819*c_0101_6^16 - 3973562163131589950154583940336/934757472637\ 1142709414555819*c_0101_6^15 - 3594630979571799618409479292994/9347\ 574726371142709414555819*c_0101_6^14 + 4610062459764290735440332584439/9347574726371142709414555819*c_0101\ _6^13 + 2999983609223813229325421194845/934757472637114270941455581\ 9*c_0101_6^12 - 3039931924660639976808360502249/9347574726371142709\ 414555819*c_0101_6^11 - 170702295486075015925518015294/934757472637\ 1142709414555819*c_0101_6^10 + 1268726696373220981626715368129/9347\ 574726371142709414555819*c_0101_6^9 - 974185288872207133317528081660/9347574726371142709414555819*c_0101_\ 6^8 - 832631161883387380862579409624/9347574726371142709414555819*c\ _0101_6^7 + 394427002027846610577194486701/934757472637114270941455\ 5819*c_0101_6^6 + 88863860275243970444467297308/9347574726371142709\ 414555819*c_0101_6^5 - 62637229973109757413935004318/93475747263711\ 42709414555819*c_0101_6^4 + 42165491842903105967150361008/934757472\ 6371142709414555819*c_0101_6^3 + 18345469936992881114911478269/9347\ 574726371142709414555819*c_0101_6^2 + 878452734767285235388510507/9347574726371142709414555819*c_0101_6 - 4285827483421233492316392085/9347574726371142709414555819, c_0101_6^24 - 24*c_0101_6^22 - 41*c_0101_6^21 + 211*c_0101_6^20 + 578*c_0101_6^19 - 563*c_0101_6^18 - 2439*c_0101_6^17 + 300*c_0101_6^16 + 4883*c_0101_6^15 + 1121*c_0101_6^14 - 5172*c_0101_6^13 - 2100*c_0101_6^12 + 2689*c_0101_6^11 + 1102*c_0101_6^10 - 624*c_0101_6^9 + 224*c_0101_6^8 + 272*c_0101_6^7 - 262*c_0101_6^6 - 118*c_0101_6^5 + 62*c_0101_6^4 + 13*c_0101_6^3 - 7*c_0101_6^2 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB