See USS Dallas[?] for other Navy ships of the same name.
... quadratic equation, because it discriminates between three qualitatively different cases: If the discriminant is zero, then there is a repeated solution x, and thi ...