Expansion of polynomials

From tehowiki
Revision as of 19:34, 25 April 2025 by Gfis (talk | contribs) (postfix operations)
Jump to navigation Jump to search
  • A295237 a:=series(csc(x)*(1-sqrt(1-4*sin(x)))/2, x=0, 20): seq(n!*coeff(a, x, n), n=0..19); # E.g.f.
  • A345969 Expansion of the e.g.f. 1 / sqrt(3 - 2 / ((1 - x)*exp(x))). Maple: a := series(1/sqrt(3-2/((1-x)*exp(x))), x=0, 25): seq(n!*coeff(a, x, n), n=0..24); jOEIS: new PolynomialFieldSequence(0, "[[1],[1,-1]]" ",1,3,2,p1,x,exp,*,/,-,sqrt,/", 0, 1)

Parameters

The expansion of (exponential) generating functions is performed by PolynomialFieldSequence with a constructor that has up to 5 parameters:

  • offset: first index
  • polys: a list of list of integers in square brackets, specifying the coefficients of a list of polynomials. The polynomials are referenced by p0, p1, p2, ... where p0 gives the initial term of the iteration. For example, 1-x = 1*x^0 -1*x^1 -> [1,-1].
  • postfix: a string starting with a delimiter, followed by a list of elements that are separated by this delimiter
  • dist: an optional increment to the current index
  • gfType: 0 for an o.g.f., 1 for an e.g.f., +4 if the denominator should be returned instead of the numerator (default 0 = o.g.f)
  • modulus, factor: which element to take when zeros are suppressed (default 1), and periodicity when zeroes are suppressed (default 1). Even coefficients are selected by (0,2), odd coefficients by (1,2).

Postfix notation

The operations of the postfix string are performed in their sequential order. They operate on a stack, and the final result is the lowest stack element.

Special operators

  • A push the generating function to be defined
  • x push the free variable
  • 0, 1, 2, ... push an integer
  • pi push the predefined polynomial with index i (cf. polys above)
  • <i shift the top stack element by i, i.e. multiply by xi
  • ^i take the top stack element to the i-th power
  • dif differentiate the top stack element
  • int formal integration of the top stack element
  • sub substitute, call the g.f. A with the top stack element

Arithmetic operators, functions with 2 arguments

Replace the 2 top stack elements a, b by a op b, where op is one of:

  • + - * /
  • agm

Functions with 1 argument

Replace the top stack element

  • abs acosh asin asinh atan atanh cos cosh cot coth csc csch eta exp lambertW log neg sec sech sin sinh sqrt tan tanh
  • catalan(x) = (1 - sqrt(1 - 4*x)) / (2*x)