For expression "f := a^b", if "a" is non-negative,
then "f" is also non-negative.
Current code can handle "exp(x)".
After this patch, "sign(2^x)" returns "1".
diff --git a/src/algebra/limitps.spad b/src/algebra/limitps.spad
index 1ee8682a..41883470 100644
--- a/src/algebra/limitps.spad
+++ b/src/algebra/limitps.spad
@@ -893,6 +893,9 @@
s::Z < 0 => "failed"
s
s
+ is?(op, '%power) =>
+ s::Z < 0 => "failed"
+ s
"failed"
--Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/CAGBJN93rU6GWeF6B1FauH0csGJOxhw2G523fNfqPfs-CEvLU7A%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.
