weakness in limit

[Martin R]

This arises in the computation of an integral:

(51) -> limit(sin(x)+erf(x+sqrt(-1)/2) + erf(x-sqrt(-1)/2), x=0, "right")

   (51)  "failed"

(52) -> limit(erf(x+sqrt(-1)/2) + erf(x-sqrt(-1)/2), x=0, "right")

   (52)  0

Martin

[Martin R]

this is stranger than I thought at first:

(1) -> limit(sin(x)+erf(x+sqrt(-1)/2) + erf(x-sqrt(-1)/2), x=0)

   (1)  0

                      Type: Union(OrderedCompletion(Expression(Integer)),...)

so, apparently, the limit exists unconditionally, but adding the direction makes FriCAS believe it doesn't!

Puzzled,

Martin