関数の呼び出し BelongsTo(p,ideal) は、微分多項式 p が ideal で示される微分イデアルに帰属する場合 true を返します。それ以外の場合には false を返します。 

ideal が regular differential chain のリストの場合、この関数は、p がリストのすべての要素に帰属する場合に限り true を返します。最初の引数 L が微分多項式のリストまたは集合の場合、呼び出し BelongsTo(L, ideal) は true / false のリストまたは集合を返します。

このコマンドは  DifferentialAlgebra パッケージの一部です。with(DifferentialAlgebra) コマンドの実行後に BelongsTo(...) を使用して呼び出すことができます。また、DifferentialAlgebra[BelongsTo](...) を使用して直接呼び出すことも可能です。

with(DifferentialAlgebra):

R := DifferentialRing(derivations = [t], blocks = [u]);

BelongsTo(u[t], []);

ideal := RosenfeldGroebner([u[t]^2-4*u], R);

BelongsTo([u[t], u[t,t]-2, u[t]*(u[t,t] - 2)], ideal);