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

lhrman

a1*a2+2*a1*a3+a2*a3=0
. A6 t( l8 D. @) l! s" {  h! n' e1 ^a1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
a1+a2+a3=1
用with（Groebner）；
然后输入
6 k, E1 E) e  Q% Jx := seq(a[k], k = 0 .. n)
Basis(pl1, plex(x));
% O1 ?* e& d2 B* I; i( p( p5 {' N+ Z%;
Error, too many levels of recursion
, l# g/ p' R! Q: ~0 ]Basis(pl1, prod(x));
; l+ ~6 E# L8 c: {0 v( ?* }' ^%;
Error, too many levels of recursion
7 |5 l) m: v: V9 N, t 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程