Skip to content

Commit 753a3a4

Browse files
committed
Adding one more doctest
1 parent 784dd63 commit 753a3a4

File tree

1 file changed

+17
-1
lines changed

1 file changed

+17
-1
lines changed

src/sage/combinat/posets/posets.py

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8542,7 +8542,7 @@ def cuts(self):
85428542
bounds of the set of upper bounds of `A` is exactly `A`.
85438543
85448544
The cuts are computed as the smallest family of subsets of P containing its
8545-
principal order filters, the whose set P and which is closed by intersection.
8545+
principal order filters, the whole set P and which is closed by intersection.
85468546
85478547
EXAMPLES::
85488548
@@ -8562,6 +8562,22 @@ def cuts(self):
85628562
sage: P = Poset()
85638563
sage: P.cuts()
85648564
[frozenset()]
8565+
sage: P = Poset({3: [4, 5, 7], 1: [2, 4, 6], 4: [], 0: [2, 5], 2: [7], 7: [], 5: [6], 6: []})
8566+
sage: P.cuts()
8567+
[frozenset({3, 4, 5, 6, 7}),
8568+
frozenset({1, 2, 4, 6, 7}),
8569+
frozenset({4}),
8570+
frozenset({0, 2, 5, 6, 7}),
8571+
frozenset({2, 7}),
8572+
frozenset({7}),
8573+
frozenset({5, 6}),
8574+
frozenset({6}),
8575+
frozenset({4, 6, 7}),
8576+
frozenset({5, 6, 7}),
8577+
frozenset({2, 6, 7}),
8578+
frozenset(),
8579+
frozenset({6, 7}),
8580+
frozenset({0, 1, 2, 3, 4, 5, 6, 7})]
85658581
85668582
.. SEEALSO::
85678583

0 commit comments

Comments
 (0)