Paket: liblrs1 (0.71a-1)

[ Quellcode: lrslib  ]

Paket für das Zählen von Ecken und Extremalstrahlen (Laufzeitibliotheken)

Ein konvexer Polyeder ist die Menge von Punkten, die eine endliche Menge von linearen Ungleichungen erfüllt. Die Untersuchung der Ecken und Extremalstrahlen solcher Systeme ist z.B. für Mathematik und Optimierung wichtig und nützlich. Anders betrachtet ist das Ermitteln der Ecken eines (begrenzten) Polyeders gleichwertig mit der Feststellung der konvexen Hülle (Ungleichungen an den Grenzflächen) einer Punktmenge (beliebiger Dimension). Lrs (umgekehrte lexikographische Suche) hat zwei wichtige Merkmale, die für bestimmte Anwendungen sehr wichtig sein können: sie arbeitet mit exakter Arithmetik und der Speicherverbrauch ist proportional zur Größe der Eingangsdaten und nicht zur Größe des Ergebnisses.

Dieses Paket enthält die (erforderliche) Laufzeitbibliothek.

Andere Pakete mit Bezug zu liblrs1

• dep: libc6 (>= 2.14) [amd64]

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.7) [nicht amd64, arm64, ppc64el]

• dep: libgmp10

  Mehrfachgenaue, arithmetische Bibliothek

liblrs1 herunterladen

Download für alle verfügbaren Architekturen

Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	97,5 kB	307,0 kB	[Liste der Dateien]
arm64	86,5 kB	295,0 kB	[Liste der Dateien]
armel	65,2 kB	193,0 kB	[Liste der Dateien]
armhf	68,2 kB	149,0 kB	[Liste der Dateien]
i386	83,2 kB	245,0 kB	[Liste der Dateien]
mips64el	82,3 kB	324,0 kB	[Liste der Dateien]
mipsel	64,6 kB	216,0 kB	[Liste der Dateien]
ppc64el	100,5 kB	415,0 kB	[Liste der Dateien]
s390x	86,1 kB	327,0 kB	[Liste der Dateien]