Posets -- a package for working with partially ordered sets
Description
This package defines Poset as a new data type and provides routines which use or produce posets. A poset (partially ordered set) is a set together with a binary relation satisfying reflexivity, antisymmetry, and transitivity.
A few methods in this package have been ported from John Stembridge’s Maple package implementing posets, which is available at http://www.math.lsa.umich.edu/~jrs/maple.html#posets. Such methods are noted both in the source code and in the documentation.