mathematica dsolve assumptions