python解四元一次方程