Menu

#5061 simplimexpt exits non-locally on simple case

None
open
nobody
None
5
2026-08-20
2026-08-20
No

The function simplimexpt exits non-locally on the limit of k -> x^k. This isn't a bug, but a deficiency that likely leads to lots of extra work:

(%i1)   limit(x^k,k,inf);
  0: (MAXIMA::SIMPLIMEXPT MAXIMA::$X MAXIMA::$K MAXIMA::$X MAXIMA::$INF)

  0: SIMPLIMEXPT exited non-locally

  0: (MAXIMA::SIMPLIMEXPT MAXIMA::$%E

                          ((MAXIMA::MTIMES MAXIMA::SIMP) MAXIMA::$K

                           ((MAXIMA::%LOG MAXIMA::SIMP) MAXIMA::$X))

                          MAXIMA::$%E MAXIMA::$INFINITY)

  0: SIMPLIMEXPT exited non-locally

  0: (MAXIMA::SIMPLIMEXPT MAXIMA::$X MAXIMA::$K MAXIMA::$X MAXIMA::$INF)

"Is "abs(x)-1" positive, negative or zero?"n;
"Is "x" positive, negative or zero?"p;
  0: SIMPLIMEXPT returned $ZEROA

(%o1)   0

This is with Maxima 5.49. Possibly Maxima 5.50 handles this much worse.

Discussion


Log in to post a comment.