#20747: LatticePoset: add is_meet_semidistributive
-------------------------------------+-------------------------------------
       Reporter:  jmantysalo         |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  minor              |    Milestone:  sage-7.3
      Component:  combinatorics      |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Jori Mäntysalo     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/jmantysalo/latticeposet__add_is_meet_semidistributive|  
83272022009539e57cc7ac18188d719676263e1b
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by jmantysalo):

 Replying to [comment:3 tscrim]:
 > Wouldn't this test
 > {{{#!python
 > if self._hasse_diagram.size() > n*log(n, 2)/2:
 >     return False
 > }}}
 > be better done in the `HasseDiagram.is_semidistributive`, so all methods
 which call it benefit?

 The function at `hasse_diagram.py` does not return a Boolean, but `None`
 or a tuple instead. It is meant to be extendable at later time.

--
Ticket URL: <http://trac.sagemath.org/ticket/20747#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to