barvinok_summate: verify solution over whole parameter domain