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

The function call Is(keyword, ring_or_ideal) returns true or false to a number of queries regarding the differential ring or ideal represented by ring_or_ideal. In the case of three arguments, the call Is(keyword, other, ring_or_ideal) returns true or false regarding other, having the differential ring or ideal ring_or_ideal as a framework.

The keywords implemented can be seen directly in the Maple worksheet/document by calling Is with no arguments, as in

DifferentialAlgebra:-Is();

$\mathrm{arbitrary},\mathrm{autoreduced},\mathrm{coherent},\mathrm{dependentvariable},\mathrm{derivative},\mathrm{differential},\mathrm{differentialring},\mathrm{ideal},\mathrm{independentvariable},\mathrm{normalized},\mathrm{orthonomic},\mathrm{prime},\mathrm{primitive},\mathrm{reduced},\mathrm{regulardifferentialchain},\mathrm{squarefree}$

When the keyword is misspelled or just a portion of it is passed, a match is performed against the existing keywords, and when there is only one match, a warning message is displayed on the screen and the computation proceeds taking that match as the desired keyword; otherwise the possible multiple matches are presented in an error message.

The last argument is always a differential ring constructed by DifferentialRing or an ideal constructed by RosenfeldGroebner or Tools[PretendRegularDifferentialChain].

Because differential rings used to compute differential ideals are embedded in the differential ideals, in all the cases where a differential ring is expected it is possible to pass a differential ideal instead and the embedded differential ring will be used.

Keywords

NOTE: for all the keywords below, when a differential ring is expected as last argument, it is also possible to pass a differential ideal, in which case the embedded differential ring will be used.

arbitrary, dependentvariable and independentvariable: Returns true if other is a variable of the corresponding type in the differential ring passed.

autoreduced, coherent, differential, normalized, prime, primitive, squarefree: these all are possible attributes of a differential ideal, so Is returns true when the ideal passed has the corresponding attribute indicated as the first argument keyword. When the ideal is a list of differential chains, Is returns true only if all the differential chains (each one viewed as a single ideal) has the queried property.

derivative: returns true if other is the derivative of a dependent variable of the differential ring passed.

differentialring, ideal and regulardifferentialchain: correspondingly returns true if ring_or_ideal is a differential ring, a differential ideal or a regular differential chain.

orthonomic: returns true if the ideal is orthonomic in the generalized sense; that is, a prime ideal where all the differential chains have degree 1 in their leading derivatives. By passing the option definition = strict, an ideal is considered orthonomic if in addition the initials of its elements belong to the base field of the equations.

reduced: returns true if a differential polynomial or a list of them, is fully reduced with respect to each element another list of differential polynomials whose elements must depend on at least one derivative and have integer coefficients. All the differential polynomials involved are regarded as elements of the differential ring. The reduction is respectively full, partial or algebraic when $p$, the differential polynomial, satisfies the following:

algebraic: for each leading rank, $v^d$ of the differential chain, $p$ has degree less than $d$ in $v$.

partial: for each leading derivative, $v$ of the differential chain no proper derivative of v occurs in $p$.

full: for each leading rank, $v^d$ of the differential chain no proper derivative of $v$ occurs in $p$, and, moreover, $p$ has degree less than $d$ in $v$.

By optionally passing reduction = ... where the left-hand-side is any of these three keywords, the corresponding test is performed.

In addition, Is handles boolean queries involving any of the operators and, or, xor, satisfies and not, as well as the corresponding boolean functions And, Or, Xor, Satisfies and Not, for example is in Is(normalized and orthonomic, ideal).

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

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

$R≔\mathrm{differential\_ring}$

$\mathrm{Is}\left(\mathrm{arbitrary}\,q\,R\right)$

$\mathrm{false}$

$\mathrm{Is}\left(\mathrm{arb}\,p\,R\right)$

$\mathrm{*\; Partial\; match\; of\; \text{'}arb\text{'}\; against\; keyword\; \text{'}arbitrary\text{'}}$

$\mathrm{true}$

