Interesting. I did some experiments and it seems that limit(erf(M*x),
x=inf) returns 1
whenever FriCAS can determine that M > 0. In particular M=a^2 and M=exp(a)
work,
whereas M=a does not. However, M = abs(a) does not work either.
Now I have some questions:
1) Why does not sqrt(a^2) return abs(a)?
2) Why does not FriCAS know that abs(a) > 0?
3) How can one tell FriCAS that a>0 in the Gaussian integral?
In Maxima this is done with assume. Maybe in FriCAS one could use
predicates.
--
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.
