Dan Gildea

should be infinity: (%i1) limit(2*%i*atan(x) + x, x, inf); (%o1) inf

limit(exp(x*%i)*x,x,inf) should give infinity

See Bug [#4020]

Update on these cases. ok now: (%i1) limit(3^x * cos(x) + sin(x),x,inf); (%o1) und should be und: (%i2) limit(3^x * cos(x) + x,x,inf); (%o2) inf should be und: (%i3) limit(3^x * cos(x) + 2^x,x,inf); (%o3) inf should ask a vs b: (%i4) limit(a^x * cos(x) + b^x,x,inf); Is abs(b) - 1 positive, negative or zero? p; Is b - 1 positive, negative or zero? p; Is abs(a) - 1 positive, negative or zero? p; Is a - 1 positive, negative or zero? p; (%o4) inf should be infinity: (%i5) limit(3^x + (9+%i)^x,x,inf);...

limit(exp(x^2+%i*x),x,inf)

works in current git added test [bf00d65eb12ccc39a2cf8e3c6b8a6fe21c0f3d7e]

jacobi_p falls outside interval

increased tolerance to account for rounding in conversion of initial rational to float [3af1fb3b4b9270359aa8a77ebe2e86a5fbbc6d1d]