Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Some touchups of lattices.py.
Browse files Browse the repository at this point in the history
  • Loading branch information
Travis Scrimshaw committed Apr 19, 2016
1 parent 376adfb commit aa58591
Showing 1 changed file with 9 additions and 8 deletions.
17 changes: 9 additions & 8 deletions src/sage/combinat/posets/lattices.py
Original file line number Diff line number Diff line change
Expand Up @@ -593,13 +593,13 @@ def _repr_(self):

def atoms(self):
"""
Return the atoms of the lattice.
Return the atoms of this lattice.
An *atom* of a lattice is an element covering the bottom element.
.. SEEALSO::
:meth:`coatoms`.
:meth:`coatoms`
EXAMPLES::
Expand All @@ -620,13 +620,13 @@ def atoms(self):

def coatoms(self):
"""
Return the co-atoms of the lattice.
Return the co-atoms of this lattice.
A *co-atom* of a lattice is an element covered by the top element.
.. SEEALSO::
:meth:`atoms`.
:meth:`atoms`
EXAMPLES::
Expand All @@ -647,15 +647,16 @@ def coatoms(self):

def double_irreducibles(self):
"""
Return the list of double irreducible elements of the lattice.
Return the list of double irreducible elements of this lattice.
A *double irreducible* element of a lattice is an element
covering and covered by exactly one element. In other words
it is neither a meet nor a join of any elements.
.. SEEALSO::
:meth:`~sage.categories.finite_lattice_posets.FiniteLatticePosets.ParentMethods.meet_irreducibles`, :meth:`~sage.categories.finite_lattice_posets.FiniteLatticePosets.ParentMethods.join_irreducibles`.
:meth:`~sage.categories.finite_lattice_posets.FiniteLatticePosets.ParentMethods.meet_irreducibles`,
:meth:`~sage.categories.finite_lattice_posets.FiniteLatticePosets.ParentMethods.join_irreducibles`
EXAMPLES::
Expand All @@ -675,8 +676,8 @@ def double_irreducibles(self):
[]
"""
H = self._hasse_diagram
return [self._vertex_to_element(e) for e in H if
H.in_degree(e) == 1 and H.out_degree(e) == 1]
return [self._vertex_to_element(e) for e in H
if H.in_degree(e) == 1 and H.out_degree(e) == 1]

def is_distributive(self):
r"""
Expand Down

0 comments on commit aa58591

Please sign in to comment.