Core Algorithms
Compute with Conditionally Valid Solutions
The solution set consists of 12 solutions, each valid only when 
satisfies certain inequality conditions. Solve gives solutions together with their validity conditions, represented as ConditionalExpression objects.
satisfies certain inequality conditions. Solve gives solutions together with their validity conditions, represented as ConditionalExpression objects.| In[1]:= |  X |
| Out[1]= |  |