Suppose you want to solve the quadratic equation ax2 + bx + C = 0 by an algorithm. quadratic_solve (a, b, c)
-- inputs: ?
-- outputs: ?
You intend to use the formula and you are prepared to handle only real number roots. Write a suitable specification.
\(x = {-b \pm \sqrt{b^2-4ac} \over 2a}\)