From 0358859aa6bc5806805fa415db79c039af3960d6 Mon Sep 17 00:00:00 2001 From: "Vladimir V. Kisil" Date: Thu, 1 Aug 2013 14:37:45 +0100 Subject: [PATCH] Power with a real base and even exponent reports that it's non-negative Signed-off-by: Vladimir V. Kisil --- ginac/power.cpp | 2 ++ 1 file changed, 2 insertions(+) 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; -- 2.49.0