Paket: libbrial3 (1.2.10-1 und andere)

[ Quellcode: brial  ]

polynomials over Boolean Rings, shared library

The core of BRiAl is a C++ library, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings and subsets of the powerset of the Boolean variables. As a unique approach, binary decision diagrams are used as internal storage type for polynomial structures. On top of this C++-library a Python interface is provided. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Groebner base computation. BRiAl features a powerful reference implementation for Groebner basis computation.

This package contains the BRiAl shared library libbrial.

Markierungen: Rolle: Laufzeit-Bibliothek

Andere Pakete mit Bezug zu libbrial3

• dep: libc6 (>= 2.29)

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

• dep: libgcc-s1 (>= 3.0) [nicht armel, armhf]

  GCC Support-Bibliothek

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libstdc++6 (>= 5.2)

  GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

libbrial3 herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	1.2.10-1+b1	153,5 kB	571,0 kB	[Liste der Dateien]
arm64	1.2.10-1+b1	138,2 kB	546,0 kB	[Liste der Dateien]
armel	1.2.10-1+b1	126,9 kB	482,0 kB	[Liste der Dateien]
armhf	1.2.10-1+b1	129,0 kB	378,0 kB	[Liste der Dateien]
i386	1.2.10-1+b1	167,9 kB	574,0 kB	[Liste der Dateien]
mips64el	1.2.10-1+b1	134,3 kB	667,0 kB	[Liste der Dateien]
mipsel	1.2.10-1+b1	133,9 kB	613,0 kB	[Liste der Dateien]
ppc64el	1.2.10-1+b1	159,0 kB	727,0 kB	[Liste der Dateien]
s390x	1.2.10-1+b1	138,7 kB	586,0 kB	[Liste der Dateien]