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

reduction = full, partial or algebraic. Indicates the type of reduction to be performed. Depending on the type of reduction, the differential polynomial $r$ satisfies the following properties:

algebraic. For each leading rank $v^d$ of regchain, or, of redset, $r$ has degree less than $d$ in $v$.

partial. For each leading derivative $v$ of regchain, or, of redset, no proper derivative of $v$ occurs in $r$.

full. For each leading rank $v^d$ of regchain, or, of redset, no proper derivative of $v$ occurs in $r$, and, moreover, $r$ has degree less than $d$ in $v$.

notation = jet, tjet, diff or Diff. Specifies the notation used for the result of the function call. If not specified, the notation of p is used.

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

The function call DifferentialPrem (p,regchain) returns a sequence $h,r$ such that $h$ is a power product of initials and separants of regchain, $r$ is a differential polynomial fully reduced (see below) with respect to regchain, and, $hp=r$ modulo the differential ideal generated by the regular differential chain.

The function call DifferentialPrem (p,redset,R,opts) returns a sequence $h,r$ such that $h$ is a power product of initials and separants of redset, $r$ is a differential polynomial fully reduced with respect to each element of redset, and, $hp=r$ modulo the differential ideal generated by redset. The elements of redset must depend on at least, one derivative and have integer coefficients. All the differential polynomials are regarded as elements of R, or, of its embedding ring, if R is an ideal.

A differential polynomial p belongs to the differential ideal defined by regchain if and only if, the function call DifferentialPrem (p,regchain) returns a sequence $h,0$ whose second component is zero.

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

$\mathrm{with}\left(\mathrm{DifferentialAlgebra}\right)\:$$\mathrm{with}\left(\mathrm{Tools}\right)\:$

$R≔\mathrm{DifferentialRing}\left(\mathrm{derivations}=\left[x\,y\right]\,\mathrm{blocks}=\left[\left[v\,u\right]\right]\right)$

$R≔\mathrm{differential\_ring}$

$\mathrm{syst}≔\left[{u\left[x\right]}^2-4u\,u\left[x,y\right]v\left[y\right]-u+1\,v\left[x,x\right]-u\left[x\right]\right]$

$\mathrm{syst}≔\left[u_x^2-4u\,u_{x,y}{v}_y-u+1\,v_{x,x}-u_x\right]$

$\mathrm{ideal}≔\mathrm{RosenfeldGroebner}\left(\mathrm{syst}\,R\right)\left[1\right]$

$\mathrm{ideal}≔\mathrm{regular\_differential\_chain}$

$p≔u\left[x,y\right]$

$p≔u_{x,y}$

$h,r≔\mathrm{DifferentialPrem}\left(p\,\mathrm{ideal}\right)$

$h,r≔2u_y,2u_x$

$h,r≔\mathrm{DifferentialPrem}\left(p\,\mathrm{syst}\,R\right)$

$h,r≔2u_x,4u_y$

$\mathrm{NormalForm}\left(\frac{r}{h}\,\mathrm{ideal}\right),\mathrm{NormalForm}\left(p\,\mathrm{ideal}\right)$

$\frac{u_x{u}_y}{2u},\frac{u_x{u}_y}{2u}$

$h,r≔\mathrm{DifferentialPrem}\left({u\left[x\right]}^3\,\mathrm{syst}\,R\,\mathrm{reduction}=\mathrm{partial}\right)$

$h,r≔1,u_x^3$

$h,r≔\mathrm{DifferentialPrem}\left(u\left[x,y\right]+{u\left[x\right]}^3\,\mathrm{syst}\,\mathrm{reduction}=\mathrm{algebraic}\,R\right)$

$h,r≔v_y,4u{u}_x{v}_y+u-1$