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

• Function: height

• Usage:

  h = height P

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

i1 : n = 5;

i2 : height chain n

o2 = 4