(sitting in the living room) Yes, you do need this induced=True otherwise the chain contains all other (smaller) posets :-P
Sorry 'bout that. And it should be much faster than the listing from your trac ticket (which you can close if your problem is solved, or recycle into a ticket to implement the feature) Nathann On 28 August 2014 10:22, Nathann Cohen <nathann.co...@gmail.com> wrote: > (At the super market) > > Doesn't it work better if you also do induced=true for the transitive > closure thing too ? > > Nathann > > On Wednesday, August 27, 2014, Jori Mantysalo <jori.mantys...@uta.fi> wrote: >> >> On Fri, 22 Aug 2014, Nathann Cohen wrote: >> >>>> Does Sage has a function to check if poset A contains a subposet >>>> isomorphic to subposet B? >> >> >>> Not... exactly. There is no Poset method that does that, but there is a >>> DiGraph method that does that. But then, it depends on what you call a >>> subposet of a poset. >> >> >> It seems that neither definition is not what I was thinking. In principle >> the function I want could be done with something like >> >> def has_isomorphic_subposet(A, B): >> for x in Subsets(A.list()): >> if A.subposet(x).is_isomorphic(B): >> return True >> return False >> >> which is of course extremely slow. >> >> In this definition i.e. lattice N_5 contains 4-element "diamond lattice". >> >> -- >> Jori Mäntysalo >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/0kqw7HPV088/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-devel+unsubscr...@googlegroups.com. >> To post to this group, send email to sage-devel@googlegroups.com. >> Visit this group at http://groups.google.com/group/sage-devel. >> For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.