Searched refs:logred (Results 1 – 4 of 4) sorted by relevance
110 def logred(*args): function
2476 (let ((logterm (logred term)))2499 (istrength (logred (second stren))))2509 (defun logred (s1) function3145 ((member (limitinf (logred exp) var) '($inf $minf) :test #'eq)3194 (logg (logred g))3203 (let* ((logf (logred f))