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.
best
Robert Dodier