On 2/2/11, Barton Willis <willisb at unk.edu> wrote:
> We could define simplifications for the nounforms of integerp and friends.
I dunno. I kind of like that idea, but it might be a little
too subtle for anybody who hasn't fully absorbed the
arcana minor of Maxima's evaluation / simplification \cross
noun / verb systems ... Feel free to convince me,
I don't have a strong opinion about it yet.
Hmm, what about operator predicates? (<, =, > etc)
There isn't an obvious way to distinguish nouns and verbs
for them; how do they fit into this scheme?
I'd like to see simplifying predicates in some form,
I just don't know yet what form that would be.
best
Robert Dodier