Robert Dodier <robert.dodier at gmail.com> writes:
>> putting logic about real and complex numbers into the feature system
>> is probably Doing It Wrong.
>
> Agreed.
>
>> My proposal is that we allow features to be declared to be
>> incompatible.
>
> I'm against it. I'd like to move any inference out of the declaration
> system. Also, I agree w/ a comment by Stavros that multiple declarations
> should be treated as a conjunction. It is certainly possible that the
> conjunction is identically false, but that isn't a problem in the
> declaration system.
After a couple of evenings sleeping on it, I think I agree with you!
Thank you both for the careful write-ups.
Rupert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 315 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20130208/bf1004b3/attachment.pgp>;