getFVector -- Returns the f-vector {f_{-1},f_0,...,f_{d-1}} of the given poset.

• Usage:

  L = getFVector(P)

• Inputs:
  • P, an instance of the type Poset, A poset.
• Outputs:
  • L, a list, The f-vector {f_-1,f_0,...,f_{d-1}} of the poset P.

i1 : P = fromFVector({1,6,5,1});

i2 : L = getFVector(P)

o2 = {1, 6, 5, 1}

o2 : List