Mercurial > emacs

changeset 58688:e5b1db7d4396

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
(math-possible-signs): Added checks to intervals. (math-pow-of-zero): Strengthen checks for positive and negative exponents.
author Jay Belanger <jay.p.belanger@gmail.com>
date Tue, 30 Nov 2004 21:58:53 +0000
parents 6c5c285716b2
children 9e0cdd7232b7
files lisp/calc/calc-arith.el
diffstat 1 files changed, 8 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/calc/calc-arith.el	Tue Nov 30 21:32:35 2004 +0000
+++ b/lisp/calc/calc-arith.el	Tue Nov 30 21:58:53 2004 +0000
@@ -387,9 +387,12 @@
 	       ((Math-negp a) 1)
 	       ((Math-zerop a) 2)
 	       ((eq (car a) 'intv)
-		(cond ((Math-zerop (nth 2 a)) 6)
-		      ((Math-zerop (nth 3 a)) 3)
-		      (t 7)))
+		(cond 
+                 ((math-known-posp (nth 2 a)) 4)
+                 ((math-known-negp (nth 3 a)) 1)
+                 ((Math-zerop (nth 2 a)) 6)
+                 ((Math-zerop (nth 3 a)) 3)
+                 (t 7)))
 	       ((eq (car a) 'sdev)
 		(if (math-known-realp (nth 1 a)) 7 15))
 	       (t 8)))
@@ -1750,10 +1753,10 @@
         '(var nan var-nan)
       (math-reject-arg (list '^ a b) "*Indeterminate form")))
    ;; 0^positive = 0
-   ((math-posp b)
+   ((math-known-posp b)
     a)
    ;; 0^negative is undefined (let math-div handle it)
-   ((math-negp b)
+   ((math-known-negp b)
     (math-div 1 a))
    ;; 0^infinity is undefined
    ((math-infinitep b)