Changes between Initial Version and Version 1 of Ticket #31725


Ignore:
Timestamp:
Apr 24, 2021, 11:59:14 PM (18 months ago)
Author:
Yuan Zhou
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #31725 – Description

    initial v1  
    1 Similar methods `_meet`, `_join` exist in `Poset._hasse_diagram` but not yet in `Poset` itself. To make them methods of `Poset`, one needs apply the `_element_to_vertex` and `_vertex_to_element` conversions.
     1Similar methods `_meet`, `_join` exist in `FinitePoset._hasse_diagram` but not yet in `Poset` itself. To make them methods of `Poset`, one needs apply the `_element_to_vertex` and `_vertex_to_element` conversions.
    22
    3 In addition, `Poset` has the method `common_upper_covers`. We propose to implement the method `common_lower_covers` as well, for symmetry and completeness.
     3In addition, `FinitePoset` has the method `common_upper_covers`. We propose to implement the method `common_lower_covers` as well, for symmetry and completeness.