[Maxima-bugs] [maxima:bugs] #4573 taylor internal error in limit

[Barton W. <wil...@us...>]

**Oberservations:**

1. Surely the case  
~~~
  ((or (eq lim1 '$zero) (eq lim2 '$zero)) (setq lim '$zero))
~~~
is wrong when either `lim1` or `lim2` is non finite.

2. I run the testsuite and collected all the arguments of `lim-times` into a set. The result is
~~~
 {[inf, inf], [inf, minf], [inf, im], [inf, pos], [inf, zeroa],
[minf, inf], [minf, im], [minf, pos], [im, inf], [neg, inf], [neg, minf],
[neg, im], [neg, pos], [pos, inf], [pos, pos], [zero, inf]}
~~~
I'm not sure if an argument can be other outputs of the `sign` function, for example `pn` or `nz`.  Also, I guess that `im` means "imaginary", but I'm not sure.




---

**[bugs:#4573] taylor internal error in limit**

**Status:** open
**Group:** None
**Labels:** taylor 
**Created:** Sat Jun 21, 2025 08:06 AM UTC by Stavros Macrakis
**Last Updated:** Mon Jun 30, 2025 12:20 PM UTC
**Owner:** nobody


~~~~
taylor(x^(1/log(log(x))),x,inf,1);

debugger invoked on a SIMPLE-CONDITION in thread
#<THREAD tid=259 "main thread" RUNNING {1001258003}>:
  Undefined limit product $INF * $ZEROB in lim-times
~~~~

Maxima 5.47.0 SBCL 2.4.9 on MacOS



---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.