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

Freddie Witherden freddie at witherden.org
Sat Dec 13 19:55:24 CET 2008


Hi,

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.

Regards, Freddie.


More information about the GiNaC-list mailing list