On 5/2/09, Robert Dodier <robert.dodier at gmail.com> wrote:
> Maxima is somewhat messy with assertions --- in particular
> different assertions are handled in different ways.
> I looked at this problem this afternoon and I think the right way to
> handle declare(foo, constant) is to cut out the special case stuff
> and handle it via the Lisp functions KIND and KINDP.
I have committed code to reimplement declare(foo, constant)
via KIND and KINDP rather that the symbol property list.
These changes don't disturb any of the existing tests.
There might be some other declarations that could be reworked
in the same way. Not sure when I'll get to them.
Just following up since declarations have been a topic of
discussion lately ....
best
Robert Dodier