This shows you the differences between two versions of the page.
— |
liouvilliansolution [2013/02/02 11:19] (current) denis created |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== LiouvillianSolution procedure ====== | ||
+ | |||
+ | The procedure finds the Liouvillian solution of the given linear (q-)recurrence with the rational function coefficients using the algorithm by Hendriks & Singer. | ||
+ | The Liouvilian solution is a generalization of the (q-)hypergeometric solution. Let **H** is the set of all (q-)hypergeometric sequences and **L** is the smallest subring of the ring **S** of all sequences which contains **H | ||
+ | ** and is closed under (q-)shifts, summation and interlacing. The elements of **L** are called Liouvillian sequences and a recurrence has a Liouvillian solution if it has a nonzero solution in **L**. | ||
+ | |||
+ | {{:liouvilliansolution.mm|LiouvillianSolution.mm}}- the Maple code of the procedure (implemented by D.E.Khmelnov and A.A.Ryabenko). | ||
+ | |||
+ | {{:liouvilliansolution.mw|LiouvillianSolution.mw}} - the Maple session file help page and examples of using the procedure. | ||
+ | |||
+ | {{:liouvilliansolution.pdf|LiouvillianSolution.pdf}} - PDF version of the Maple session file help page and examples of using the procedure. | ||