求解一元五次方程的一个整数解

本文介绍使用sympy、z3、scipy和Julia等工具求解一元五次方程的整数解。其中，z3库需要将变量指定为实数才能快速求解；scipy库只能得到近似解，精度受浮点数精度影响。Python和Julia天然支持大数运算，适合初等数论的研究。提醒读者注意浮点数精度问题，未经授权擅自使用博客内容可能引发法律纠纷。