Hisham Sueyllam

This is not a bug. You only need to load(grobner); then define eqs:[x^2+xy+y^2-12,x+y+X^2y^2-12] and the vars:[x,y]then call poly_reduced_grobner(eqs,vars); then algsys(%,vars);and you will have all 7 solutions with the repeated one -2, -2 counted only once. hisham... On Monday, October 1, 2018, 9:54:36 PM GMT+2, M. Stanev <mstanev@users.sourceforge.net> wrote: [bugs:#3466] solve does not find all solutions of a nonlinear system Status: open Group: None Labels: solve Created: Mon Oct 01, 2018 07:54...

Also you can do the following:load(grobner)$poly_reduced_grobner([x^2+y^2-1, (x-2)^2+(y-3)^2-9],...

you need to do:declare([a,b],real,w,complex);w:a+b%i;is(expand(wconjugate(w))-cabs(w)^2=0);to...

if you do: load(grobner); poly_reduced_grobner([x^2+y^2-1,(x-2)^2+(y-3)^2-9],[x,y]);...