[ ソース: lrslib ]
パッケージ: lrslib (0.71b-2)
凸多面体の頂点と端射線を列挙するパッケージ
凸多面体は、有限個の線形不等式を満たす点の集合です。このような系の頂点と 端射線の研究は、例えば数学と最適化理論においては重要かつ有用です。Dual interpretation では、(有界) 多面体の頂点を見つけることは、任意次元空間上 の点群の凸包 (境界不等式)を求めることと等価です。Lrs (辞書式逆検索) には、 特定のアプリケーションにとって非常に重要な 2 つの重要な機能があります。 すなわち、厳密に算術的であることと、出力がどんなに大きくなっても、入力に 比例したメモリしか消費しないことです。
その他の lrslib 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
- dep: libc6 (>= 2.7) [arm64, ppc64el 以外]
-
- dep: libgmp10 (>= 2:6.2.1+dfsg)
- 多倍長精度演算ライブラリ
-
- dep: liblrs1 (>= 0.71~4641)
- 頂点と端射線を列挙するパッケージ (共有ライブラリ)
lrslib のダウンロード
| アーキテクチャ | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|
| amd64 | 35.1 kB | 86.0 kB | [ファイル一覧] |
| arm64 | 34.0 kB | 77.0 kB | [ファイル一覧] |
| armel | 33.2 kB | 68.0 kB | [ファイル一覧] |
| armhf | 33.3 kB | 64.0 kB | [ファイル一覧] |
| i386 | 35.9 kB | 80.0 kB | [ファイル一覧] |
| mips64el | 34.8 kB | 76.0 kB | [ファイル一覧] |
| mipsel | 34.5 kB | 69.0 kB | [ファイル一覧] |
| ppc64el | 37.2 kB | 169.0 kB | [ファイル一覧] |
| s390x | 34.5 kB | 77.0 kB | [ファイル一覧] |