[Maxima] declaration foo distributes over bar

Barton Willis willisb at unk.edu
Sat Jun 9 15:58:08 CDT 2007


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


More information about the Maxima mailing list