brial 1.2.10-1build1 source package in Ubuntu
Changelog
brial (1.2.10-1build1) jammy; urgency=medium * No-change rebuild to add python3.10. -- Matthias Klose <email address hidden> Sat, 16 Oct 2021 06:55:56 +0000
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Jammy
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Jammy | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| brial_1.2.10.orig.tar.gz | 1.6 MiB | 37de1ec013791650a466486b08a735c1575a47794c138e1ea4944188b33e3de9 |
| brial_1.2.10-1build1.debian.tar.xz | 7.2 KiB | 7948722565b9141b57ffdbaec36c7c494fdc92f286258f25800769639a45fe01 |
| brial_1.2.10-1build1.dsc | 2.4 KiB | 730d0ffc9c955e72cc8f8268ab038a5388027c5cbc5d583faab564debd0624a2 |
Available diffs
- diff from 1.2.10-1 (in Debian) to 1.2.10-1build1 (319 bytes)
Binary packages built by this source
- libbrial-dev: polynomials over Boolean Rings, core development files
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 core development files.
- libbrial-groebner-dev: development files for libbrial-groebner
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 development files for libbrial-groebner.
- libbrial-groebner3: No summary available for libbrial-groebner3 in ubuntu kinetic.
No description available for libbrial-groebner3 in ubuntu kinetic.
- libbrial-groebner3-dbgsym: No summary available for libbrial-groebner3-dbgsym in ubuntu kinetic.
No description available for libbrial-
groebner3- dbgsym in ubuntu kinetic.
- libbrial3: 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-dbgsym: debug symbols for libbrial3
- python3-brial: No summary available for python3-brial in ubuntu kinetic.
No description available for python3-brial in ubuntu kinetic.
