extracts the coefficients of a rational differential fraction - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : Differential Algebra : Tools : DifferentialAlgebra/Tools/Coeffs

DifferentialAlgebra[Tools][Coeffs] - extracts the coefficients of a rational differential fraction

Calling Sequence

Coeffs(q,v,R,opts)

Parameters

q

-

a rational differential fraction

v

-

a variable

R

-

a differential polynomial ring or ideal

opts (optional)

-

a sequence of options

Description

• 

The function call Coeffs(q,v,R) decomposes q as a sum of coefficients multiplied by monomials. The subexpressions of q which only involve derivatives greater than or equal to v appear among the monomials. The ones which only involve derivatives lower than v appear among the coefficients. The variable v is regarded as a derivative of R, or a derivative of its embedding polynomial ring, if R is an ideal.

• 

The denominator of q appears either in each coefficient, if all the derivatives it depends on are lower than v, or, in each monomial, if all the derivatives it depends on, are greater than or equal to v. The function does not apply if the denominator of q involves derivatives lower than v and derivatives greater than or equal to v.

• 

The function call Coeffs(q,v,R) returns a sequence of two lists. The first list is the list of coefficients. The second one is the list of monomials (in the same order). Monomials are sorted by decreasing rank of their numerators.

• 

This command is part of the DifferentialAlgebra:-Tools package. It can be called using the form Coeffs(...) after executing the command with(DifferentialAlgebra:-Tools). It can also be directly called using the form DifferentialAlgebra[Tools][Coeffs](...).

Examples

withDifferentialAlgebra:withTools:

R:=DifferentialRingderivations=x,y,blocks=dv,du,v,u

R:=differential_ring

(1)

The denominator only depends on derivatives greater than or equal to u. Thus it appears among the monomials.

Tools:-Coeffs1uxuyuuxuy4u,u,R

14,14,uxuy,uxuyu

(2)

All the derivatives are less than ux,x 

Tools:-Coeffs1uxuyuuxuy4u,ux,x,R

14uuxuyuxuyu,1

(3)

nf:=1duy,yuxu2duy,yuxuduyuxuyu+duyuxuyduux4u2

nf:=14u2duy,yuxuduyuxuyuduy,yux+duyuxuyduuxu2

(4)

A differential of the differential rational fraction is considered. Its coefficients are extracted.

Tools:-Coeffsnf,du,R

14uuxuxu,14uuxuy+uxuyu2,14uxu2,duy,y,duy,du

(5)

See Also

DifferentialAlgebra, DifferentialRing


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