On 12/18/11, Barton Willis <willisb at unk.edu> wrote:
> In limit-context (defined in limit.lisp), comment out the lines
>
> (assume '((mlessp) lim-epsilon 1e-8))
> (assume '((mgreaterp) prin-inf 1e+8))
Looks like LIM-EPSILON is never referenced elsewhere.
So I think it's safe to cut it out.
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?
best
Robert Dodier