Combinatorica`

PartialOrderQ

As of Version 10, most of the functionality of the Combinatorica package is built into the Wolfram System. »

PartialOrderQ[g]

yields True if the binary relation defined by edges of the graph is a partial order, meaning it is transitive, reflexive and antisymmetric.

PartialOrderQ[r]

yields True if the binary relation defined by the square matrix is a partial order.

Details and Options

To use PartialOrderQ, you first need to load the Combinatorica Package using Needs["Combinatorica`"].

Top