#16892: Function to check if a poset containt a subposet isomorphic to another
poset
-------------------------------------+-------------------------------------
       Reporter:  jmantysalo         |        Owner:
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-wishlist
      Component:  combinatorics      |   Resolution:
       Keywords:                     |    Merged in:
        Authors:                     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  
u/jmantysalo/function_to_check_if_a_poset_containt_a_subposet_isomorphic_to_another_poset|
  f13f2385d2b79adad5dae8282162d776bb8114bd
   Dependencies:  16909              |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by ncohen):

 Hello !

 > 1) As this is not urgent change, I made another ticket (16909). Of
 course I could also do this without another one, adding note like "After
 transitive_closure() is fixed, change..."

 I just wrote a commit and added Travis and Simon in cc. The patch is very
 short, so it may not take very long before it is reviewed !

 > Can 'induced' be later added with default value to `True`?

 I believe that `False` (i.e. the transitive closure version) should be the
 default behaviour, I think that it is the most common definition of
 'subposet'.

 > One more question: What is the meaning of having same documentation and
 examples copied to both posets.py and hasse_diagram.py? For example
 has_bottom() and actually most of functions?

 Why exacty do you want to add a method to !HasseDiagram, given that they
 are digraphs and that they already inherit the `subgraph_search` method
 which does exactly the same (and even a bit more as it returns the graph)
 ?

 Nathann

--
Ticket URL: <http://trac.sagemath.org/ticket/16892#comment:12>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to