How To Install Redund1 On Debian, Ubuntu, Arch, Kali, Fedora And Raspbian?

How To Install Redund1 On Debian, Ubuntu, Arch, Kali, Fedora And Raspbian?

redund1

package to enumerate vertices and extreme rays of a convex polyhedron

Maintainer: David Bremner



Section: math

Install redund1

  • Debian apt-get install lrslib Click to copy
  • Ubuntu apt-get install lrslib Click to copy
  • Arch Linux pacman -S lrs Click to copy
  • Kali Linux apt-get install lrslib Click to copy
  • Fedora dnf install lrslib Click to copy
  • Raspbian apt-get install lrslib Click to copy

lrslib

package to enumerate vertices and extreme rays of a convex polyhedron

A convex polyhedron is the set of points satisfying a finite family of linear inequalities. The study of the vertices and extreme rays of such systems is important and useful in e.g. mathematics and optimization. In a dual interpretation, finding the vertices of a (bounded) polyhedron is equivalent to finding the convex hull (bounding inequalities) of an (arbitrary dimensional) set of points. Lrs (lexicographic reverse search) has two important features that can be very important for certain applications: it works in exact arithmetic, and it consumes memory proportional to the input, no matter how large the output is.

lrs

C implementation of the reverse search algorithm for vertex enumeration/convex hull problems
Install the latest version of redund1 in Debian, Ubuntu, Arch, Kali, Fedora and Raspbian from terminal. To install the redund1 just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of redund1 from the respository and install it in your computer/server.