[Maxima] Is %i an integer?

Robert Dodier robert.dodier at gmail.com
Thu Oct 1 15:32:53 CDT 2009

On Wed, Sep 30, 2009 at 3:44 PM, Dieter Kaiser <drdieterkaiser at web.de> wrote:

> 2.
> Cut out the inferences between the different declarations. Then a symbol
> can declared to be a real and a noninteger at the same time.

I'm in favor of this. I don't remember if cutting out the
inference stuff in featurep breaks anything. I hope not.

I believe it is useful to have featurep only for properties
attached to symbols, and a separate system to do
set membership inference or perhaps other kinds of inferences.
At present featurep mixes up both (and it does a poor job
on the inferences). So at this point let's restrict featurep to
only symbol properties, and keep talking about a set membership
inference system.


Robert Dodier

More information about the Maxima mailing list