# Question:another challenging odetest verification

## Question:another challenging odetest verification

Maple 2024

Here is another ode solution by Maple, I am not able to get zero from odetest.

If someone could come up with a trick or method to verify this, that will be great. I tried all sort of assumptions and not able to get zero. Even coulditbe() could not give zero.

It is a Chini ode and also homogeneous, `class G`.

Solving using either method, odetest do not returns zero.  There are no initial conditions. I am sure the solutions are correct, but odetest need some help or may be this requires different method to verify not using odetest?

Worksheet below.

 > interface(version);

 > Physics:-Version();

 > libname;

 > restart;

 > maple_sol:=dsolve(ode,y(x),[Chini],useInt,implicit); #explicit makes it take very long time

 > residual:=odetest(maple_sol,ode); #how to show this is zero?

 > coulditbe(residual=0) assuming real;

 > #now solving as homog. (which gives simpler looking solution
 > maple_sol:=dsolve(ode,y(x),[homogeneous]);

 > residual:=odetest(maple_sol,ode); #how to show this is zero?

 > coulditbe(residual=0) assuming real;

 >