VerifySolutions
is an option to Solve and related functions that controls whether to verify solutions.
Details
- VerifySolutions controls whether the solutions obtained using non-equivalent transformations or numerical methods should be verified.
- Possible settings include:
-
Automatic automatically determine whether to verify True attempt to verify False do not verify
Examples
open all close allBasic Examples (1)
Use VerifySolutions to check if they are solutions or not:
Scope (4)
Solve verifies solutions obtained using non-equivalent transformations:
With VerifySolutions False, Solve does not verify the solutions:
Some of the solutions returned with VerifySolutions False are not correct:
Use a fast numeric test in an attempt to select correct solutions:
In this case, numeric verification gives the correct solution set:
Reduce returns only the correct solutions:
Solve an equation symbolically without verifying the solution:
This can yield solutions that are not mathematically valid:
Solve the same equation numerically:
Note the unverified solutions do not satisfy the given equation:
Verifying the solution discards the invalid result, returning an empty list indicating there are no solutions:
Using Automatic solution verification attempts to detect and discard possibly invalid results:
Text
Wolfram Research (1988), VerifySolutions, Wolfram Language function, https://reference.wolfram.com/language/ref/VerifySolutions.html.
CMS
Wolfram Language. 1988. "VerifySolutions." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/VerifySolutions.html.
APA
Wolfram Language. (1988). VerifySolutions. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/VerifySolutions.html