Hi,
FriCAS can not use the declaration to do inference.
For this specific problem, I suggest to use "a^2":
(3) -> limit(erf(a^2*x+b),x=%plusInfinity)
(3) 1
On Sun, Sep 9, 2018 at 10:32 PM Slawomir Kolodynski wrote:
>
> limit(erf(2*x+b),x=%plusInfinity) works fine, returning 1 as it
limit(erf(2*x+b),x=%plusInfinity) works fine, returning 1 as it should.
Similarly, limit(erf(-2*x+b),x=%plusInfinity) works.
However limit(erf(a*x+b),x=%plusInfinity) returns "failed", perhaps because
FriCAS does not know if a is positive or negative.
I tried to declare a:PositiveInteger, but