Function: math-known-nonnegp
math-known-nonnegp is an autoloaded and byte-compiled function defined
in calc-arith.el.gz.
Signature
(math-known-nonnegp A)
Source Code
;; Defined in /usr/src/emacs/lisp/calc/calc-arith.el.gz
;;; Try to prove that A is real and nonnegative.
(defun math-known-nonnegp (a)
(memq (math-possible-signs a) '(2 4 6)))