working on unit ideal decomposition patch