Ab_max function

Automatic Construction of Ab-Representation for Common Inequality Constraints