Commit 6adaed78 authored by Jay Belanger's avatar Jay Belanger
Browse files

(math-pow-of-zero): Take into account different cases.

parent 5f9e0ca5
......@@ -1740,23 +1740,35 @@
(math-normalize (list '^ a b)))
(defun math-pow-of-zero (a b)
(if (Math-zerop b)
(if calc-infinite-mode
'(var nan var-nan)
(math-reject-arg (list '^ a b) "*Indeterminate form"))
"Raise A to the power of B, where A is a form of zero."
(if (math-floatp b) (setq a (math-float a)))
(if (math-posp b)
(if (math-negp b)
(math-div 1 a)
(if (math-infinitep b)
;; 0^0 = 1
((eq b 0)
;; 0^0.0, etc., are undetermined
((Math-zerop b)
(if calc-infinite-mode
'(var nan var-nan)
(if (and (eq (car b) 'intv) (math-intv-constp b)
'(intv 3 (neg (var inf var-inf)) (var inf var-inf))
(if (math-objectp b)
(list '^ a b)
(math-reject-arg (list '^ a b) "*Indeterminate form")))
;; 0^positive = 0
((math-posp b)
;; 0^negative is undefined (let math-div handle it)
((math-negp b)
(math-div 1 a))
;; 0^infinity is undefined
((math-infinitep b)
'(var nan var-nan))
;; Some intervals
((and (eq (car b) 'intv)
(math-negp (nth 2 b))
(math-posp (nth 3 b)))
'(intv 3 (neg (var inf var-inf)) (var inf var-inf)))
;; If none of the above, leave it alone.
(list '^ a b))))
(defun math-pow-zero (a b)
(if (eq (car-safe a) 'mod)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment