Re: [Maxima-discuss] simplimit function vs simplimit%fun property

[Raymond T. <toy...@gm...>]

On 4/7/25 10:05 AM, Barton Willis wrote:

>
> The CL function |ridofab| (get rid of zeroa and zerob) substitutes 
> zero for |zerob| and |zeroa| ; example:
>
> (%i17) limit(elliptic_kc(m), m, 0, 'plus);
>
> 1 Call   ridofab [elliptic_kc(zeroa)]
> 1 Return ridofab %pi/2
Yeah, I see that. I guess I’ll have to do some digging to see how 
|ridofab| gets called. From my own tracing, it’s called after the 
simplim for elliptic_kc has returned with a value of |elliptic_kc(zeroa)|.
>
> (%o17) %pi/2
>
> Converting |simplim%tan| to use the symbol property dispatch mechanism 
> should be fairly easy (and to not use the special variables |var| and 
> |val) |.  Converting all the special cases in |simplimit| to use the 
> symbol property dispatch would be a larger effort—these functions are 
> not written in in a consistent fashion.
Yep. And they use the same simplim function for different functions. I 
probably won’t convert those for a while.
​