Searched refs:daddgq (Results 1 – 1 of 1) sorted by relevance
559 ((eq (caar pat) 'mgeqp) (daddgq flag (sub (cadr pat) (caddr pat))))564 ((eq (caar pat) 'mleqp) (daddgq flag (sub (caddr pat) (cadr pat))))990 ((eq '$pz sgn) (daddgq nil x))991 ((eq '$nz sgn) (daddgq nil (neg x))))))2221 (defun daddgq (flag x) function2277 (daddgq t x)