[Maxima] declaration foo distributes over bar

[Barton Willis]

-----maxima-bounces at math.utexas.edu wrote: -----

>In share/contrib/multiadditive.lisp, the threadable stuff is a
>simplification, right?

Yes, the threadable stuff works by simplification. The bit of simplifya
code

   ((get (caar x) 'opers)
     (let ((opers-list *opers-list)) (oper-apply x y)))

applies the rules listed in opproperties (linear,
additive,...,rassociative].

Barton