软件包:libbrial-groebner3t64(1.2.12-1.1 以及其他的)
computer algebra routines of BRiAl
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_groebner.
其他与 libbrial-groebner3t64 有关的软件包
|
|
|
|
-
- dep: libbrial3t64 (= 1.2.12-1.1) [alpha, ia64, sh4]
- polynomials over Boolean Rings, shared library
- dep: libbrial3t64 (= 1.2.12-1.1+b1) [除 alpha, ia64, sh4]
-
- dep: libc6 (>= 2.32) [除 alpha, armel, armhf, hppa, ia64, m68k, sh4]
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6-udeb
- dep: libc6 (>= 2.34) [armel, armhf, hppa, m68k]
- dep: libc6 (>= 2.37) [sh4]
-
- dep: libc6.1 (>= 2.32) [alpha]
- GNU C 语言运行库:共享库
同时作为一个虚包由这些包填实: libc6.1-udeb
- dep: libc6.1 (>= 2.37) [ia64]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, i386, mips64el, ppc64, ppc64el, s390x]
- GCC 支持库
- dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sh4, sparc64]
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
- dep: libgcc-s1 (>= 4.2) [ia64]
-
- dep: libgcc-s2 (>= 4.2.1) [m68k]
- GCC 支持库
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- GCC 支持库
-
- dep: libm4ri-0.0.20200125 (>= 20200125)
- Method of the Four Russians Inversion library, shared library
-
- dep: libstdc++6 (>= 13.1)
- GNU 标准 C++ 库,第3版
-
- dep: libunwind8 [ia64]
- library to determine the call-chain of a program - runtime
下载 libbrial-groebner3t64
硬件架构 | 版本 | 软件包大小 | 安装后大小 | 文件 |
---|---|---|---|---|
alpha (非官方移植版) | 1.2.12-1.1 | 437.7 kB | 3,355.0 kB | [文件列表] |
amd64 | 1.2.12-1.1+b1 | 453.4 kB | 3,280.0 kB | [文件列表] |
arm64 | 1.2.12-1.1+b1 | 429.6 kB | 3,288.0 kB | [文件列表] |
armel | 1.2.12-1.1+b1 | 416.6 kB | 3,179.0 kB | [文件列表] |
armhf | 1.2.12-1.1+b1 | 421.0 kB | 3,067.0 kB | [文件列表] |
hppa (非官方移植版) | 1.2.12-1.1+b1 | 454.0 kB | 3,324.0 kB | [文件列表] |
i386 | 1.2.12-1.1+b1 | 472.4 kB | 3,299.0 kB | [文件列表] |
ia64 (非官方移植版) | 1.2.12-1.1 | 475.8 kB | 3,657.0 kB | [文件列表] |
m68k (非官方移植版) | 1.2.12-1.1+b1 | 445.4 kB | 3,239.0 kB | [文件列表] |
mips64el | 1.2.12-1.1+b1 | 427.8 kB | 3,389.0 kB | [文件列表] |
ppc64 (非官方移植版) | 1.2.12-1.1+b1 | 459.1 kB | 3,416.0 kB | [文件列表] |
ppc64el | 1.2.12-1.1+b1 | 456.7 kB | 3,416.0 kB | [文件列表] |
riscv64 | 1.2.12-1.1+b1 | 455.1 kB | 3,171.0 kB | [文件列表] |
s390x | 1.2.12-1.1+b1 | 450.2 kB | 3,287.0 kB | [文件列表] |
sh4 (非官方移植版) | 1.2.12-1.1 | 481.2 kB | 3,288.0 kB | [文件列表] |
sparc64 (非官方移植版) | 1.2.12-1.1+b1 | 415.7 kB | 4,135.0 kB | [文件列表] |