brial 0.8.7-2 source package in Ubuntu
Changelog
brial (0.8.7-2) unstable; urgency=medium
* Team upload.
* Upload to unstable.
[ Tobias Hansen ]
* Add Breaks: sagemath (<< 8.0~) to prevent testing migration
before sagemath 8.0.
-- Ximin Luo <email address hidden> Sun, 27 Aug 2017 14:52:58 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| brial_0.8.7-2.dsc | 2.5 KiB | 57e0783b1ef36c1ff1a5cfa3bb96a8d632a3524c22fe124f44de25f03cffb6b7 |
| brial_0.8.7.orig.tar.gz | 2.3 MiB | 8961df5578ae3ac463004461744d65037cb1df29b369f67576b9f5d32834e926 |
| brial_0.8.7-2.debian.tar.xz | 10.2 KiB | a308cadb9b9e5f12ac3eea7e2584e0d8c9fbfbcbbfa7dae6e958fa9cc587067e |
No changes file available.
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-groebner0: No summary available for libbrial-groebner0 in ubuntu bionic.
No description available for libbrial-groebner0 in ubuntu bionic.
- libbrial-groebner0-dbg: No summary available for libbrial-groebner0-dbg in ubuntu bionic.
No description available for libbrial-
groebner0- dbg in ubuntu bionic.
- libbrial0: No summary available for libbrial0 in ubuntu bionic.
No description available for libbrial0 in ubuntu bionic.
- libbrial0-dbg: No summary available for libbrial0-dbg in ubuntu bionic.
No description available for libbrial0-dbg in ubuntu bionic.
- python-brial: polynomials over Boolean Rings, Python 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 module.
