QDifferenceEquations
QDispersion
return the q-dispersion of two polynomials (or all the set of non-negative integers used in its definition)
Calling Sequence
Parameters
Description
Examples
References
QDispersion(s, t, q, x, 'maximal')
s
-
first polynomial
t
second polynomial
q
name or number used as the parameter q, usually q
x
independent variable, for example, x
'maximal'
(optional) indicates the q-dispersion itself must be returned rather than all the set of non-negative integers used in its definition
If two polynomials s⁡x and t⁡x, with both s⁡0 and t⁡0 nonzero, are given, the QDispersion(s,t,q,x,'maximal') calling sequence returns their q-dispersion, that is, qdis⁡s⁡x,t⁡x=max{r⁢|⁢r⁢in⁢Z,r>=0,deg⁡gcd⁡sqr⁢x,t⁡x>=1} if the option 'maximal' is specified. Otherwise, the QDispersion(s,t,q,x) calling sequence returns the set of all non-negative integers r used in the definition of the q-dispersion.
If s⁡x and t⁡x are as above and k,l are non-negative integers, then QDispersion(x^k*s,x^l*t,q,x) returns the same result as QDispersion(s,t,q,x), and similarly if the option 'maximal' is specified.
The efficient algorithm for computing the dispersion of two polynomials dis⁡s⁡x,t⁡x=max{⁢r|r⁢in⁢Z,r>=0,deg⁡gcd⁡s⁡x+r,t⁡x>=1} is the algorithm by Yiu-Kwong Man and F.J.Wright. This algorithm is based on the factorization of the polynomials involved rather than on the resultant calculation as it was in earlier implementations. This algorithm is adapted for computing the q-dispersion of two polynomials.
with⁡QDifferenceEquations:
p1≔x2+3⁢x+q2;p2≔q⁢x+1⁢q100+q5⁢x2+3⁢q20⁢x+1
p1≔x2+3⁢x+q2
p2≔q⁢x+1⁢q100+q5⁢x2+3⁢q20⁢x+1
QDispersion⁡p1,p2,q,x
2,21
QDispersion⁡p1,p2,q,x,maximal
21
q≔10;QDispersion⁡p1,p2,q,x
q≔10
Khmelnov, D.E. "Improved Algorithms for Solving Difference and q-Difference Equations." Programming and Computer Software. Vol. 26 No. 2. (2000): 107-115. Translated from Programmirovanie. No. 2.
Man, Yiu-Kwong, and Wright, Francis J. "Fast Polynomial Dispersion Computation and its Application to Indefinite Summation." Proceedings of ISSAC'94, pp. 175-180. ACM Press: New York, 1994.
See Also
QDifferenceEquations[RationalSolution]
QDifferenceEquations[UniversalDenominator]
Download Help Document