New in Wolfram
Mathematica
8: New and Improved Core Algorithms
◄
previous

next
►
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.
In[1]:=
X
f = x^11 + x^12 + 55 x^9 y^2 + 6 x^10 y^2  330 x^7 y^4 + 15 x^8 y^4 + 462 x^5 y^6 + 20 x^6 y^6  165 x^3 y^8 + 15 x^4 y^8 + 11 x y^10 + 6 x^2 y^10 + y^12; sol = y /. Solve[f == 0, y, Reals]; Plot[Tooltip[sol], {x, 1, 1}, Exclusions > {Discriminant[f, y] == 0}, PlotPoints > 300, AspectRatio > 1, Axes > False]
Out[1]=