ogposets

Implements oriented graded posets, their elements, subsets, and maps.

rewalt.ogposets.OgPoset(face_data, ...)

Class for oriented graded posets, that is, finite graded posets with an orientation, defined as a {'-', '+'}-labelling of the edges of their Hasse diagram.

rewalt.ogposets.OgMap(source, target[, mapping])

Class for (partial) maps of oriented graded posets, compatible with boundaries.

rewalt.ogposets.El(dim, pos)

Class for elements of an oriented graded poset.

rewalt.ogposets.GrSet(*elements)

Class for sets of elements of an oriented graded poset, graded by their dimension.

rewalt.ogposets.GrSubset(support, ambient, ...)

Class for graded subsets, that is, pairs of a GrSet and an "ambient" OgPoset, where the first is seen as a subset of the second.

rewalt.ogposets.Closed(support, ambient, ...)

Subclass of GrSubset for (downwards) closed subsets.

rewalt.ogposets.OgMapPair(fst, snd)

Class for pairs of maps of oriented graded posets.