chain -- generates the chain poset on $n$ elements

• Usage:

  C = chain n

• Inputs:
  • n, an integer, the length of the chain
• Outputs:
  • C, an instance of the type Poset,

i1 : n = 5;

i2 : C = chain n

o2 = C

o2 : Poset

i3 : C == poset(toList(1..n), (a,b) -> a <= b)

o3 = true

i4 : C == divisorPoset(2^(n-1))

o4 = true