Question: what does it mean when odetest return the ode itself back instead of zero for a correct solution?

This ode from textbook, and the solution is given in back of book and I verified it is correct.

odetest gives zero also when asked to verify the solution.

but when asked to verify both the solution and the initial conditions, instead of returning [0,0] as expected, it returns [the_ode,0]

Here is an example


`Standard Worksheet Interface, Maple 2022.2, Windows 10, October 23 2022 Build ID 1657361`


ode:=diff(y(x), x) = 2*(2*y(x) - x)/(x + y(x));
ic:=y(0) = 2;
booksol:=(x-y(x))^2/( y(x)-2*x)^3 = 1/2;

diff(y(x), x) = 2*(2*y(x)-x)/(x+y(x))

y(0) = 2

(x-y(x))^2/(y(x)-2*x)^3 = 1/2

#this returns zero, so maple agree the book solution is correct


#when adding ic, when does it not give [0,0] ?

[diff(y(x), x)-2*(2*y(x)-x)/(x+y(x)), 0]


How shoulld one interpret the above answer?


Please Wait...