DifferentialAlgebra[Tools] - 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

Parameters

Options

Description

Examples

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

Options

• 

The opts arguments may contain one or more of the options below.

• 

notation = jet, tjet, diff or Diff. Specifies the notation used for the result of the function call. If not specified, the notation of the input rational differential fraction q is used.

• 

memout = nonnegative. Specifies a memory limit, in MB, for the computation. Default is zero (no memory out).

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:

RDifferentialRingderivations=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)

nf1duy,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