diffalg(deprecated)/reduced_form - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : diffalg(deprecated)/reduced_form

diffalg

  

reduced_form

  

compute a reduced form of a differential polynomial modulo a radical differential ideal

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

reduced_form (poly, R)

Parameters

p

-

differential polynomial

R

-

differential ring or radical differential ideal

Description

• 

Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

• 

The function reduced_form returns a reduced form of p when R is a differential ring. When R is a radical differential ideal, it  returns a reduced form of p modulo R.

• 

All the algorithms which return differential polynomials return them under reduced form, though  this is not a normal form of this polynomial.

• 

The reduced form of p is a polynomial r equivalent to p such that

  

- All the monomials of r have non zero coefficients.

  

- If the coefficients of p do not involve fractions, then the coefficients of r also do not.

• 

Some extra simplifications may also happen, since the notation of the derivatives that appear in reduced forms is normalized.

  

When using the jet notation, different names may represent the same derivative (for example, ux,y and uy,x). The order of the derivations in the reduced form is given by the list of the derivations.

  

When using the  diff notation, functions such as ux,y and uy,x are translated to the same differential indeterminate u. The order of the variables in the reduced form is given by the list of the derivations.

• 

When  R is a differential ideal, a reduced form of p is a polynomial r equivalent to p modulo R. It satisfies r=0 if and only if p belongs to R.

• 

The command with(diffalg,reduced_form) allows the use of the abbreviated form of this command.

Examples

Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

withdiffalg:

Illustration of reduced form with respect to a differential ring:

Ffield_extensionrelations=a2b:

Rdifferential_ringfield_of_constants=F,derivations=x,y,ranking=u:

pa2bux+a3ux,y1uy,xy:

reduced_formp,R

abyux,yux,yy

(1)

Rdifferential_ringnotation=diff,derivations=x,y,z,ranking=u,v,w:

pux,y,z+uy,x,z+2xzvz,y,x2:

reduced_formp,R

2zxvx,y,z2+2ux,y,z

(2)

Illustration of reduced form modulo a radical differential ideal:

withdiffalg:

Rdifferential_ringderivations=x,y,ranking=u,v:

p1v[]ux,xux:

p2ux,y:

p3uy,y21:

PRosenfeld_Groebnerp1,p2,p3,R

P:=characterizable,characterizable

(3)

reduced_formux,x,x,P

ux,x,x

(4)

reduced_formux,x,xvy,P

0

(5)

reduced_formux,y+uy,x,R

2ux,y

(6)

See Also

diffalg(deprecated)

diffalg(deprecated)/belongs_to

diffalg(deprecated)/differential_algebra

diffalg(deprecated)/differential_ring

diffalg(deprecated)/field_extension

diffalg(deprecated)/Rosenfeld_Groebner

DifferentialAlgebra[ReducedForm]

 


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