Barton Willis

inconsistent Principal Value message

It is not targeted at any particular bug. I now see the leaked facts too--not sure what is going on--I will look into that. This constellation of bugs is fixed, so I think you can close the ticket.

My proposal to fix limit-method-reciprocal-limit-point: (defun tlimit-limit-context (var val) (let* ((new-facts (cond ((eq val '$minf) ;; var < -large (list (ftake 'mlessp var (neg *large-positive-number*)))) ((eq val '$inf) ;; large < var (list (ftake 'mlessp *large-positive-number* var))) ((eq val '$zeroa) ;; 0 < var < small (list (ftake 'mlessp 0 var) (ftake 'mlessp var *small-positive-number*))) ((eq val '$zerob) ;; -small < var < 0 (list (ftake 'mlessp (neg *small-positive-number*) var) (ftake...

And possibly related to bug 4994 ( https://sourceforge.net/p/maxima/bugs/4994/ ) as well. The function limit-method-reciprocal-limit-point has a defect--it changes the limit point, but it doesn't update the fact database with the proper assumptions for the new limit point. I don't think this defect is involved--I have a fix for it.

Possibly related: (%i3) 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::$%E ((MAXIMA::MTIMES MAXIMA::SIMP) MAXIMA::$K ((MAXIMA::%LOG MAXIMA::SIMP) MAXIMA::$X)) MAXIMA::$%E MAXIMA::$INFINITY) 0: SIMPLIMEXPT exited...

limits of the form inf * constant

simplimexpt exits non-locally on simple case

option variable `expand_polynomial` is not documented