Ask Your Question

Posets O(P) Algorithm, how to?

asked 2013-10-01 16:55:26 +0200

Shariff gravatar image

updated 2015-01-13 21:20:21 +0200

FrédéricC gravatar image


I an new here :). I am doing some work with Posets, and I want to create O(P) given a Poset P. The idea is to give a graphic representation. I want to use sage for this (it has the functions for it). But, The graphical representation is bad (It does not show the elements of the poset, just a number, it represents the structure though).

We (we are a team) implemented something in php (to have it online). Now we want to implement O(P) (We have how to construct P) so that we can see in each node the corresponding element. Can anyone tell me how to do this? or where I can find an algorithm or the source code in sage? What I want is (in sage):

P = Poset((divisors(12), attrcall("divides")), facade=True)
A = P.directed_subsets('up')
L = sorted(list(A))
PP = Poset(([Set(s) for s in L], attrcall("issubset")))

(If there is a way to see the elements with PP._hasse_diagram.plot() will be appreciated.)

Where I can find the source code or (better I think) an algorithm to create O(P) in an efficient way? For example, how to calculate the antichains (if this helps) to create each element (each down-set) of O(P) and then how to create O(P)?

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2013-10-02 05:14:15 +0200

Nathann gravatar image

updated 2013-10-02 05:14:29 +0200

What could possibly be wrong with the following ?
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2013-10-01 16:55:26 +0200

Seen: 313 times

Last updated: Oct 02 '13