"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." . . . .