Re: Q: Factor with Polynominals?

*To*: mathgroup at smc.vnet.net*Subject*: [mg26792] Re: Q: Factor with Polynominals?*From*: Robert <robert.schuerhuber at gmx.at>*Date*: Wed, 24 Jan 2001 04:18:35 -0500 (EST)*Organization*: Vienna University of Technology*References*: <943d4e$chm@smc.vnet.net> <9461cq$gaa@smc.vnet.net> <948rc8$kku@smc.vnet.net> <94gqbh$qsj@smc.vnet.net>*Sender*: owner-wri-mathgroup at wolfram.com

well, first thanks for helping! but this method also only seems to work in some cases (or it doesnt simplify as much as possible).: e.g.: poly=Expand[(x^2+y^2)^4+(x y^2+x^3)+y]; your method yields: y + r (x (1+x)^5+3 x^4 y^2+3 x^2 y^4+y^6) instead of: y + r (r^3+x). so, r is factored out, but the rest gets more complicated. applying the same procedure to the rest again doesn't help. i don't know much about how computer algebra systems work internally, but in my opinion this should be a standard task for such a system. it is very tedious to solve manuelly, but can in principle be done in a finite number of steps, and so a powerful program like mathematica should be able to solve this problem. is there really no more or less easy way to handle this problem with mathematica? thanks, robert