|
genfunc[rgf_relate] - relate sequences with common factors in their generating functions
|
|
Calling Sequence
|
|
rgf_relate(Fz, z, Fn, n, Gz)
rgf_relate(Fz, z, Fn, n, Gy, y)
|
|
|
Parameters
|
|
|
Fz
|
-
|
rational generating function
|
|
z
|
-
|
name, generating function variable
|
|
Fn
|
-
|
expression for nth term of the sequence encoded by Fz
|
|
n
|
-
|
name, index variable for Fn
|
|
Gz, Gy
|
-
|
rational generating function
|
|
y
|
-
|
(optional) name, generating function variable for Gy
|
|
|
|
|
|
Description
|
|
|
•
|
This function relates sequences with common nonzero roots in the denominators of their generating functions. If the generating functions do not have common roots, FAIL is returned.
|
|
•
|
If the optional parameter y is used, it is the generating function variable for the fifth parameter. The generating function Gy must not involve the variable z in this case.
|
|
•
|
The nth term of the sequence encoded by Gz (Gy) is expressed as a function of Fn.
|
|
•
|
The value FAIL is returned if Fz is a trivial rational generating function.
|
|
•
|
The command with(genfunc,rgf_relate) allows the use of the abbreviated form of this command.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
>
|
|
|
| (6) |
|
>
|
|
|
| (7) |
|
|
Download Help Document
Was this information helpful?