$\mathrm{Is}\left(\mathrm{dependentvariable}\,q\,R\right)$

$\mathrm{true}$

$\mathrm{Is}\left(\mathrm{dependentvariable}\,p\,R\right)$

$\mathrm{true}$

$\mathrm{Is}\left(\mathrm{independentvariable}\,p\,R\right)$

$\mathrm{false}$

$\mathrm{Is}\left(\mathrm{ind}\,x\,R\right)$

$\mathrm{*\; Partial\; match\; of\; \text{'}ind\text{'}\; against\; keyword\; \text{'}independentvariable\text{'}}$

$\mathrm{true}$

$\mathrm{Is}\left(\mathrm{derivative}\,\mathrm{diff}\left(p\left(x\right)\,x\right)\,R\right)$

$\mathrm{true}$

$\mathrm{Is}\left(\mathrm{derivative}\,\mathrm{Diff}\left(q\,x\right)\,R\right)$

$\mathrm{true}$

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

$R≔\mathrm{differential\_ring}$

$\mathrm{ideal}≔\mathrm{RosenfeldGroebner}\left(\left[{u\left[x\right]}^2-4u\right]\,R\right)$

$\mathrm{ideal}≔\left[\mathrm{regular\_differential\_chain}\,\mathrm{regular\_differential\_chain}\right]$

$\mathrm{Is}\left(\mathrm{prime}\,\mathrm{ideal}\right)$

$\mathrm{false}$

$\mathrm{map2}\left(\mathrm{Is}\,\mathrm{prime}\,\mathrm{ideal}\right)$

$\left[\mathrm{false}\,\mathrm{true}\right]$

$\mathrm{Is}\left(\mathrm{normalized}\,\mathrm{ideal}\left[1\right]\right)$

$\mathrm{true}$

$\mathrm{Is}\left(\mathrm{normalized}\mathbf{or}\mathrm{prime}\,\mathrm{ideal}\left[1\right]\right)$

$\mathrm{true}$

$\mathrm{Is}\left(\mathrm{normalized}\mathbf{and}\mathrm{prime}\,\mathrm{ideal}\left[1\right]\right)$

$\mathrm{false}$

$\mathrm{Is}\left(\mathrm{normalized}\mathbf{and}\mathrm{orthonomic}\,\mathrm{ideal}\left[2\right]\right)$

$\mathrm{true}$

$\mathrm{dp}≔\left[u\left[x,x\right]\,{u\left[x\right]}^3\,u\left[x\right]\right]$

$\mathrm{dp}≔\left[u_{x,x}\,u_x^3\,u_x\right]$

$\mathrm{Is}\left(\mathrm{reduced}\,\mathrm{dp}\,\mathrm{ideal}\right)$

$\mathrm{false}$

$\mathrm{map2}\left(\mathrm{Is}\,\mathrm{reduced}\,\mathrm{dp}\,\mathrm{reduction}=\mathrm{partial}\,\mathrm{ideal}\right)$

$\left[\mathrm{false}\,\mathrm{false}\,\mathrm{false}\right]$

$\mathrm{map2}\left(\mathrm{Is}\,\mathrm{reduced}\,\mathrm{dp}\,\mathrm{reduction}=\mathrm{algebraic}\,\mathrm{ideal}\right)$

$\left[\mathrm{true}\,\mathrm{false}\,\mathrm{true}\right]$

$\mathrm{map2}\left(\mathrm{Is}\,\mathrm{reduced}\,\mathrm{dp}\,\left[u\left[x,x\right]\,{u\left[x\right]}^2-4u\right]\,R\right)$

$\left[\mathrm{false}\,\mathrm{false}\,\mathrm{true}\right]$

$\mathrm{map2}\left(\mathrm{Is}\,\mathrm{reduced}\,\mathrm{dp}\,\left[u\left[x,x\right]\,{u\left[x\right]}^2-4u\right]\,R\,\mathrm{reduction}=\mathrm{algebraic}\right)$

$\left[\mathrm{false}\,\mathrm{false}\,\mathrm{true}\right]$