block_index             Find independent blocks of equations.
compact                 Remove spurious variables and restrictions
echelon                 Reduced row echelon form
eliminate               Eliminate a variable from a set of edit rules
is_feasible             Check feasibility of a system of linear
                        (in)equations
is_totally_unimodular   Test for total unimodularity of a matrix.
lintools                Tools for manipulating linear systems of
                        (in)equations
normalize               Bring a system of (in)equalities in a standard
                        form
pinv                    Moore-Penrose pseudoinverse
project                 Project a vector on the border of the region
                        defined by a set of linear (in)equality
                        restrictions.
ranges                  Derive variable ranges from linear restrictions
sparse_constraints      Generate sparse set of constraints.
sparse_project          Successive projections with sparsely defined
                        restrictions
subst_value             Substitute a value in a system of linear
                        (in)equations
