[Maxima-commits] [git] Maxima CAS branch, master, updated. branch-5_38-base-87-g0fc7634

[Dan G. <dg...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Maxima CAS".

The branch, master has been updated
       via  0fc76342a4ac4745be9b6bb5b6772f2b85e00ae0 (commit)
      from  7b877bfb2ff95884ba79822d5d54868d241f580c (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 0fc76342a4ac4745be9b6bb5b6772f2b85e00ae0
Author: Dan Gildea <dgildea>
Date:   Thu Jun 2 13:08:05 2016 -0400

    Fix limit((x^(1/​x) - 1)*sqrt(x), x, inf)
    
    src/limit.lisp:
    o istrength: remove radicalp clause (can be handled by clauses for basic operators)
      Fixes #3142 limit((x^(1/x) - 1)*sqrt(x), x, inf) => inf
    o simplimtimes: typo: 'infinity -> '$infinity
      Fixes #3143 limit((x^(1/x) - 1)*sqrt(x), x, 0, minus) => inf
      (now returns nounform, should be '$infinity)
    
    tests/rtest_limit.mac
    o add limit((x^(1/x) - 1)*sqrt(x), x, inf)
    o add limit((x^(1/x) - 1)*sqrt(x), x, 0, minus)

diff --git a/src/limit.lisp b/src/limit.lisp
index 3435339..6cafa42 100644
--- a/src/limit.lisp
+++ b/src/limit.lisp
@@ -1922,7 +1922,7 @@ ignoring dummy variables and array indices."
           (t
            (setf denom (m* denom term)
                  constant-infty (or constant-infty (not (among var term))))
-           (unless (eq inf-type 'infinity)
+           (unless (eq inf-type '$infinity)
              (cond
                ((eq y '$infinity) (setq inf-type '$infinity))
                ((null inf-type) (setf inf-type y))
@@ -2473,7 +2473,6 @@ ignoring dummy variables and array indices."
 			      (list 'var var 1.))
 			     (t (list 'num term))))
 	((not (among var term))  (list 'num term))
-	((radicalp term var)  (list 'var term (rddeg term nil)))
 	((mplusp term)
 	 (let ((temp (ismax (mapcar #'istrength (cdr term)))))
 	   (cond ((not (null temp))  temp)
diff --git a/tests/rtest_limit.mac b/tests/rtest_limit.mac
index 0f187a3..fb59c09 100644
--- a/tests/rtest_limit.mac
+++ b/tests/rtest_limit.mac
@@ -751,3 +751,11 @@ integrate(x^3/(exp(x)-1),x,0,inf), numer;
                       +1.0*x^3*log(1-%e^x)-0.25*x^4,x,inf,minus)
  -6.0*li[4](1.0)$
 
+/* #3142 limit((x^(1/x) - 1)*sqrt(x), x, inf) => inf */
+limit((x^(1/x) - 1)*sqrt(x), x, inf);
+0;
+
+/* #3143 limit((x^(1/x) - 1)*sqrt(x), x, 0, minus) => inf */
+/* should really be '$infinity */
+limit((x^(1/x) - 1)*sqrt(x), x, 0, minus);
+'limit((x^(1/x) - 1)*sqrt(x), x, 0, minus);

-----------------------------------------------------------------------

Summary of changes:
 src/limit.lisp        |    3 +--
 tests/rtest_limit.mac |    8 ++++++++
 2 files changed, 9 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
Maxima CAS