Man pages for lintools
Manipulation of Linear Systems of (in)Equalities

allTotallyUnimodularTest if a list of matrices are all unimodular
block_indexFind independent blocks of equations.
compactRemove spurious variables and restrictions
echelonReduced row echelon form
eliminateEliminate a variable from a set of edit rules
hellerTompkinsDetermine if a matrix is totally unimodular using Heller and...
is_feasibleCheck feasibility of a system of linear (in)equations
is_totally_unimodularTest for total unimodularity of a matrix.
lintoolsTools for manipulating linear systems of (in)equations
normalizeBring a system of (in)equalities in a standard form
pinvMoore-Penrose pseudoinverse
projectProject a vector on the border of the region defined by a set...
raghavachariDetermine if a matrix is unimodular using recursive...
rangesDerive variable ranges from linear restrictions
reduceMatrixApply reduction method from Scholtus (2008)
sparse_constraintsGenerate sparse set of constraints.
sparse_projectSuccessive projections with sparsely defined restrictions
subst_valueSubstitute a value in a system of linear (in)equations
lintools documentation built on Jan. 17, 2023, 1:06 a.m.