Does the simplim%function mechanism allow for one-sided limits? For example, in bessel.lisp:
(defprop %bessel_j simplim%bessel_j simplim%function)
(defun simplim%bessel_j (expr var val)
;; Look for the limit of the arguments.
(let ((v (limit (cadr expr) var val 'think))
The limit direction doesn't seem to be explicitly passed to the function limit. Is there a
special variable that limit uses to determine the limit direction? The simplim%function dispatching
defined in simplim, doesn't seem to explicitly know about the limit direction.
--Barton