decides membership in differential ideals
BelongsTo(p, ideal, opts)
BelongsTo(L, ideal, opts)
a differential polynomial
a list or a set of differential polynomials
a differential ideal
a sequence of options
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](...).
R ≔ DifferentialRing⁡derivations=t,blocks=u
Every differential polynomial belongs to the unit differential ideal
ideal ≔ RosenfeldGroebner⁡ut2−4⁢u,R
The two first differential polynomials do not belong to ideal but their product does.
Download Help Document