This ode
restart; ode:=(x+1)*diff(y(x),x)+y(x)^(1/2) = 0; ic:=y(0) = 1; sol:=dsolve([ode,ic],y(x))
Direct use of odetest does not give zero.
res:=odetest(sol,ode)
When asking Solve for possible values of x which makes the above zero, it only gave the upper bound
PDEtools:-Solve(res=0,x)
The actual range which makes res=0 is actually -1<x<exp(2)-1
res:=odetest(sol,ode) assuming -1<x,x<exp(2)-1
How could one using Maple obtain this range -1<x<exp(2)-1?
Mathematica gives the answer using Reduce:
res=Log[Sqrt[x+1]]-1+Sign[Log[(x+1)]-2]*Log[Sqrt[x+1]]-Sign[Log[x+1]-2]; Reduce[res==0,x,Reals]
Is it possible to obtain such result in Maple, since Solve did not give complete answer.
Maple 2020.2