Code refactoring: simplify_polynomial moved to nc_utils
Code restructuring: save_monomial_dictionary moved to nc_utils