Asking a symbol whether it is positive now works.

diff --git a/ginac/symbol.cpp b/ginac/symbol.cpp
index bf58fd4bacf6bc2833d763af347ec8c9ca2cf839..545524cb055969ad56c4d75c64e1e7f50f421492 100644 (file)
--- a/ginac/symbol.cpp
+++ b/ginac/symbol.cpp
@@ -218,7 +218,7 @@ bool symbol::info(unsigned inf) const
                return true;
        if (inf == info_flags::real)
                return domain==domain::real || domain==domain::positive;
                return true;
        if (inf == info_flags::real)
                return domain==domain::real || domain==domain::positive;

-       if (inf == info_flags::nonnegative)
+       if (inf == info_flags::positive || inf == info_flags::nonnegative)

                return domain == domain::positive;
        else
                return inherited::info(inf);
                return domain == domain::positive;
        else
                return inherited::info(inf);