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

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.