I think it's doable.
First, by default, "limit" is for real expression (there are
accompanying "complexLimit"), so it knows "sqrt(a)" is positive:
(8) -> limit(sqrt(a)*x,x=%plusInfinity)
(8) + infinity
So in theory, it should also compute for "erf(sqrt(a)*x)", but:
(9) -> limit(erf(sqrt(a)*x),x=%plusInfinity)
(9) "failed"
This should be very simple to compute, but we still use Gruntz
algorithm to compute and we fail at there. This may indicate
a bug in Gruntz algorithm, and raise another question: shall
we add a short path to handle simple cases, like "specialLimit"
in limitps.spad?
Another somewhat related problem:
(1) -> limit(sqrt(a^2)*x,x=%plusInfinity)
(1) "failed"
This case fails because "mrv_normalize" will destroy the structure
of "sqrt(a^2)", so maybe a "assume" system will still be needed.
But such a system is invasive and not always work in Maxima.
On 11/8/18 8:05 PM, Marduk wrote:
Dear all,
I just tried calculating this integral (I defined inf ==> %plusInfinity)
integrate(exp(-a^2*x^2),x=-inf..inf)
in FriCAS 1.3.4 and it failed. Why?
Best regards,
Marduk
--
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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[email protected]>.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
--
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].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
