以非程序语言的形式给出解一元二次方程的计算机算法