Skip to content
Sections
>> Trisquel >> Packages >> aramo >> math >> lrslib
etiona  ] [  nabia  ] [  aramo  ]
[ Source: lrslib  ]

Package: lrslib (0.71a-1)

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.

Other Packages Related to lrslib

  • depends
  • recommends
  • suggests
  • dep: libc6 (>= 2.17) [arm64, ppc64el]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.7) [amd64, armhf]
  • dep: libgmp10
    Multiprecision arithmetic library
  • dep: liblrs1 (>= 0.71~4641)
    package to enumerate vertices and extreme rays (shared libraries)

Download lrslib

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 33.7 kB89 kB [list of files]
arm64 32.5 kB77 kB [list of files]
armhf 31.7 kB63 kB [list of files]
ppc64el 37.0 kB169 kB [list of files]