Searched refs:makefact1 (Results 1 – 1 of 1) sorted by relevance
27 (let ((makef t)) (if (atom e) e (simplify (makefact1 e)))))29 (defun makefact1 (e) function32 (subst (makefact1 (cadr e)) 'x33 (subst (makefact1 (caddr e)) 'y39 (list '(mfactorial) (list '(mplus) -1 (makefact1 (cadr e)))))41 (makefact1 (subst (cadr e) 'x46 (t (recur-apply #'makefact1 e))))