13 Dec
2008
13 Dec
'08
8:53 p.m.
Hi, Freddie Witherden wrote:
I am wondering how one can get GiNaC to expand the expression sqrt(x*x) to x (where symbol x("x")), under the assumption than x is real. Does GiNaC have a function to perform such an expansion? I looked though the reference PDF file but could not find anything analogous to Mathematica's PowerExpand.
When one can be sure that complex numbers are not involved it is often quite a nice simplification.
Think about x<0. Bye -richy. -- Richard B. Kreckel <http://www.ginac.de/~kreckel/>