 |
COMBINATORICA PACKAGE SYMBOL
PartialOrderQ
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
- To use
, you first need to load the Combinatorica Package using Needs["Combinatorica`"].
