类型:代数方程式