QPolynomialNormalForm - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


QDifferenceEquations

  

QPolynomialNormalForm

  

construct the q-polynomial normal form of a rational function

 

Calling Sequence

Parameters

Description

Examples

References

Calling Sequence

QPolynomialNormalForm(F, q, n)

Parameters

F

-

rational function of n

q

-

name used as the parameter q, usually q

n

-

variable

Description

• 

Let F be a rational function of n over a field K of characteristic 0, q is a nonzero element of K which is not a root of unity. The QPolynomialNormalForm(F,q,n) command constructs the q-polynomial normal form for F.

• 

The output is a sequence of 4 elements  where z is an element of K, and  are monic polynomials over K such that:     

  

Note: Q is the automorphism of K(n) defined by {Q(F(n)) = F(q*n)}.

Examples

(1)

(2)

Check the results.

Condition 1 is satisfied.

(3)

Condition 2 is satisfied.

(4)

Condition 3 is satisfied.

(5)

Condition 4 is satisfied.

(6)

References

  

Abramov, S.A., and Petkovsek, M. "Finding all q-hypergeometric solutions of q-difference equations." Proc. FPSAC '95, Univ.de Marne-la-Vall'ee, Noisy-le-Grand, pp. 1-10. 1995.

  

Koornwinder, T.H. "On Zeilberger's algorithm and its q-analogue: a rigorous description." J. Comput. Appl. Math. Vol. 48. (1993): 91-111.

See Also

QDifferenceEquations[QDispersion]

QDifferenceEquations[QRationalCanonicalForm]

 


Download Help Document