软件包:lrslib(0.73-2 以及其他的)
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.34)
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- 多精度运算库
-
- dep: liblrs2 (>= 0.71~4641)
- package to enumerate vertices and extreme rays (shared libraries)
下载 lrslib
硬件架构 | 版本 | 软件包大小 | 安装后大小 | 文件 |
---|---|---|---|---|
amd64 | 0.73-2 | 43.2 kB | 96.0 kB | [文件列表] |
arm64 | 0.73-2 | 41.9 kB | 179.0 kB | [文件列表] |
armel | 0.73-2+b1 | 41.4 kB | 79.0 kB | [文件列表] |
armhf | 0.73-2+b1 | 41.3 kB | 75.0 kB | [文件列表] |
i386 | 0.73-2+b1 | 44.1 kB | 91.0 kB | [文件列表] |
mips64el | 0.73-2 | 42.4 kB | 86.0 kB | [文件列表] |
ppc64el | 0.73-2 | 44.6 kB | 179.0 kB | [文件列表] |
riscv64 | 0.73-2 | 42.7 kB | 84.0 kB | [文件列表] |
s390x | 0.73-2 | 43.9 kB | 91.0 kB | [文件列表] |