Hi,
is there a way of injecting an IND value into the expression LIMIT
operates on? For UND it works as naively expected:
limit(und+3) ==> UND
(except that simplifications may wreak havoc: limit(und-und) ==> 0)
but not for IND:
limit(ind+3) ==> IND+3
I would prefer the latter to return IND.
The obvious work around is, of course, to just check whether IND still
occurrs; or, actually, to use a gensym for every bounded but
indefinite value and check whether any of those survive taking the
limit. But if LIMIT already knows to simplify IND*0 to 0 provided
both factors arise while taking the limit, it seems it might be easy
to make it recognize this case also when IND is part of the input.
Regards,
Albert.