ogposets
Implements oriented graded posets, their elements, subsets, and maps.
|
Class for oriented graded posets, that is, finite graded posets with an orientation, defined as a |
|
Class for (partial) maps of oriented graded posets, compatible with boundaries. |
|
Class for elements of an oriented graded poset. |
|
Class for sets of elements of an oriented graded poset, graded by their dimension. |
|
Class for graded subsets, that is, pairs of a |
|
Subclass of |
|
Class for pairs of maps of oriented graded posets. |