/* probs.
CURRENT PROBLEMS for specializing general polynomials*/

quadratic(A) :- solve(a*x^2 + b*x + c = 0, x, A).

cubic(A) :- solve(a*x^3 + b*x^2 + c*x + d = 0, x, A).

quartic(A) :- solve(a*x^4 + b*x^3 + c*x^2 + d*x + e = 0, x, A).
