Function: math-known-posp

math-known-posp is an autoloaded and byte-compiled function defined in calc-arith.el.gz.

Signature

(math-known-posp A)

Source Code

;; Defined in /usr/src/emacs/lisp/calc/calc-arith.el.gz
;;; Try to prove that A is real and positive.
(defun math-known-posp (a)
  (eq (math-possible-signs a) 4))