simplify an expression involving a rational generating function sequence - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Rational Expressions : Rational Generating Functions : genfunc/rgf_simp

genfunc[rgf_simp] - simplify an expression involving a rational generating function sequence

Calling Sequence

rgf_simp(expr, Fz, z, F, n, options)

Parameters

expr

-

expression to simplify

Fz

-

rational generating function

z

-

name, generating function variable

F

-

name of function encoded by Fz

n

-

name, index variable of F

options

-

optional arguments

Description

• 

This function simplifies occurrences of sequence F in expr. If F is defined by an order k recurrence then all occurrences of F whose index differs from n by an integer amount are simplified to expressions involving Fn,...,Fnk+1.

• 

The function name argument F can have a parameter of the form an+b, where a is a positive integer and b is an integer.  This pattern represents the index of the nth term in the sequence.  Simplification will be done relative to the nth occurrence of this pattern. If the pattern is invalid or does not match any sequence occurrence in the expression, the unmodified expression is returned. The defaults are a=1 and b=0.

• 

The simplified expression is expanded and the coefficients of Fan+b,...,Fank+1+b are collected.

• 

A procedure may be passed as an optional argument and is applied to each coefficient of the collected result.

• 

An expression may be passed as an optional argument. Occurrences of F are matched against the pattern to determine a value for n. If this value for n differs from the optional argument by an integer amount, the term is simplified relative to the expression.

• 

The command with(genfunc,rgf_simp) allows the use of the abbreviated form of this command.

Examples

withgenfunc:

Fz:=z1zz2:

ex:=n2Fn+1+n2+1Fn+n22nFn1+n+32Fn2

ex:=n2Fn+1+n2+1Fn+n22nFn1+n+32Fn2

(1)

rgf_simpex,Fz,z,F,n

3n2+6n+10Fn+n28n9Fn1

(2)

rgf_simpex,Fz,z,F,n,n1

3n2+6n+10Fn2+4n22n+1Fn1

(3)

rgf_simpex,Fz,z,F,n,n+1

n28n9Fn+1+2n2+14n+19Fn

(4)

rgf_simpex,Fz,z,F,n,n+1,factor

n+1n9Fn+1+2n2+14n+19Fn

(5)

Fz:=1z+z214zz2:

rgf_simpF3n2+F3n11,Fz,z,F3n2,n

3F3n2+17F3n5

(6)

rgf_simp,Fz,z,F3n2,n,n+1

71F3n2+17F3n+1

(7)

rgf_simpF3km11,Fz,z,F3n2,n,km

17F3km54F3km2

(8)

See Also

collect, genfunc


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam