groebner基计算时，含有a1，a2,a3,...,an个自变量的非线性方程组问题化简问题

lhrman

a1*a2+2*a1*a3+a2*a3=0
0 f/ |. s0 V+ w9 x; H  Ra1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
a1+a2+a3=1
用with（Groebner）；
! d! Y$ S' b6 A/ o% F# S然后输入
9 H% U  a  C* A: lx := seq(a[k], k = 0 .. n)
5 e8 o3 L8 v1 u, [. f  ] Basis(pl1, plex(x));
%;
' w' F0 l, s. z3 x( W5 fError, too many levels of recursion
Basis(pl1, prod(x));
%;
Error, too many levels of recursion
5 W7 X% b$ _4 |! F 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
6 `0 ^- o# r, d6 X