Magma V2.19-8 Tue Aug 20 2013 16:14:26 on localhost [Seed = 3583265236] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s434 geometric_solution 4.74445360 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 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.387984152880 0.227866923039 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.695619210766 0.897651739531 1 4 3 3 0132 0132 3012 1230 0 0 0 0 0 0 1 -1 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.289114427329 1.244926219045 2 2 4 1 3012 1230 0132 0132 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.289114427329 1.244926219045 5 2 5 3 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686337292030 0.818406803623 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.650200846951 0.218100380394 ==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_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_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_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_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_5' : d['c_0101_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' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : 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' : d['c_0101_4'], 'c_1001_4' : 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_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_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0011_3']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 307725921436877879598356778736353/4025257864780743609844341436963*c\ _0101_4^23 + 247825124298590008230663535291867/40252578647807436098\ 44341436963*c_0101_4^22 + 7752418004251001471619934787849050/402525\ 7864780743609844341436963*c_0101_4^21 - 7440015261657778316117290097660741/4025257864780743609844341436963*\ c_0101_4^20 - 54012960084713758088134748084704394/40252578647807436\ 09844341436963*c_0101_4^19 - 16632132652604359361842273792651920/40\ 25257864780743609844341436963*c_0101_4^18 + 46090586413777601386125392907634943/575036837825820515692048776709*\ c_0101_4^17 + 155310344955015873870945465634598322/4025257864780743\ 609844341436963*c_0101_4^16 - 912681527179376198052461229559606142/\ 4025257864780743609844341436963*c_0101_4^15 - 592049608095142950698070999334142419/402525786478074360984434143696\ 3*c_0101_4^14 + 1486619125024015993862067552368346275/4025257864780\ 743609844341436963*c_0101_4^13 + 1331222057035134474164933356668899\ 834/4025257864780743609844341436963*c_0101_4^12 - 1706745878957085057718715535603538185/40252578647807436098443414369\ 63*c_0101_4^11 - 1717213284406366130944683010839504191/402525786478\ 0743609844341436963*c_0101_4^10 + 142320651860904854079137150495857\ 7781/4025257864780743609844341436963*c_0101_4^9 + 1351090572418919627190978512911552710/40252578647807436098443414369\ 63*c_0101_4^8 - 807702784720682879502290262989450107/40252578647807\ 43609844341436963*c_0101_4^7 - 655607941802815610064144875561852504\ /4025257864780743609844341436963*c_0101_4^6 + 276493876274394194861492004792413723/402525786478074360984434143696\ 3*c_0101_4^5 + 186713980994669104532446796914611613/402525786478074\ 3609844341436963*c_0101_4^4 - 6722863562924574659555340747707988/57\ 5036837825820515692048776709*c_0101_4^3 - 26868168793978989092946524098284193/4025257864780743609844341436963\ *c_0101_4^2 + 2484061142607850073457884059975802/402525786478074360\ 9844341436963*c_0101_4 + 978466775220124280337949468724011/40252578\ 64780743609844341436963, c_0011_0 - 1, c_0011_1 - 351908106500929130331567758732/57503683782582051569204877670\ 9*c_0101_4^23 + 218593969153994945779459931886/57503683782582051569\ 2048776709*c_0101_4^22 + 8975963999492419255612924602237/5750368378\ 25820515692048776709*c_0101_4^21 - 6901116036759195753349991473383/575036837825820515692048776709*c_01\ 01_4^20 - 64792170823335881696858182985058/575036837825820515692048\ 776709*c_0101_4^19 - 29517630452381375994364027749264/5750368378258\ 20515692048776709*c_0101_4^18 + 375477376441210580791382982254049/5\ 75036837825820515692048776709*c_0101_4^17 + 252447071969267093679856010741647/575036837825820515692048776709*c_\ 0101_4^16 - 1065696109963362762241973945977356/57503683782582051569\ 2048776709*c_0101_4^15 - 914888888232618593576926138635981/57503683\ 7825820515692048776709*c_0101_4^14 + 1712034549803663554641044658253863/575036837825820515692048776709*c\ _0101_4^13 + 1972164634258196597759828568536838/5750368378258205156\ 92048776709*c_0101_4^12 - 1853087098814537323332748549758407/575036\ 837825820515692048776709*c_0101_4^11 - 2569657103082642143591584071047901/575036837825820515692048776709*c\ _0101_4^10 + 1434968476939418835497820286372005/5750368378258205156\ 92048776709*c_0101_4^9 + 2106358096864223128266590310748113/5750368\ 37825820515692048776709*c_0101_4^8 - 762959961166336675292194771674691/575036837825820515692048776709*c_\ 0101_4^7 - 1080080480920930198814761617103483/575036837825820515692\ 048776709*c_0101_4^6 + 239638775948667149953840046774313/5750368378\ 25820515692048776709*c_0101_4^5 + 324020077449837581215184553967385\ /575036837825820515692048776709*c_0101_4^4 - 31563244923728844784437746371616/575036837825820515692048776709*c_0\ 101_4^3 - 47812002424435068393200766649297/575036837825820515692048\ 776709*c_0101_4^2 - 496699819942377341110143089800/5750368378258205\ 15692048776709*c_0101_4 + 2133205690864632774055544088602/575036837\ 825820515692048776709, c_0011_3 + 124673391407047604474816151059/57503683782582051569204877670\ 9*c_0101_4^23 + 52179825392481705065842438497/575036837825820515692\ 048776709*c_0101_4^22 - 3443340725813024839404959103549/57503683782\ 5820515692048776709*c_0101_4^21 - 670856519027289476860238488258/57\ 5036837825820515692048776709*c_0101_4^20 + 29984538201355626844260724045732/575036837825820515692048776709*c_0\ 101_4^19 + 28884980802817451665026737303870/57503683782582051569204\ 8776709*c_0101_4^18 - 151148603830992832265941130456513/57503683782\ 5820515692048776709*c_0101_4^17 - 232122670845999255213326802872291\ /575036837825820515692048776709*c_0101_4^16 + 465158319391923753256855894205007/575036837825820515692048776709*c_\ 0101_4^15 + 759013635907987141351046664137046/575036837825820515692\ 048776709*c_0101_4^14 - 753363208500278082543852752271269/575036837\ 825820515692048776709*c_0101_4^13 - 1519172234574320905132966717080561/575036837825820515692048776709*c\ _0101_4^12 + 688482238393240063193473580491720/57503683782582051569\ 2048776709*c_0101_4^11 + 2054045555340286689386710077234987/5750368\ 37825820515692048776709*c_0101_4^10 - 455336767783982650133315407636898/575036837825820515692048776709*c_\ 0101_4^9 - 1802284543616018172722873239474613/575036837825820515692\ 048776709*c_0101_4^8 + 242606325953202128914160363171031/5750368378\ 25820515692048776709*c_0101_4^7 + 990313500721729436590806876586204\ /575036837825820515692048776709*c_0101_4^6 - 86835493540066953696621281642856/575036837825820515692048776709*c_0\ 101_4^5 - 310115413286406225003638864068060/57503683782582051569204\ 8776709*c_0101_4^4 + 10675484156619929894388141771421/5750368378258\ 20515692048776709*c_0101_4^3 + 45579721445610324333611642650652/575\ 036837825820515692048776709*c_0101_4^2 + 1303490324710248790532928352859/575036837825820515692048776709*c_01\ 01_4 - 1593325687804197420927942216376/5750368378258205156920487767\ 09, c_0101_0 + 9377724432570862045730993488/575036837825820515692048776709*\ c_0101_4^23 + 272826953484795100951025465817/5750368378258205156920\ 48776709*c_0101_4^22 - 497640640675314373408866585523/5750368378258\ 20515692048776709*c_0101_4^21 - 6724744827621459709677544272361/575\ 036837825820515692048776709*c_0101_4^20 + 9257359380989225065253367147216/575036837825820515692048776709*c_01\ 01_4^19 + 46801655906855063176933953033236/575036837825820515692048\ 776709*c_0101_4^18 + 988919737746416689598952879677/575036837825820\ 515692048776709*c_0101_4^17 - 287017510703456653445474586486264/575\ 036837825820515692048776709*c_0101_4^16 - 70552521815971843828914090179429/575036837825820515692048776709*c_0\ 101_4^15 + 787732099938674773193059895511953/5750368378258205156920\ 48776709*c_0101_4^14 + 348011383293483436761512781841465/5750368378\ 25820515692048776709*c_0101_4^13 - 1259226293856446968524193351327972/575036837825820515692048776709*c\ _0101_4^12 - 849636809832180364186084842370110/57503683782582051569\ 2048776709*c_0101_4^11 + 1465682320214780889306405166712089/5750368\ 37825820515692048776709*c_0101_4^10 + 1042986665288712890577052586177564/575036837825820515692048776709*c\ _0101_4^9 - 1222256708581874959439437682681969/57503683782582051569\ 2048776709*c_0101_4^8 - 734619488199306532675745254806978/575036837\ 825820515692048776709*c_0101_4^7 + 670976645755313846418382292329593/575036837825820515692048776709*c_\ 0101_4^6 + 301164212393957983485475388790793/5750368378258205156920\ 48776709*c_0101_4^5 - 213647581012855649312766838029267/57503683782\ 5820515692048776709*c_0101_4^4 - 68590193369535109397343267878772/5\ 75036837825820515692048776709*c_0101_4^3 + 33175544380572258379697914080061/575036837825820515692048776709*c_0\ 101_4^2 + 6673560210003871799824508692294/5750368378258205156920487\ 76709*c_0101_4 - 1547874425359834838184771130837/575036837825820515\ 692048776709, c_0101_3 + 35156834765385162564446904483/575036837825820515692048776709\ *c_0101_4^23 - 262391549859266688421198512156/575036837825820515692\ 048776709*c_0101_4^22 - 608147074588152413265870241692/575036837825\ 820515692048776709*c_0101_4^21 + 6552171481875564130576925728695/57\ 5036837825820515692048776709*c_0101_4^20 - 1595310645671007594254256199531/575036837825820515692048776709*c_01\ 01_4^19 - 34034182257141781276179627040700/575036837825820515692048\ 776709*c_0101_4^18 - 37723110327045270834828774674959/5750368378258\ 20515692048776709*c_0101_4^17 + 213570781172009888780721099025738/5\ 75036837825820515692048776709*c_0101_4^16 + 126849610462384881036803328452846/575036837825820515692048776709*c_\ 0101_4^15 - 551986201760442099483616876681326/575036837825820515692\ 048776709*c_0101_4^14 - 335772775819107329068154284738446/575036837\ 825820515692048776709*c_0101_4^13 + 837028693015152809624205616471414/575036837825820515692048776709*c_\ 0101_4^12 + 672230421280817566378752747812265/575036837825820515692\ 048776709*c_0101_4^11 - 1003270145682944749131028124594200/57503683\ 7825820515692048776709*c_0101_4^10 - 708692884273850767008816393233550/575036837825820515692048776709*c_\ 0101_4^9 + 852680378817630363344287106646994/5750368378258205156920\ 48776709*c_0101_4^8 + 419774696461087525543311833927053/57503683782\ 5820515692048776709*c_0101_4^7 - 459145585886598978353332347798757/\ 575036837825820515692048776709*c_0101_4^6 - 132798945952032201202837751604471/575036837825820515692048776709*c_\ 0101_4^5 + 135084237686846074324737525272025/5750368378258205156920\ 48776709*c_0101_4^4 + 22834500193839187502915203638007/575036837825\ 820515692048776709*c_0101_4^3 - 18145527655408872210022746050521/57\ 5036837825820515692048776709*c_0101_4^2 - 2536165010133552608008247834011/575036837825820515692048776709*c_01\ 01_4 + 666163165706330799164997645127/57503683782582051569204877670\ 9, c_0101_4^24 - c_0101_4^23 - 25*c_0101_4^22 + 29*c_0101_4^21 + 170*c_0101_4^20 + 22*c_0101_4^19 - 1055*c_0101_4^18 - 306*c_0101_4^17 + 3030*c_0101_4^16 + 1381*c_0101_4^15 - 5117*c_0101_4^14 - 3460*c_0101_4^13 + 6236*c_0101_4^12 + 4589*c_0101_4^11 - 5492*c_0101_4^10 - 3611*c_0101_4^9 + 3291*c_0101_4^8 + 1741*c_0101_4^7 - 1224*c_0101_4^6 - 504*c_0101_4^5 + 254*c_0101_4^4 + 78*c_0101_4^3 - 25*c_0101_4^2 - 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB