Exponential generating function of a univariate sequence:

Exponential generating function of a multivariate sequence:

Compute a typical exponential generating function:

Plot the magnitude using Plot3D, ContourPlot or DensityPlot:

Plot the complex phase:

Generate conditions for the region of convergence:

Plot the region for :

Evaluate the exponential generating function at a point:

Plot the spectrum:

The phase:

Plot both the spectrum and the plot phase using color:

Plot the spectrum in the complex plane using ParametricPlot3D:

ExponentialGeneratingFunction will use several properties including linearity:

Multiplication by exponentials:

Multiplication by polynomials:

Conjugate:

ExponentialGeneratingFunction automatically threads over lists:

Equations:

Rules:

Discrete unit steps:

Discrete ramps:

Polynomials:

Factorial polynomials:

Exponential functions:

Exponential polynomials:

Factorial exponential polynomials:

Trigonometric functions:

Trigonometric, exponential and polynomial:

Combinations of the previous input:

Different ways of expressing piecewise-defined signals:

Rational functions:

Rational exponential functions:

Hypergeometric term sequences:

The DiscreteRatio is rational for all hypergeometric term sequences:

Many functions give hypergeometric terms:

Any products are hypergeometric terms:

Transforms of hypergeometric terms:

Holonomic sequences:

A holonomic sequence is defined by a linear difference equation:

Many special function are holonomic sequences in their index:

DifferenceRoot in general results in DifferentialRoot functions:

Special sequences:

Periodic sequences:

Multivariate exponential generating functions:

By default, no conditions are given for where a generating function is convergent:

Use GenerateConditions to generate conditions of validity:

Different methods may produce different formulas:

Setting VerifyConvergence to False will treat generating functions as formal objects:

Setting VerifyConvergence to True will verify that the radius of convergence is nonzero:

In addition, setting GenerateConditions to True will display the conditions for convergence: