Go to the previous, next section.

*Note: Due to interdependences between the suifmath and dependence
class structures, the implementation of the linear inequalities was moved
to the dependence library in the current release.*

All the functions defined in the matrix class (see section Matrix Library) apply to linear inequalities. In addition, a number of other methods are available.

A system of linear inequalities is a further abstraction of matrices.
The system of linear inequalities is defined by the class
`lin_ineq`

, which is derived from the class `integer_matrix`

.
A constraint is represented by the class `constraint`

which is
derived from the class `integer_row`

.

For example, the following matrix:[ 0 1 1 2 0 ] [ 10 -1 1 0 0 ] [ 20 1 0 0 1 ]represents a system of inequalities

where the columns 1 to 4 in the matrix are the coefficients of the variables i1 to i4 respectively. The 0-th column is the constant term.

- i1 + i2 + 2*i3 >= 0
- 10 - i1 + i2 >= 0
- 20 + i1 + i4 >= 0

- Inequality Manipulation: How to create and change linear inequalities
- Inequality Math: Mathematical operations that can be done on linear inequalities
- An Inequality: Creating and manipulating a single constraint
- Matrix Library: All matrix functions can be applied to linear inequality class

Go to the previous, next section.