compute a reduced form of a differential polynomial modulo a radical differential ideal
reduced_form (poly, R)
differential ring or radical differential ideal
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 u⁡x,y and u⁡y,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.
Illustration of reduced form with respect to a differential ring:
F ≔ field_extension⁡relations=a2−b:
R ≔ differential_ring⁡field_of_constants=F,derivations=x,y,ranking=u:
p ≔ a2−b⁢ux+a3⁢ux,y−1⁢uy,xy:
R ≔ differential_ring⁡notation=diff,derivations=x,y,z,ranking=u,v,w:
p ≔ u⁡x,y,z+u⁡y,x,z+∂2∂x⁢∂z⁢v⁡z,y,x2:
Illustration of reduced form modulo a radical differential ideal:
R ≔ differential_ring⁡derivations=x,y,ranking=u,v:
p1 ≔ v⁢ux,x−ux:
p2 ≔ ux,y:
p3 ≔ uy,y2−1:
P ≔ Rosenfeld_Groebner⁡p1,p2,p3,R
Download Help Document