TopologicalSort[g] gives a permutation of the vertices of the directed acyclic graph g such that an edge (i, j) implies that vertex i appears before vertex j.

TransitiveClosure[g] finds the transitive closure of graph g, the supergraph of g that contains edge {x, y} if and only if there is a path from x to y.

UnrankSetPartition[r, s, k] finds a k-block set partition of s with rank r. UnrankSetPartition[r, n, k] finds a k-block set partition of {1, 2, ..., n} with rank r.

UnrankSetPartition[r, set] finds a set partition of set with rank r. UnrankSetPartition[r, n] finds a set partition of {1, 2, ..., n} with rank r.

VertexNumberPosition is an option that can be used in ShowGraph to display a vertex number in a certain position relative to the vertex.

ConvexHullArea[{{x_1, y_1}, ..., {x_n, y_n}}] gives the area of the convex hull of the bivariate data.

Ray[{x_1, y_1}, {x_2, y_2}] is an object representing the infinite ray beginning at {x_1, y_1}in the direction of the point {x_2, y_2}.

ExponentRange is an option to SetArithmetic that specifies the range of exponents that are to be allowed.

RoundToEven is a setting for the option RoundingRule of SetArithmetic that specifies rounding to the nearest representable number and, in the case of a tie, rounding to the ...

RoundToInfinity is a setting for the option RoundingRule of SetArithmetic that specifies rounding to the nearest representable number and, in the case of a tie, rounding away ...