cf(+) gives a fatal error
The fix is to add a first clause to the cond in cfratsimp:
(cond ((atom a) a) ...
While I was looking, I noticed another bug (which only
affects performance) in cfratsimp -- the second clause is
The corrected cfratsimp is:
(defun cfratsimp (a)
(cond ((atom a) a)
((memq 'cf (car a)) a)
(t (cons '(mlist cf simp)
(apply 'find-cf (cf-back-recurrence (cdr a)))))))
Log in to post a comment.