[Maxima-commits] [git] Maxima CAS branch, branch-5_38, updated. 5.38.1-6-g33a976f

[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, branch-5_38 has been updated
       via  33a976fbc6b7bd8c9409704849c4210838cc75a9 (commit)
      from  df93b7b927847adb795fabd0ce9f4490ade2f46b (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 33a976fbc6b7bd8c9409704849c4210838cc75a9
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