> In limit.lisp there's unreacheble code, I think. It's placed in the
> mabs-subst. It's (COND ... ((AND A D) (COND ((ZEROP1 D)... The second
> COND is never touched if D is zero. I don't understand this special
> treating of abs(0). Any comments?
1) I don't understand what you mean by "The second COND is never
touched". That clause is invoked in processing limit(x*abs(x),x,0), for
example -- though Limit still doesn't get the answer there!
2) You might also want to look at the code that is supposed to call
both-side (see my bug report #782046) for limit's handling of abs -- why
isn't both-side being invoked for various abs cases?
-s