[GiNaC-list] sqrt(x*x) Simplification

Richard B. Kreckel kreckel at ginac.de
Sat Dec 13 20:53:03 CET 2008


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.

Richard B. Kreckel

More information about the GiNaC-list mailing list