[GiNaC-devel] log(exp(Pi)) evaluates to Pi.

[Chris Dams]

Dear all,

I made log(exp(Pi)) evaluate to Pi. For this purpose I made the 
constructor of a constant take an optional flag to indicate the domain. I 
also cleaned up the code of that takes care of this simplification a bit. 
IMO it makes not so much sense to test here whether the x in log(exp(x)) 
is a symbol, constant or numeric. One can simply ask to x whether it is 
real.

Best,
Chris