On Mon, 31 Aug 2015, Travis Scrimshaw wrote:
But as Simon says, if you have a vague idea of what you're looking for
and know about tab completion and ?, you're highly likely to find it.
OK. I'll close this path, as it seems that my view belongs to minority.
You're trying to sidestep the question; it is no different. Say I create
a subclass of Partition called LengthTwoPartition, should I include all
of the methods from Partition or not?
I would say no.
If we would have "real" category (or class or whatever) for general
posets, then it should have an index of functions, and they should not be
included to index of functions on *finite* posets. But for now I would say
that we have just an example of what could be implemented to infinite
posets.
If we would have category of finite posets and two or more implementations
of that (maybe, for example, "fast" and "memory-saving" versions), then
again it would seem natural to have several indexes.
--
Jori Mäntysalo
