From 6a3338b1639348c89b4ccf4b44affaba3b09ba7d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jori=20M=C3=A4ntysalo?= Date: Tue, 31 May 2016 15:51:51 +0300 Subject: [PATCH] From \not= to \neq. --- src/sage/combinat/posets/hasse_diagram.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sage/combinat/posets/hasse_diagram.py b/src/sage/combinat/posets/hasse_diagram.py index a4292f61a21..d2ef8434dfc 100644 --- a/src/sage/combinat/posets/hasse_diagram.py +++ b/src/sage/combinat/posets/hasse_diagram.py @@ -1272,9 +1272,9 @@ def is_semidistributive(self, meet_or_join): - ``None`` if the lattice is semidistributive OR - tuple ``(u, e, x, y)`` such that - `u = e \vee x = e \vee y` but `u \not= e \vee (x \wedge y)` + `u = e \vee x = e \vee y` but `u \neq e \vee (x \wedge y)` if ``meet_or_join=='join'`` and - `u = e \wedge x = e \wedge y` but `u \not= e \wedge (x \vee y)` + `u = e \wedge x = e \wedge y` but `u \neq e \wedge (x \vee y)` if ``meet_or_join=='meet'`` EXAMPLES::