Manipulation of Linear Systems of (in)Equalities

Variable elimination (Gaussian elimination, Fourier-Motzkin elimination), Moore-Penrose pseudoinverse, reduction to reduced row echelon form, value substitution, projecting a vector on the convex polytope described by a system of (in)equations, simplify systems by removing spurious columns and rows and collapse implied equalities, test if a matrix is totally unimodular, compute variable ranges implied by linear (in)equalities.


version 0.1.2

  • 'compact' now removes duplicate rows from linear systems (controlled by new argument 'deduplicate').
  • bugfix: in some cases, 'compact' would return the wrong value for 'neq'.
  • bugfix in 'compact': cases of differing b_i and b_j, Ai. + Aj. = 0, and both of type '<=' would incorrectly be combined to an equality.


  • bugfix in 'eliminate': faulty update of H matrix led to crashes in some cases.
  • bugfix in 'compact': ins some cases the wrong neq was returned.


  • bugfix in ranges. Crashed on some cases where matrices w/zero rows were created.
  • native routines now registered as requested by CRAN


  • new function 'is_totally_unimodular'
  • new function 'ranges' computes variable ranges implied by a system of (in)equations
  • eliminate gains argument 'eps' to control numerical accuracy
  • deprecated sparseConstraints in favor of the more consistent name sparse_constraints
  • bugfix: pinv crashed on matrices with a single s.v.
  • bugfix: eliminate would sometimes report the wrong number of (in)equalities
  • bugfix: eliminate sometimes crashed because of a mismatch in colnames of history matrix

version 0.1.0

  • Initial release

Reference manual

It appears you don't have a PDF plugin for this browser. You can click here to download the reference manual.


0.1.3 by Mark van der Loo, a year ago

Report a bug at

Browse source code at

Authors: Mark van der Loo [aut, cre] , Edwin de Jonge [aut]

Documentation:   PDF Manual  

GPL-3 license

Imports utils

Suggests knitr, tinytest

Imported by deductive, rspa.

Suggested by mcmcsae.

See at CRAN