Function: math-known-realp
math-known-realp is an autoloaded and byte-compiled function defined
in calc-arith.el.gz.
Signature
(math-known-realp A)
Source Code
;; Defined in /usr/src/emacs/lisp/calc/calc-arith.el.gz
;;; Try to prove that A is a real (i.e., not complex).
(defun math-known-realp (a)
(< (math-possible-signs a) 8))