brial 1.2.11-1 source package in Ubuntu
Changelog
brial (1.2.11-1) unstable; urgency=medium * New upstream release. * Bump standards-version to 4.6.1. * Drop now-useless version requirement in b-deps. -- Julien Puydt <email address hidden> Sat, 30 Jul 2022 17:52:37 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Lunar | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| brial_1.2.11-1.dsc | 2.4 KiB | 82c4e6c58334bdf2bd9cc4b09a3dae36b8d0a5c0a1aad8179a4b359e5d087576 |
| brial_1.2.11.orig.tar.gz | 1.6 MiB | 8e840c713519d7458be9c280f53cea8a0a6417011f693c37aeb2f16e4c306955 |
| brial_1.2.11-1.debian.tar.xz | 7.2 KiB | 2b4df5d7abbbea43db535b730192d26b1a50e54c6f94aef06fa6e65298a4a37d |
Available diffs
No changes file available.
Binary packages built by this source
- libbrial-dev: No summary available for libbrial-dev in ubuntu kinetic.
No description available for libbrial-dev in ubuntu kinetic.
- 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: 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-groebner3-dbgsym: No summary available for libbrial-groebner3-dbgsym in ubuntu kinetic.
No description available for libbrial-
groebner3- dbgsym in ubuntu kinetic.
- libbrial3: No summary available for libbrial3 in ubuntu kinetic.
No description available for libbrial3 in ubuntu kinetic.
- libbrial3-dbgsym: debug symbols for libbrial3
- python3-brial: polynomials over Boolean Rings, Python 3 module
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 Python 3 module.
