GiNaC/ginac power.cpp

[Richard B. Kreckel]

On Mon, 29 Jan 2001, Christian Bauer wrote:
> Update of /home/cvs/GiNaC/ginac
> 
> Modified Files:
> 	power.cpp 
> Log Message:
> expand() always expands the exponent and transforms x^(a+b) -> x^a*x^b

Question, Sir:

Now, that we have expand(x^((a+b)^2-a^2-b^2-2*a*b)) -> 1, wouldn't it be
natural to also have normal(x^((x^2+2*x*y+y^2)/(x+y)^2)) -> x?  Or does
this contradict the "first make a polynomial out of it" principle?

  -richy.
-- 
Richard Kreckel
<Richard.Kreckel at Uni-Mainz.DE>
<http://wwwthep.physik.uni-mainz.de/~kreckel/>