NonLinearFirstOrderODESolver(R, F)

odeef.spad line 355 [edit on github]

• R: Join(Comparable, PolynomialFactorizationExplicit, RetractableTo Integer, LinearlyExplicitOver Integer, CharacteristicZero)

• F: Join(AlgebraicallyClosedFunctionSpace R, TranscendentalFunctionCategory, PrimitiveFunctionCategory)

NonLinearFirstOrderODESolver provides a function for finding closed form first integrals of nonlinear ordinary differential equations of order 1.

solve: (F, F, BasicOperator, Symbol) -> Union(F, failed)

solve(M(x, y), N(x, y), y, x) returns F(x, y) such that F(x, y) = c for a constant c is a first integral of the equation M(x, y) dx + N(x, y) dy = 0, or “failed” if no first-integral can be found.