Make it possible to override info() for functions.

[ginac.git] / check / exam_inifcns.cpp

diff --git a/check/exam_inifcns.cpp b/check/exam_inifcns.cpp
index 77a4b3b73d725c001b9e9a0d67eca2149502b995..30d5b2128bac37df222fa1c8716561818d4dea0c 100644 (file)
--- a/check/exam_inifcns.cpp
+++ b/check/exam_inifcns.cpp
@@ -249,6 +249,15 @@ static unsigned inifcns_consist_abs()
        if (!abs(step(z)).eval().is_equal(step(z)))
                ++result;
 
+       if (!abs(p).info(info_flags::positive) || !abs(a).info(info_flags::real))
+               ++result;
+
+       if (abs(a).info(info_flags::positive) || !abs(a).info(info_flags::real))
+               ++result;
+
+       if (abs(z).info(info_flags::positive) || !abs(z).info(info_flags::real))
+               ++result;
+
        return result;
 }