Add test cases for improved abs(arg).

Exam the evaluations abs(±sqrt(p)) -> sqrt(p) for p > 0.

diff --git a/check/exam_inifcns.cpp b/check/exam_inifcns.cpp
index a0acb2de8af183d1f1094b06c7d9f506e5c37b6b..bd7168ed704f328ffd774794d80ea913d22df392 100644 (file)
--- a/check/exam_inifcns.cpp
+++ b/check/exam_inifcns.cpp
@@ -232,6 +232,12 @@ static unsigned inifcns_consist_abs()
        if (!abs(pow(p,a+I*b)).eval().is_equal(pow(p,a)))
                ++result;
 
        if (!abs(pow(p,a+I*b)).eval().is_equal(pow(p,a)))
                ++result;
 

+       if (!abs(sqrt(p)).eval().is_equal(sqrt(p)))
+               ++result;
+
+       if (!abs(-sqrt(p)).eval().is_equal(sqrt(p)))
+               ++result;
+

        // also checks that abs(p)=p
        if (!abs(pow(p,a+I*b)).eval().is_equal(pow(p,a)))
                ++result;
        // also checks that abs(p)=p
        if (!abs(pow(p,a+I*b)).eval().is_equal(pow(p,a)))
                ++result;