Re: def-simplifier for variable arity functions?

On 4/26/26 10:54 AM, Stavros Macrakis wrote:

>
>
> There are other nary operators which /should/ be simplifying, namely 
> *and/or*. Again, my code for that is almost done.
>
> According to its comments, *def-simplifier *(in *defmfun-check.lisp*) 
> explicitly does not address the nary case: "the args for the 
> simplifier only supports a fixed set of required arguments". It would 
> be nice to fix that.

I confess on not looking at the comments. I’ll look into it, but it 
would really be helpful if I had a simplifier (without using 
def-simplifier) to look at.

Based on the this thread, it looks like we’re mostly looking for things 
with |&rest| args. So not a simplifier with a finite number of args of 
which some or all are optional.

​

_______________________________________________
Maxima-discuss mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/maxima-discuss