>However PRIN-INF has something to do with principal
>value stuff. I was just grepping through the code
>and I see there are several references. Do we know
>what are the effects of cutting it out?
I don't know--I was hoping somebody would know. Dropping some of the assumptions on
prin-inf, doesn't break the test suite... The (defint.lisp) function interval-list
subst prin-inf for $inf, but I don't know why (circumvent an error or simplification?).
--Barton