added Eval procedure for double double binomial systems