%off nat;
load "odesolve";



depend y,x;


%ode1 := df(y,x);

% A simple separable case
ans := odesolve(df(y,x) - y**2 - x,y,x);


                       2
ANS := {DF(Y,X) - X - Y =0}

% We can improve this by
solve(ans,y);


                            2
{Y=ROOT_OF(DF(Y_,X) - X - Y_ ,Y_)}


shut oode;