On Mon, 8 Jun 2015, Viviane Pons wrote:
if your code only depends on general mathematical properties of posets
and not on the specific implementation of the poset object, then it
should be in the category.
Then I guess is_bounded should be in the category. But this has been
discussed earlier, so now I only think documentation.
As to answer the original question, I would say the main goal of the
documentation is to document primarily for users. So: what should I write so
that the user understands how to use it, and where should I put it so that
the user can see it.
OK. Feel free to mark the ticket as positive_review. :=)
(Actually there is more to add to index, but I'm (constantly) iterating
this.)
--
Jori Mäntysalo
