lrslib - package to enumerate vertices and extreme rays of a convex polyhedron

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name lrslib
Package version 0.42c
Package release 1
Package architecture amd64
Package type deb
Installed size 544 B
Download size 219.99 KB
Official Mirror
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.


Package Version Architecture Repository
lrslib_0.42c-1_i386.deb 0.42c i386 Ubuntu Universe
lrslib - - -


Name Value
libc6 >= 2.7
libgmp3c2 -


Type URL
Binary Package lrslib_0.42c-1_amd64.deb
Source Package lrslib

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install lrslib deb package:
    # sudo apt-get install lrslib



See Also

Package Description
lrzip_0.608-1_amd64.deb compression program with a very high compression ratio
lrzsz_0.12.21-5_amd64.deb Tools for zmodem/xmodem/ymodem file transfer
lsat_0.9.7.1-2_amd64.deb Security auditor tool
lsb-appchk3_3.2.2-1.1ubuntu1_amd64.deb LSB v3.x Application checking tool
lsb-build-base3_3.2.2~pre1-1.2_amd64.deb LSB v3.x Development tools base package
lsb-build-cc3_3.2.0-1_amd64.deb LSB v3.x Development environment lsbcc package
lsb-build-desktop3_3.2.2~pre1-1.2_amd64.deb LSB v3.x Development tools desktop package
lsb-invalid-mta_4.0-0ubuntu20_all.deb Linux Standard Base sendmail dummy
lsb-languages_4.0-0ubuntu20_amd64.deb Linux Standard Base 4.0 Runtime Languages package
lsb-multimedia_4.0-0ubuntu20_amd64.deb Linux Standard Base 4.0 Multimedia package
lsb-pkgchk3_3.2.1-1.2_amd64.deb LSB v3.x package checking tool
lsb-qt4_4.0-0ubuntu20_amd64.deb Linux Standard Base 4.0 Qt4 support package
lsb-security_4.0-0ubuntu20_amd64.deb Linux Standard Base 4.0 Security package
lsdb_0.11-10_all.deb The Lovely Sister Database (email rolodex) for Emacs
lsdvd_0.16-3ubuntu1_amd64.deb read the content info of a DVD