Skip to content

Commit 785ddef

Browse files
author
Release Manager
committed
Trac #34902: LatticePoset breadth, error in documentation
I got a mail about my posting in year 2017: "However, I read Stephan's paper differently: He states that breadth k is equivalent  to containing a Boolean lattice with k atoms (but none with k+1 atoms) as a subORDER, and then states in his Lemma 1 that in the case k=3 this is the same as subLATTICE." Hence documentation of `breadth()` in `LatticePoset` containing This can be also characterized by sublattices: a lattice of breadth at least `$n$` contains a sublattice isomorphic to the Boolean lattice of `$2^n$` elements. must be changed to This can be also characterized by subposets: a lattice of breadth at least `$n$` contains a subposet isomorphic to the Boolean lattice of `$2^n$` elements. URL: https://trac.sagemath.org/34902 Reported by: jmantysalo Ticket author(s): Frédéric Chapoton Reviewer(s): Jori Mäntysalo
2 parents fb4f2e4 + 26d7ced commit 785ddef

File tree

3 files changed

+7
-7
lines changed

3 files changed

+7
-7
lines changed

build/pkgs/configure/checksums.ini

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
tarball=configure-VERSION.tar.gz
2-
sha1=2b6bd1b9a065a92dd3b690353fe447a51282086c
3-
md5=5a2b0fbf6e801633ebeffa06a7c18814
4-
cksum=181357686
2+
sha1=fa75a547e057b288c375898e55174b5cabeb6604
3+
md5=3159229a565e92884da15971d99ed278
4+
cksum=2735701711
Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
deed96d39acdd68f3f3b24f3139df0a6aa31a2b2
1+
1041dd26e41cfa00242dca4a3ee8c66e8e58aa55

src/sage/combinat/posets/lattices.py

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1903,8 +1903,8 @@ def breadth(self, certificate=False):
19031903
any join of elements `x_1, x_2, \ldots, x_{n+1}` is join of a
19041904
proper subset of `x_i`.
19051905
1906-
This can be also characterized by sublattices: a lattice
1907-
of breadth at least `n` contains a sublattice isomorphic to the
1906+
This can be also characterized by subposets: a lattice
1907+
of breadth at least `n` contains a subposet isomorphic to the
19081908
Boolean lattice of `2^n` elements.
19091909
19101910
INPUT:
@@ -4300,7 +4300,7 @@ def is_constructible_by_doublings(self, type):
43004300
return True
43014301

43024302
if (type == 'interval' and len(self.join_irreducibles()) !=
4303-
len(self.meet_irreducibles())):
4303+
len(self.meet_irreducibles())):
43044304
return False
43054305

43064306
if type == 'upper' or type == 'interval':

0 commit comments

Comments
 (0)