The function call BelongsTo(p,ideal) returns true if the differential polynomial p belongs to the differential ideal represented by ideal, else it returns false.

If ideal is a list of regular differential chains, the function returns true if and only if p belongs to all the elements of the list. If the first argument, L, is a list or a set off differential polynomials, the call BelongsTo(L, ideal) returns a list or a set of true / false.

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

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

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

$R≔\mathrm{differential\_ring}$

$\mathrm{BelongsTo}\left(u\left[t\right]\,\left[\right]\right)$

$\mathrm{true}$

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

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

$\mathrm{BelongsTo}\left(\left[u\left[t\right]\,u\left[t,t\right]-2\,u\left[t\right]\left(u\left[t,t\right]-2\right)\right]\,\mathrm{ideal}\right)$

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