PyNormaliz_inequalities
