-----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