Opened 20 months ago

Last modified 20 months ago

#23328 new defect

Undefined limit product $INF * $ZEROB in lim-times

Reported by: pelegm Owned by:
Priority: major Milestone: sage-8.0
Component: calculus Keywords: limit, maxima
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Reported upstream. No feedback yet. Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by pelegm)

Trying to calculate a limit of some (not too) complicated function brings some kind of console which reports some error/warning. Using algorithm='sympy' is ok, so this is probably a maxima issue.

sage: (x*(4/log(x))^(2*log(x)/log(log(x)))).limit(x=infinity)

Condition of type: SIMPLE-CONDITION
Undefined limit product $INF * $ZEROB in lim-times
Available restarts:

1. (CONTINUE) Return from BREAK.

Top level.
>
0
sage: (x*(4/log(x))^(2*log(x)/log(log(x)))).limit(x=infinity, algorithm='sympy')
0

Tested in SageMath version 8.0.beta5, Release Date: 2017-05-04.

Upstream at https://sourceforge.net/p/maxima/bugs/3313/

Change History (3)

comment:1 Changed 20 months ago by kcrisman

  • Description modified (diff)

comment:2 Changed 20 months ago by kcrisman

  • Description modified (diff)
  • Report Upstream changed from N/A to Reported upstream. No feedback yet.

Huh. Using sage -maxima:

Maxima 5.39.0 http://maxima.sourceforge.net
using Lisp ECL 16.1.2
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) limit((x*(4/log(x))^(2*log(x)/log(log(x)))),x,inf);
(%o1)                                  0
(%i2) domain:complex;
(%o2)                               complex
(%i3) limit((x*(4/log(x))^(2*log(x)/log(log(x)))),x,inf);

Condition of type: SIMPLE-CONDITION
Undefined limit product $INF * $ZEROB in lim-times

Available restarts:

1. (CONTINUE) Return from BREAK.
2. (MACSYMA-QUIT) Maxima top-level

Top level.

So this is an issue in Maxima for sure. Workaround is to set maxima("domain:real"), I guess.

comment:3 Changed 20 months ago by pelegm

  • Description modified (diff)
Note: See TracTickets for help on using tickets.