From 1ed0863085418ba587f7e63bacab94bf9a5d2e65 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jori=20M=C3=A4ntysalo?= Date: Fri, 16 Sep 2016 22:30:43 +0300 Subject: [PATCH] 'the' or 'a'. --- src/sage/combinat/posets/lattices.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sage/combinat/posets/lattices.py b/src/sage/combinat/posets/lattices.py index 3cb8b64f996..37988dc9c4c 100644 --- a/src/sage/combinat/posets/lattices.py +++ b/src/sage/combinat/posets/lattices.py @@ -1201,7 +1201,7 @@ def is_pseudocomplemented(self, certificate=False): Return ``True`` if the lattice is pseudocomplemented, and ``False`` otherwise. - A lattice is pseudocomplemented if every element `e` has a + A lattice is (meet-)pseudocomplemented if every element `e` has a pseudocomplement `e^\star`, i.e. the greatest element such that the meet of `e` and `e^\star` is the bottom element. @@ -1215,7 +1215,7 @@ def is_pseudocomplemented(self, certificate=False): OUTPUT: - If ``certificate=True`` return either ``(True, None)`` or - ``(False, e)``, where ``e`` is an element without the + ``(False, e)``, where ``e`` is an element without a pseudocomplement. If ``certificate=False`` return ``True`` or ``False``.