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;
$ w! B5 j* H7 |" |, ?a1+a2+a3=1
6 i, i5 s. c! O9 {+ Q( O: ~4 T/ B用with（Groebner）；
然后输入
3 w5 P  A9 ^* F) L6 [5 G4 dx := seq(a[k], k = 0 .. n)
# i! w- O8 B. t5 t Basis(pl1, plex(x));
0 |6 T3 Z! Y$ ?: f" r& L' ]: H%;
$ K' |# v) [3 t; H% g: P4 C8 B" OError, too many levels of recursion
Basis(pl1, prod(x));
%;
+ [! K8 [3 I2 YError, too many levels of recursion
  B% g9 C3 {5 l 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
* p  j" _5 `% |  H# n