On Sat, 26 Sep 2015, Tom Boothby wrote:
Hold on, why do you want to rule out zero? It seems like a dumb thing to do a search at depth zero, but raising an error rather than returning a trivial result is infuriating to a user.
I am not doing that. At first post I asked for functions to check integers, nonnegative integers and positive integers. I am quite sure that there are places for each of those.
(Of course there are other restrictions too, like >= 3 for DiamondPoset. But I guess that they are rare.)
-- Jori Mäntysalo