Fix pow::info(info_flags::nonnegative).

This function call was missing the case where a positive base is raised
to a real power (where pow::info(info_flags::positive) correctly returned
true).

diff --git a/ginac/power.cpp b/ginac/power.cpp
index 82200d7abd3f6355a01a9a30dea074dc370aea7e..2dd644864c290d29a9d3cc7e9a87dd16ff04178a 100644 (file)
--- a/ginac/power.cpp
+++ b/ginac/power.cpp
@@ -243,7 +243,8 @@ bool power::info(unsigned inf) const
                case info_flags::positive:
                        return basis.info(info_flags::positive) && exponent.info(info_flags::real);
                case info_flags::nonnegative:
-                       return basis.info(info_flags::real) && exponent.info(info_flags::integer) && exponent.info(info_flags::even);
+                       return (basis.info(info_flags::positive) && exponent.info(info_flags::real)) ||
+                              (basis.info(info_flags::real) && exponent.info(info_flags::integer) && exponent.info(info_flags::even));
                case info_flags::has_indices: {
                        if (flags & status_flags::has_indices)
                                return true;