From: Vladimir V. Kisil Date: Thu, 1 Aug 2013 13:37:45 +0000 (+0100) Subject: Power with a real base and even exponent reports that it's non-negative X-Git-Tag: release_1-6-3~37 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=0358859aa6bc5806805fa415db79c039af3960d6 Power with a real base and even exponent reports that it's non-negative Signed-off-by: Vladimir V. Kisil --- diff --git a/ginac/power.cpp b/ginac/power.cpp index b815d17a..87792b92 100644 --- a/ginac/power.cpp +++ b/ginac/power.cpp @@ -242,6 +242,8 @@ bool power::info(unsigned inf) const return (flags & status_flags::expanded); 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); case info_flags::has_indices: { if (flags & status_flags::has_indices) return true;