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

lhrman

a1*a2+2*a1*a3+a2*a3=0
9 p2 m0 d1 l1 W2 }, C$ {a1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
a1+a2+a3=1
用with（Groebner）；
然后输入
5 [( C! r5 N. e; R$ j. Dx := seq(a[k], k = 0 .. n)
6 c! s& |* g) I$ P; h3 _5 X, G" o Basis(pl1, plex(x));
%;
7 P  g8 @' S* U+ Y* ?* v. zError, too many levels of recursion
6 A5 q% v& s* w' `3 L2 nBasis(pl1, prod(x));
%;
Error, too many levels of recursion
然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程