Function: math-known-nonzerop

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

Signature

(math-known-nonzerop A)

Source Code

;; Defined in /usr/src/emacs/lisp/calc/calc-arith.el.gz
;;; Try to prove that A is nonzero.
(defun math-known-nonzerop (a)
  (memq (math-possible-signs a) '(1 4 5 8 9 12 13)))