added eval procedure to check on solutions of binomial systems
with quad double coefficients