Changes between Version 1 and Version 2 of Ticket #17173, comment 4


Ignore:
Timestamp:
Oct 20, 2014, 9:46:45 AM (8 years ago)
Author:
ncohen
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #17173, comment 4

    v1 v2  
    1515+        self.is_bounded() and
    1616+        (self.rank() == len([e for e in self if len(self.lower_covers(e))==1])
    17 +                     ==        len([e for e in self if len(self.upper_covers(e))==1])) and
     17+                     == len([e for e in self if len(self.upper_covers(e))==1])) and
    1818+        self._is_distributive_lattice_recursion())
    1919}}}