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?