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

lhrman

a1*a2+2*a1*a3+a2*a3=0
a1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
a1+a2+a3=1
1 L4 f8 ]% n1 Y8 J) o0 T1 K, F用with（Groebner）；
然后输入
x := seq(a[k], k = 0 .. n)
* C8 ~; O- h- E- ^( q5 |: t Basis(pl1, plex(x));
* ~8 y9 F, ^' w# X7 J%;
Error, too many levels of recursion
Basis(pl1, prod(x));
2 k0 p; ?% |" ?5 j4 ]1 u" E- x%;
5 e% V0 W7 G# RError, too many levels of recursion
然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
% A0 L8 v! P3 ~" W' V2 D" m2 ^