Monomial map and unique_delter_ptr