Пакет: lrslib (0.70-3)

[ Источник: 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.

Теги: Роль: Программа

Другие пакеты, относящиеся к lrslib

• dep: libc6 (>= 2.17) [arm64]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.7) [не arm64]

• dep: libgmp10

  библиотека для работы с числами произвольной точности

• dep: liblrs0 (>= 0.70)

  package to enumerate vertices and extreme rays (shared libraries)

Загрузка lrslib

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
amd64	29,0 Кб	96,0 Кб	[список файлов]
arm64	28,3 Кб	76,0 Кб	[список файлов]
armhf	27,6 Кб	65,0 Кб	[список файлов]
i386	30,0 Кб	89,0 Кб	[список файлов]