パッケージ: libbrial3 (1.2.10-1 など)

[ ソース: 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.

タグ: 役割: 共有ライブラリ

その他の libbrial3 関連パッケージ

• dep: libc6 (>= 2.29)

  GNU C ライブラリ: 共有ライブラリ
  以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

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

  GCC 共有ライブラリ

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

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

  GNU 標準 C++ ライブラリ v3

libbrial3 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	1.2.10-1+b1	153.5 kB	571.0 kB	[ファイル一覧]
arm64	1.2.10-1+b1	138.2 kB	546.0 kB	[ファイル一覧]
armel	1.2.10-1+b1	126.9 kB	482.0 kB	[ファイル一覧]
armhf	1.2.10-1+b1	129.0 kB	378.0 kB	[ファイル一覧]
i386	1.2.10-1+b1	167.9 kB	574.0 kB	[ファイル一覧]
mips64el	1.2.10-1+b1	134.3 kB	667.0 kB	[ファイル一覧]
mipsel	1.2.10-1+b1	133.9 kB	613.0 kB	[ファイル一覧]
ppc64el	1.2.10-1+b1	159.0 kB	727.0 kB	[ファイル一覧]
s390x	1.2.10-1+b1	138.7 kB	586.0 kB	[ファイル一覧]