-----maxima-bounces at math.utexas.edu wrote: -----
>
There?are?some?more?declarations?in?the?database,?but?I?think?these?do?not
> work, because?the?property?'OPERS?T?is?missing?on?the?property?list.
>
> Furthermore?I?think?the?implementation?of?opers-apply?is?not?very
> efficient.
This?might?be?the?reason?why?it?is?not?used?for?the?implementation?of?the
> reflections-rules?for?the?trig?functions?or?the?conjugate-rules.
Conjugate-simp doesn't use opers-apply because I didn't know about
opers-apply
when I wrote conjugate.lisp. The same is true for the trig reflection
rules. Actually for the reflection rules, I only revised the old code (that
also did not use opers-apply).
If I were to write conjugate.lisp over, likely I wouldn't use opers-apply.
It seems to me that opers-apply sorts through many possibilities; also, I'm
not fond of distributing the work of simple tasks over multiple
files and functions.
Maxima places a great deal of data on property lists; for efficiency,
I have wondered if some of this should be placed into hash tables.
Try :lisp(symbol-plist 'mplus). Yikes! What is all this stuff (references
to nset, for example).
Barton