Ticket #15322: trac_15322-some-edits-dg.patch

File trac_15322-some-edits-dg.patch, 5.3 KB (added by Darij Grinberg, 9 years ago)
  • sage/categories/finite_posets.py

    # HG changeset patch
    # User darij grinberg <darijgrinberg@gmail.com>
    # Date 1382821151 25200
    # Node ID 64fd664cdd919f020ee811662ae978c58519cc0d
    # Parent  20e89c5721689c5ba35922c792cf91c4ea6b2f2a
    trac #15283: corrections requested by reviewer
    
    diff --git a/sage/categories/finite_posets.py b/sage/categories/finite_posets.py
    a b class FinitePosets(Category): 
    663663            # bijections on this set, and returning an orbit of a given
    664664            # element.
    665665            if check:
    666                 for i in antichain:
    667                     for j in antichain:
    668                         if self.gt(i, j):
    669                             raise ValueError("the given antichain is not an antichain")
     666                if not self.is_antichain_of_poset(antichain):
     667                    raise ValueError("the given antichain is not an antichain")
    670668            starter = set(antichain)     # sanitize input
    671669            yield element_constructor(starter)
    672670            next = starter
    class FinitePosets(Category): 
    760758            # bijections on this set, and returning an orbit of a given
    761759            # element.
    762760            if check:
    763                 for i in oideal:
    764                     for j in self.lower_covers(i):
    765                         if not j in oideal:
    766                             raise ValueError("the given order ideal is not an order ideal")
     761                if not self.is_order_ideal(oideal):
     762                    raise ValueError("the given order ideal is not an order ideal")
    767763            starter = set(oideal)     # sanitize input
    768764            yield element_constructor(starter)
    769765            next = starter
    class FinitePosets(Category): 
    871867            # bijections on this set, and returning an orbit of a given
    872868            # element.
    873869            if check:
    874                 for i in oideal:
    875                     for j in self.lower_covers(i):
    876                         if not j in oideal:
    877                             raise ValueError("the given order ideal is not an order ideal")
     870                if not self.is_order_ideal(oideal):
     871                    raise ValueError("the given order ideal is not an order ideal")
    878872            starter = set(oideal)     # sanitize input
    879873            yield element_constructor(starter)
    880874            next = starter
  • sage/categories/posets.py

    diff --git a/sage/categories/posets.py b/sage/categories/posets.py
    a b class Posets(Category): 
    553553                True
    554554                sage: Q.is_chain_of_poset([2, 1], ordered=True)
    555555                True
     556                sage: Q.is_chain_of_poset([2, 1, 1], ordered=True)
     557                False
    556558                sage: Q.is_chain_of_poset([3])
    557559                True
    558560                sage: Q.is_chain_of_poset([4, 2, 3])
    class Posets(Category): 
    584586                sage: T.is_chain_of_poset((T(3), T(3), T(6)))
    585587                True
    586588                sage: T.is_chain_of_poset((T(3), T(3), T(6)), ordered=True)
     589                False
     590                sage: T.is_chain_of_poset((T(3), T(6)), ordered=True)
    587591                True
    588592                sage: T.is_chain_of_poset((), ordered=True)
    589593                True
    class Posets(Category): 
    596600            """
    597601            list_o = list(o)
    598602            if ordered:
    599                 return all(self.le(a, b) for a, b in zip(list_o, list_o[1:]))
     603                return all(self.lt(a, b) for a, b in zip(list_o, list_o[1:]))
    600604            else:
    601605                for (i, x) in enumerate(list_o):
    602606                    for y in list_o[:i]:
    class Posets(Category): 
    674678                sage: R.is_antichain_of_poset([R(set([3, 1, 2, 4])), R(set([1, 4])), R(set([4, 5]))])
    675679                False
    676680            """
    677             list_o = list(o)
    678             for (i, x) in enumerate(list_o):
    679                 for y in list_o[:i]:
    680                     if self.lt(x, y) or self.gt(x, y):
    681                         return False
    682             return True
     681            return all(not self.lt(x,y) for x in o for y in o)
    683682
    684683    class ElementMethods:
    685684        pass
  • sage/combinat/posets/posets.py

    diff --git a/sage/combinat/posets/posets.py b/sage/combinat/posets/posets.py
    a b class FinitePoset(UniqueRepresentation,  
    20042004            sage: P.is_chain_of_poset((1, 1, 3))
    20052005            True
    20062006            sage: P.is_chain_of_poset((1, 1, 3), ordered=True)
     2007            False
     2008            sage: P.is_chain_of_poset((1, 3), ordered=True)
    20072009            True
    20082010            sage: P.is_chain_of_poset((6, 1, 1, 3))
    20092011            True
    class FinitePoset(UniqueRepresentation,  
    20122014        """
    20132015        if ordered:
    20142016            sorted_o = o
     2017            return all(self.lt(a, b) for a, b in zip(sorted_o, sorted_o[1:]))
    20152018        else:
     2019            # _element_to_vertex can be assumed to be a linear extension
     2020            # of the poset according to the documentation of class
     2021            # HasseDiagram.
    20162022            sorted_o = sorted(o, key=self._element_to_vertex)
    2017         return all(self.le(a, b) for a, b in zip(sorted_o, sorted_o[1:]))
     2023            return all(self.le(a, b) for a, b in zip(sorted_o, sorted_o[1:]))
    20182024
    20192025    def is_EL_labelling(self, f, return_raising_chains=False):
    20202026        r"""