Option to provide monomials instead of level of relaxation
Terminology in variable names made more consistent with mathematical formulation