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
用with（Groebner）；
+ Q2 t8 |1 c% G# H+ T5 O& Z然后输入
x := seq(a[k], k = 0 .. n)
Basis(pl1, plex(x));
%;
& L, b: B: |+ m# e" LError, too many levels of recursion
5 ?* f* U" ?& z% r' sBasis(pl1, prod(x));
%;
9 {0 U8 d6 V: p9 U+ m6 DError, too many levels of recursion
然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
3 A( R7 ~+ R2 p6 ~* `  y9 U