Ubuntu
brial package

brial 1.2.5-2 source package in Ubuntu

Changelog

brial (1.2.5-2) unstable; urgency=medium

  * Rebuild with gcc-9 (required to fix segfaults in sagemath).
  * Bump std-ver to 4.4.1.

 -- Tobias Hansen <email address hidden>  Sun, 10 Nov 2019 21:15:02 +0100

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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
brial_1.2.5-2.dsc 2.4 KiB a9c48a8ba13869870f4e1b1775f23f3be98e81171879a00f8497146f8b6a8432
brial_1.2.5.orig.tar.gz 1.6 MiB b2ada86269321b9fb2e9a4c64865100a826378db5e623e938cd14814754f30f6
brial_1.2.5-2.debian.tar.xz 6.5 KiB 4213699f13222cf3c92f10e1ee2a489782163bd5bead253b53444955bdcf2f73

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-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: debug symbols for libbrial-groebner3
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
python-brial: No summary available for python-brial in ubuntu focal.

No description available for python-brial in ubuntu focal.

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.