[GiNaC-devel] Some more evaluation rules for abs()

Dear All, I have added some more evaluation rules for abs(). They evaluate absolute values of powers and exponents. Simple checks are added as well. The effect is like this: realsymbol a("a"), b("b"), x("x"), y("y"); cout << abs(exp(x+I*y)).eval() << endl; // before: -> abs(exp(x+I*y)) // now: -> exp(x) cout << abs(pow(x+I*y,a+I*b)).eval() << endl; // before: -> abs((x+I*y)^(I*b+a)) // now: -> abs(x+I*y)^a Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv@maths.leeds.ac.uk www: http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://www.worldscientific.com/worldscibooks/10.1142/p835