@@ -2057,8 +2057,7 @@ def maximal_barrier(self, vertex):
20572057
20582058 sage: J = G.copy()
20592059 sage: J.delete_vertices(B)
2060- sage: all(len(K)%2 != 0 for K in J.connected_components())
2061- ...
2060+ sage: all(len(K)%2 != 0 for K in J.connected_components(sort=True))
20622061 True
20632062
20642063 Let `B` be a maximal barrier in a matching covered graph `G` and let
@@ -2585,7 +2584,7 @@ def is_brace(self, coNP_certificate=False):
25852584 sage: C = graphs.CycleGraph(6)
25862585 sage: D = MatchingCoveredGraph(C)
25872586 sage: D.is_brace(coNP_certificate=True)
2588- (False, [(0, 5 , None), (2, 3 , None)], {0, 1, 2 })
2587+ (False, [(1, 2 , None), (5, 4 , None)], {0, 1, 5 })
25892588
25902589 If the input matching covered graph is nonbipartite, a
25912590 :exc:`ValueError` is thrown::
@@ -2825,7 +2824,12 @@ def is_brick(self, coNP_certificate=False):
28252824 sage: K4 = graphs.CompleteGraph(4)
28262825 sage: G = MatchingCoveredGraph(K4)
28272826 sage: G.is_brick(coNP_certificate=True)
2828- sage: # K(4)
2827+ (True, None, None)
2828+ sage: # K(4) ⊙ K(3, 3) is nonbipartite but not a brick
2829+ sage: H = graphs.MurtyGraph(); H.delete_edge(0, 1)
2830+ sage: G = MatchingCoveredGraph(H)
2831+ sage: G.is_brick(coNP_certificate=True)
2832+ (False, [(5, 2, None), (6, 3, None), (7, 4, None)], {5, 6, 7})
28292833
28302834 If the input matching covered graph is bipartite, a
28312835 :exc:`ValueError` is thrown::
0 commit comments