Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

The command is_orthonomic determines if the characteristic set defining J  is orthonomic.

Characterizable differential ideal are constructed by using the Rosenfeld_Groebner command.

A characteristic set is orthonomic when its initials and separants  belong to the ground field. It is the case if inequations(J) is empty.

Characterizable differential ideals given by orthonomic characteristic sets are prime differential ideal. The function Rosenfeld_Groebner recognizes and can take advantage of this fact.

If J is a radical differential ideal represented by a list of characterizable differential ideals, then the function is mapped on all its components.