Math.Combinatorics.Species.CycleIndex

An instance of Species for cycle index series. For details on cycle index series, see "Combinatorial Species and Tree-Like Structures", chapter 1.

Documentation

zToEGF :: CycleIndex -> EGF

Convert a cycle index series to an exponential generating function: F(x) = Z_F(x,0,0,0,...).

zToGF :: CycleIndex -> GF

Convert a cycle index series to an ordinary generating function: F~(x) = Z_F(x,x^2,x^3,...).