test if a characterizable differential ideal is presented by an orthonomic system of equations
characterizable differential ideal
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.
R ≔ differential_ring⁡derivations=t,ranking=u:
J ≔ Rosenfeld_Groebner⁡ut2−4⁢u,R
Download Help Document