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

lhrman

a1*a2+2*a1*a3+a2*a3=0
4 J. P( c4 z, k5 k$ J, qa1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
a1+a2+a3=1
1 O; a: V. _- K- O, D, q4 V) O3 S& ^用with（Groebner）；
然后输入
" j( v4 ^1 t& gx := seq(a[k], k = 0 .. n)
3 E( P& T' s/ R3 ?+ } Basis(pl1, plex(x));
%;
( Z$ V7 M* F; J; e( WError, too many levels of recursion
' b' E8 ?( @4 D- H6 M7 f+ F6 w! PBasis(pl1, prod(x));
%;
, l3 c' O: A* s8 h  E) {Error, too many levels of recursion
# n  n* \+ k& v; q! a 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程