Eric wrote:
>
> This is a very basic question, but I can't find anything about it in
> the books.
>
> Suppose I want to evaluate something like
>
> limit(erf(x / a), x=%plusInfinity)
>
> but want the constraint a >0. Is it possible to do that in Fricas?
>
This is on todo list (ATM not implemented). Currently FriCAS
in various places makes more or less reasonable assumptions
about signs. If you want to tell FriCAS that a parameter is
positive you may try writing a^2 or exp(x) instead of a.
Compare:
(2) -> limit(x/a, x=%plusInfinity)
(2) "failed"
Type: Union("failed",...)
(3) -> limit(x/exp(a), x=%plusInfinity)
(3) + infinity
Type: Union(OrderedCompletion(Expression(Integer)),...)
(4) -> limit(x/a^2, x=%plusInfinity)
(4) + infinity
Type: Union(OrderedCompletion(Fraction(Polynomial(Integer))),...)
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
