diffalg[initial_conditions] - return the list of the initial conditions of a characterizable differential ideal
|
Calling Sequence
|
|
initial_conditions (J, order)
|
|
Parameters
|
|
J
|
-
|
characterizable differential ideal
|
order
|
-
|
(optional) non-negative integer
|
|
|
|
|
Description
|
|
•
|
The initial conditions of J are the derivatives that are not derivatives of any leader of its equations (J).
|
•
|
If order is present, the function initial_conditions returns the list of the initial conditions of J of order less than order.
|
|
If order is omitted and there are only finitely many initial conditions, the function returns them all.
|
|
If order is omitted and there are infinitely many initial conditions, FAIL is returned.
|
•
|
The initial conditions appear in the terms of the power series computed for J.
|
•
|
If J is a radical differential ideal presented by a list of characterizable differential ideals then the function is mapped on all its components.
|
•
|
The command with(diffalg,initial_conditions) allows the use of the abbreviated form of this command.
|
|
|
Download Help Document
Was this information helpful?