diffalg[equations]  return the defining characteristic set of a characterizable differential ideal
diffalg[inequations]  return the initials and separants of the defining characteristic set of a characterizable differential ideal
diffalg[rewrite_rules]  display the equations of a characterizable differential ideal using a special syntax

Calling Sequence


equations (J)
inequations (J)
rewrite_rules (J)


Parameters


J



characterizable differential ideal or a radical differential ideal





Description


•

Characterizable and radical differential ideals are constructed by using the Rosenfeld_Groebner command. They are represented respectively by tables and list of tables.


The differential polynomials forming this characteristic set are accessed by equations. They are sorted by decreasing rank.

•

The inequations of a characterizable differential ideal consist of the factors of the initials and separants of the elements of its characteristic set.

•

The function rewrite_rules displays the equations of a characterizable differential ideal J as rewrite rules with the following the syntax:


, where, of course, .


The list is sorted decreasingly.

•

If J is a radical differential ideal given by a characteristic decomposition, that is, as a list of tables representing characterizable differential ideals, then the function is mapped on all its components.

•

The command with(diffalg,equations) allows the use of the abbreviated form of this command.

•

The command with(diffalg,inequations) allows the use of the abbreviated form of this command.

•

The command with(diffalg,rewrite_rules) allows the use of the abbreviated form of this command.



Examples


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


>


>


>


>


>


 (1) 
>


 (2) 
>


 (3) 


Download Help Document
Was this information helpful?