return the list of the initial conditions of a characterizable differential ideal
initial_conditions (J, order)
characterizable differential ideal
(optional) non-negative integer
Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.
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.
R ≔ differential_ring⁡derivations=x,y,ranking=u,v:
p1 ≔ v⁢ux,x2+v⁢ux,x+ux:
p2 ≔ ux,y:
p3 ≔ uy,y2−1:
J ≔ Rosenfeld_Groebner⁡p1,p2,p3,ux,R:
Download Help Document