|
QDifferenceEquations[QEfficientRepresentation] - construct the four efficient representations of a q-hypergeometric term
|
|
Calling Sequence
|
|
QEfficientRepresentation[1](H, q, n)
QEfficientRepresentation[2](H, q, n)
QEfficientRepresentation[3](H, q, n)
QEfficientRepresentation[4](H, q, n)
|
|
|
Parameters
|
|
|
H
|
-
|
q-hypergeometric term in q^n
|
|
q
|
-
|
name used as the parameter q, usually q
|
|
n
|
-
|
variable
|
|
|
|
|
|
Description
|
|
|
1.
|
 has the minimal number of factors,
|
|
2.
|
 is a rational function which is minimal in one sense or another, depending on the particular q-rational canonical form chosen to represent the certificate of  .
|
|
•
|
If QEfficientRepresentation is called without an index, the first efficient representation is constructed.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
](/support/helpjp/helpview.aspx?si=8740/file02644/math158.png)
|
|
| (2) |
|
>
|
](/support/helpjp/helpview.aspx?si=8740/file02644/math165.png)
|
|
| (3) |
|
>
|
](/support/helpjp/helpview.aspx?si=8740/file02644/math172.png)
|
|
| (4) |
|
>
|
](/support/helpjp/helpview.aspx?si=8740/file02644/math179.png)
|
|
| (5) |
|
>
|
|
|
| (6) |
|
|
|
References
|
|
|
|
Abramov, S.A.; Le, H.Q.; and Petkovsek, M. "Efficient Representations of (q-)Hypergeometric Terms and the Assignment Problem." Submitted.
|
|
|
Abramov, S.A.; Le, H.Q.; and Petkovsek, M. "Rational Canonical Forms and Efficient Representations of Hypergeometric Terms." Proc. ISSAC'2003, pp. 7-14. 2003.
|
|
|
