Fix bugs in ideal_exclude and makeRedRepresentation; in checkEssentialInBranch, even if we only check one partition of the branch, we still have to go through all non-zero coefs of higher terms.