File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -1903,8 +1903,8 @@ def breadth(self, certificate=False):
1903
1903
any join of elements `x_1, x_2, \ldots, x_{n+1}` is join of a
1904
1904
proper subset of `x_i`.
1905
1905
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
1908
1908
Boolean lattice of `2^n` elements.
1909
1909
1910
1910
INPUT:
@@ -4300,7 +4300,7 @@ def is_constructible_by_doublings(self, type):
4300
4300
return True
4301
4301
4302
4302
if (type == 'interval' and len (self .join_irreducibles ()) !=
4303
- len (self .meet_irreducibles ())):
4303
+ len (self .meet_irreducibles ())):
4304
4304
return False
4305
4305
4306
4306
if type == 'upper' or type == 'interval' :
You can’t perform that action at this time.
0 commit comments