Poset -- a class for partially ordered sets (posets)
Description
This class is a type of HashTable which represents finite posets. It consists of a ground set, a list of relationships {a,b} where a ≤b, and a matrix encoding these relations.
i1 : G = {1,2,3,4}; -- the ground set
i2 : R = {{1,2},{1,3},{2,4},{3,4}}; -- a list of cover relations
i3 : P = poset(G, R) -- the poset with its relations matrix computed
o3 = P
o3 : Poset