Go to the previous, next section.

# Linear Inequality Library

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

• i1 + i2 + 2*i3 >= 0
• 10 - i1 + i2 >= 0
• 20 + i1 + i4 >= 0
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.

Go to the previous, next section.