Searched refs:mnqp (Results 1 – 8 of 8) sorted by relevance
51 (cond ((not (eq 'mnqp (caaar l))))
158 ((eq 'mnqp rel) (list '(mnot) (cons '($equal) body)))))478 ((eq '$notequal pred) (mnqp arg1 arg2))1094 ((or (and (mexptp a) (not (eq '$minf (third a))) (zerop1 b) (eq t (mnqp (second a) 0)))1095 (and (mexptp b) (not (eq '$minf (third b))) (zerop1 a) (eq t (mnqp (second b) 0))))1195 (defun mnqp (x y) function1720 ((eq t (mnqp x 1)) '$pn)2125 ((eq 'mnqp (caar f))2240 (mdata flag 'mnqp (dintern (cadr lhs)) (dintern (cadr rhs)))2242 (mdata flag 'mnqp (dintern (cadr lhs))2244 (t (mdata flag 'mnqp (dintern lhs) (dintern rhs))))
119 (or (eq t (mnqp (cdr z) 0)) ; y # 0
46 …((or (eq t (mnqp a 0)) (eq t (mnqp b 0))) ;signum(a + %i b) --> a/sqrt(a^2+b^2) + %i b/sqrt(a^2+b^…
922 (cond ((some #'(lambda (s) (eq t (mnqp s lk))) acc) ;; lk # some member of acc, return zero.
3024 (let* ((e (limit (cadr e) x pt 'think)) (sgn (mnqp e 0)))
72 (setq proviso (delete t (mapcar (lambda (s) (mnqp s 0)) q)))97 (if (not (eq t (mnqp qk 0))) (push (take '(mnotequal) qk 0) proviso))581 ((eq t (mnqp e ec)) nil)
297 (setq sgn (mnqp a b))