Symbol Index
- adjacencyMatrix -- returns adjacency matrix of a directed graph
- allPairsShortestPath -- computes lengths of shortest paths between all pairs in a directed graph
- compare -- returns boolean value for whether an element is less than another
- DirectedEdges -- the set of directed edges of a directed graph
- DirectedGraph -- a class for directed graphs
- directedGraph -- creating a directed graph
- filter -- returns a principal filter generated by the given element
- GroundSet -- underlying set of a poset
- isLattice -- determines if a poset is a lattice
- joinExists -- determines if the join exists
- lcmLattice -- returns the LCM lattice of an ideal
- meetExists -- determines if the meet exists
- orderIdeal -- returns a principal order ideal generated by the given element
- Poset -- a class for partially ordered sets (posets)
- poset -- creating a poset
- posetJoin -- returns the join of two elements
- posetMeet -- returns the meet of two elements
- Posets -- A package for working with posets.
- RelationMatrix -- the matrix expressing all of the relations between elements in a Poset
- Relations -- a set of relations in the poset that generates all other relations
- transitiveClosure -- computes the transitive closure of a given set of relations.
- Vertices -- the set of vertices a directed graph