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 <[email protected]> wrote: > > 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 that leads to an error " a is > declared as being in PositiveInteger but has not been given a value". > > Is there a way to tell FriCAS that for example a>0 so that the limit can be > computed? > > Slawomir > > -- > 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. -- 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.
