On Sun, 24 May 2015, Nathann Cohen wrote:
For completeness: is_lattice is implemented in
sage.categories.finite_posets, while those listed in the index appear in
sage.combinat.posets.posets.
I see two ways out:
Third one: Make index of poset functions to be index from user viewpoint.
As the index is not automatically generated, there is no restriction of
what can be there. It could be something like
** Properties of the poset **
*is_lattice() Return True if the poset has both a join and a meet operation.
(From another class)
is_join_semilattice() Return True is the poset has a join operation, and
False otherwise.
is_meet_semilattice() Return True if self has a meet operation, and False
otherwise.
--
Jori Mäntysalo
