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

[Stavros M. <mac...@gm...>]

Your traces include *zeroa* as well as *zerob*, so it's strange that *zeroa
*doesn't show up in the code.
And when is *zero* used? A quick glance at the code suggests that it's only
used as a result from *sign* and is some sort of leftover in *hayat.*

On Mon, Jun 30, 2025 at 8:39 AM Barton Willis via Maxima-bugs <
max...@li...> wrote:

> *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.
>
>    1. 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] <https://sourceforge.net/p/maxima/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.
> _______________________________________________
> Maxima-bugs mailing list
> Max...@li...
> https://lists.sourceforge.net/lists/listinfo/maxima-bugs
>