height(Poset) -- computes the height of a poset

Synopsis

• Function: height

• Usage:

  h = height P

• Inputs:
  • P, an instance of the type Poset,
• Outputs:
  • h, an integer, the height of $P$

Description

i1 : n = 5;

i2 : height chain n

o2 = 4

See also

• chains -- computes all chains of a poset
• maximalChains -- computes all maximal chains of a poset