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

lhrman

a1*a2+2*a1*a3+a2*a3=0
( ?2 V6 o- W0 v. }  fa1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
a1+a2+a3=1
4 f) I; t  }; n4 O7 i用with（Groebner）；
然后输入
1 M# v0 `" O( Y7 i! ^2 fx := seq(a[k], k = 0 .. n)
& Y" l% z+ B' B; G& L8 ^1 B" a Basis(pl1, plex(x));
/ S- I' t& K" Z. g$ V7 I# L) r%;
3 H' k% y% l( }; _) `3 Q6 u& e6 I5 JError, too many levels of recursion
Basis(pl1, prod(x));
%;
1 _) t( [4 Q* Y+ i; a- s  ~: ~Error, too many levels of recursion
* a" J) ]- F% M# S9 Q. u9 B0 L4 ? 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
8 ^" D) w% p9 T) U; {/ E  J