next | previous | forward | backward | up | top | index | toc | packages | Macaulay2 website
Posets :: Poset

Poset -- a class for partially ordered sets (posets)


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 \leq 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

See also

Functions and methods returning an object of class Poset :

Methods that use an object of class Poset :

For the programmer

The object Poset is a type, with ancestor classes HashTable < Thing.