Searched refs:factplusdep (Results 1 – 1 of 1) sorted by relevance
166 (setq indl (mapcar #'(lambda (q) (factplusdep q fact))203 (defun factplusdep (e fact) function211 (and (setq out (factplusdep e fact))214 (let ((fto (factplusdep (cadr e) fact)))218 (same (mapcar #'(lambda (q) (factplusdep q fact))