Is %i an integer? - Adding more facts to the database
Subject: Is %i an integer? - Adding more facts to the database
From: Dieter Kaiser
Date: Mon, 29 Jun 2009 20:48:26 +0200
Am Montag, den 29.06.2009, 17:53 +0100 schrieb Leo Butler:
I have tested the following implementation of featurep respectively
kindp:
Results for featurep(symbol,ind):
IND (1) (2) (3) (4) (5) (6) (7) (8) (9)
DECLARATION
none * * * * * * * * *
(1) integer TRUE * * * * * * * *
(2) noninteger * TRUE * * * * * * *
(3) even TRUE * TRUE * * * * * *
(4) odd TRUE * * TRUE * * * * *
(5) rational * * * * TRUE * * * *
(6) irrational * * * * * TRUE * * *
(7) real * * * * * * TRUE * *
(8) imaginary * * * * * * * TRUE TRUE
(9) complex * * * * * * * * TRUE
The inferences have been removed for the numerical types. I have got no
errors with the testsuite and the share_testsuite. As suggested in other
postings too, this might be the most clear concept.
Because the functionality of featurep is not used a lot there might be
some subtle problems, see e.g. the functions decl-complexp and
decl-realp which have to be changed, but do not give any error with the
changed implementation.
Dieter Kaiser