Question: why eliminate can not recover the original set of equations

with(Groebner):
eq1 := a+b*c;
eq2 := a*b*c+a;
eq1a := Homogenize(eq1, h);
eq2a := Homogenize(eq2, h);
eliminate([eq1a,eq2a], h);

after eliminate not equal to eq1 and eq2

Please Wait...