When dsolve throws an error, is it always due to invalid user input, such as parsing error of some sort related to the input given to it, or could it throw an error not related to the parsing part? And if so, how would one know, in code, the difference between an error thrown due to parsing error, vs. something else?
For example, this will throw an error due to parsing
print(StringTools:-FormatMessage( lastexception[2..-1] ));
"y(x) and y cannot both appear in the given ODE."
I want to check programmatically, if and when an error thrown by dsolve, if it is due to input itself being invalid, such as parsing error, or invalid initial conditions, and such bad input from the user, vs. other possible error that could be generated internally for other reasons when the input is valid.
I looked at help and there is no mention of what type of exceptions dsolve can throw, or how would would determine the type of exception, as Maple exceptions seem to be just strings and there is no actual identifier or type associated with them to use to check on.
I also looked at https://www.maplesoft.com/support/help/Maple/view.aspx?path=ErrorMessageGuideOverview and seen nothing there that helps. It just says
There are three circumstances that would generate an error in Maple:
1. User Errors - the user has supplied incorrect input
2. No Solution - in some cases, a Maple routine will issue an error, indicating that the given problem has no solution
3. Maple Errors - Maple generates an error during internal computation in response to a problem with its own code
Great., But it does not say how a would a user know which is which when an error is thrown? (using code, not by looking at the screen and then using google).
In Mathematica for example, error messages have actual names, and one could check for the actual message tag itself in the code, to find what the error actually is, instead of using just a plain string of the error message.
Does Maple have such a thing to use to help find what class of error was thrown out the above three classes shown in the above web page?