数学的ソフトウェアを考える③_代数方程式