On Monday, January 15, 2018 at 9:51:05 AM UTC+2, Jori Mäntysalo wrote: > > On Mon, 15 Jan 2018, Victor Porton wrote: > > > So I have no tool to enumerate not up-to-isomorphism :-( > > At least you can re-compute OEIS serie A001035 by > > [sum(sum(factorial(i)/P.hasse_diagram().automorphism_group(return_group=False, > > > order=True)) for P in Posets(i)) for i in range(6)] > > so I guess the right direction is to use automorphism group of the Hasse > diagram. A digraph d can be translated to poset just by Poset(d).
Are you sure? I think I need non-automorphism permutations. Automorphism by definition maps a Hasse diagram into itself, while I need to map it into other diagrams, not into itself. > > Another issue: I need only posets greater than a certain fixed poset > > Please give an example. What would be a poset "greater" than, say, > posets.DiamondPoset(5)? > I say that a poset A is greater than the poset B if and only if: For every x, y: if x<=y in B-order then if x<=y in A-order. posets.DiamondPoset(5) is no different. > By the way, can anyone give me CPU power of a supercomputer for free? > > Try to make a paper together with someone in Finland... 1000 CPU hours is > automatically available here for any researcher in any university, more by > asking. I am an amateur researcher. It is hard for me to find a research partner. I may try to publish the result of this research in a peer reviewed journal, but it may be rejected with high probability. Anyway I am calculating this not to publish, but for writing an applied software. 1000 hours. It is 41.7 days. Or it is 5.2 days if I will manage to run it on all 8 threads of my 4-core CPU. I can well wait 5 days or even a month. However I saved money on an UPS, so in the case if electricity disconnects or something happens with my Linux I would need start anew. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
