I have made some additions to posets and lattices, for example
http://trac.sagemath.org/ticket/17121
But I am confused about logic (if any...) behind location of functions on
different places. For example
is_bounded := has_top & has_bottom
and all three functions are defined on hasse_diagram.py with one-line
wrappers in posets.py. But then
is_lattice := is_meet_semilattice & is_join_semilattice
and is_lattice is on categories/finite_posets.py,
is_[join|meet]_semilattice on hasse_diagram.py.
Also is_selfdual is on categories/finite_posets.py, is_ranked is on
hasse_diagram.py and is_graded on posets.py. (And there is also is_graded
on hasse_diagram.py, but defineq equal to is_ranked, conflicting with
definition on posets.py.)
hasse_diagram.py contains function is_distributive_lattice, and before
ticket #17121 is is used only from lattices.py, even if the name suggest
it be available also on posets.py.
So, what is the logic behind this?
--
Jori Mäntysalo
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
