Lines Matching +refs:sign +refs:mplus
71 (sign (signum s)))
91 (list (cond ((= sign 1)
216 (sign nil))
218 (setq sign t
224 (when sign (princ "-"))
232 (when sign (princ "-"))
297 ((eq (caar x) 'mplus)
338 ((mplus simp) 1 ((mexpt simp) 5 ((rat simp) 1 2)))))
405 (unless (member j '(mabs mplus mtimes rat) :test 'eq)
425 (defprop mplus decaddbigfloat floatprog) unknown
685 (let ((significand) (expon) (sign))
686 (multiple-value-setq (significand expon sign) (integer-decode-float e))
687 (cl-rat-to-maxima (* sign significand (expt 2 expon)))))