fix some zerogens and size(ideal) issues in primdecint.lib
removed addIdealZ and fixed ASSUME level