Searched refs:daddgr (Results 1 – 1 of 1) sorted by relevance
558 ((eq (caar pat) 'mgreaterp) (daddgr flag (sub (cadr pat) (caddr pat))))565 ((eq (caar pat) 'mlessp) (daddgr flag (sub (caddr pat) (cadr pat))))986 ((eq '$pos sgn) (daddgr nil x))987 ((eq '$neg sgn) (daddgr nil (neg x)))2214 (defun daddgr (flag x) function2257 (daddgr t x)2262 (daddgr t (neg x))