fixed a nasty bug in partial_eval (if one of the values is 0 the monomial should be empty as well---otherwise we get assertion failures!)
patch to print stats (thanks to Michal Terepeta--- I included it despite being only debug-output)