after solve a set of equations, i got a set of solutions, [A,B,C], if i remove one of solution [C]

is it possible to find this removed solution from solutions set [A,B]

how to check the dependency of groebner basis or a set of polynomials?

emal := proc(zipeq,abc1param,abc2param,abc3param,abc4param,abc5param)
source1 := Prefix(zipeq);
print(source1);
source2 := subs(s=abc5param,subs(v=abc4param,subs(u=abc3param,subs(t=abc2param,subs(a=abc1param,source1))))):
print(source2);
zipplus := proc(mm, pp)
 return zip((x,y) -> x+y, mm, pp)
end proc:
zipstar := proc(mm, pp)
 return zip((x,y) -> x*y, mm, pp)
end proc:
return eval(source2);
end proc:
 

would like to do the Prefix first and then eval the prefix later but do not expect do define zipstar and zippplus in global

just want to eval this Prefix which is formula of zipstar and zipplus function

above result same as print(source2), but eval in return , it have not evaluate, why?

if just expect to find whether equation is like

(a-b)*(c-d) + (e-f)*(g-h) = i

if use equal , it will care the variable name, is it possible treat the variable name as a wildcard to match the equation structure only 

the structure i mean is *, +, -, =, ()

how to convert a^2*b+c to func2(func1(func1(abc[1],abc[1]),abc[2]),abc[3])

when i use custom function func2 to represent plus, func1 to represent multiply

input 3 parameters,

one is a^2*b + c one is [func1, func2] and second is [abc[1],abc[2],abc[3]] corresponding to a, b, c
a^2*b + c = func2(func1(func1(abc[1],abc[1]),abc[2]),abc[3]);