(-b-sqrt(b^2-4*a*c))/2/a

Specification

?
\[\left(\left(-1000 \leq b \land b \leq -1000\right) \land \left(-1000 \leq a \land a \leq -1000\right)\right) \land \left(-1000 \leq c \land c \leq -1000\right)\]
\[\begin{array}{l} \\ \frac{\frac{\left(-b\right) - \sqrt{{b}^{2} - \left(4 \cdot a\right) \cdot c}}{2}}{a} \end{array} \]
(FPCore (b a c)
 :precision binary64
 (/ (/ (- (- b) (sqrt (- (pow b 2.0) (* (* 4.0 a) c)))) 2.0) a))
double code(double b, double a, double c) {
	return ((-b - sqrt((pow(b, 2.0) - ((4.0 * a) * c)))) / 2.0) / a;
}
real(8) function code(b, a, c)
    real(8), intent (in) :: b
    real(8), intent (in) :: a
    real(8), intent (in) :: c
    code = ((-b - sqrt(((b ** 2.0d0) - ((4.0d0 * a) * c)))) / 2.0d0) / a
end function
public static double code(double b, double a, double c) {
	return ((-b - Math.sqrt((Math.pow(b, 2.0) - ((4.0 * a) * c)))) / 2.0) / a;
}
def code(b, a, c):
	return ((-b - math.sqrt((math.pow(b, 2.0) - ((4.0 * a) * c)))) / 2.0) / a
function code(b, a, c)
	return Float64(Float64(Float64(Float64(-b) - sqrt(Float64((b ^ 2.0) - Float64(Float64(4.0 * a) * c)))) / 2.0) / a)
end
function tmp = code(b, a, c)
	tmp = ((-b - sqrt(((b ^ 2.0) - ((4.0 * a) * c)))) / 2.0) / a;
end
code[b_, a_, c_] := N[(N[(N[((-b) - N[Sqrt[N[(N[Power[b, 2.0], $MachinePrecision] - N[(N[(4.0 * a), $MachinePrecision] * c), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / 2.0), $MachinePrecision] / a), $MachinePrecision]
\begin{array}{l}

\\
\frac{\frac{\left(-b\right) - \sqrt{{b}^{2} - \left(4 \cdot a\right) \cdot c}}{2}}{a}
\end{array}

No valid values. (more)