Re: def-simplifier for variable arity functions?

I assume that by "convert sets to be noun/verb compliant", you mean to
make *intersection,
union, *etc. into simplifying functions? That sounds very valuable! As I
suggested in my previous email, I already have some (not quite ready for
prime time) code for simplifying, e.g., *union(a,a) => a*, etc.

It looks like *set* itself is already a simplifying function:

   simp:false$ set(a,b,a) => set(a,b,a)

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.



On Sun, Apr 26, 2026 at 11:12 AM Barton Willis via Maxima-discuss <
[email protected]> wrote:

> Simplify a set—I was wondering what would happen if we converted sets to
> be noun/verb compliant. The easiest way to achieve that would be to use
> def-simplifier.
>
> The only other example of a non-fixed arity function is the humble list,
> but unlike sets, lists do not have a simplifier.
> ------------------------------
> *From:* Raymond Toy <[email protected]>
> *Sent:* Sunday, April 26, 2026 9:29 AM
> *To:* [email protected] <
> [email protected]>
> *Subject:* Re: [Maxima-discuss] def-simplifier for variable arity
> functions?
>
> Caution: Non-NU Email
>
> On 4/25/26 4:57 PM, Barton Willis via Maxima-discuss wrote:
>
> Does def-simplifier handle variable arity functions?
>
> Do you have an example?
>
>
>
> _______________________________________________
> Maxima-discuss mailing [email protected]://lists.sourceforge.net/lists/listinfo/maxima-discuss <https://urldefense.com/v3/__https://lists.sourceforge.net/lists/listinfo/maxima-discuss__;!!PvXuogZ4sRB2p-tU!D2u-7mnlfbSfPuxgCitIo-zzLSOrUw1dDjHpkEASH0fO_bNDf03W1TMS9M6VeCjwgpPn2wo2AyF1qnF_6F4$>
>
> &#8203;
> _______________________________________________
> Maxima-discuss mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/maxima-discuss
>

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