Ubuntu
brial package

brial 1.2.12-1 source package in Ubuntu

Changelog

brial (1.2.12-1) unstable; urgency=medium

  * Bump standards-version to 4.6.2.
  * New upstream release.

 -- Julien Puydt <email address hidden>  Mon, 26 Jun 2023 08:01:31 +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 Pocket Published Component Section
Mantic release universe misc

Downloads

File Size SHA-256 Checksum
brial_1.2.12-1.dsc 2.4 KiB 6d5ab2219b3226bc89403a5ee042461bbcdb8ee96d4c404f46a9ff4e8df092d2
brial_1.2.12.orig.tar.gz 1.6 MiB b9d39279c1021ca71fdda0dd925373f7738ebcfc4007aaf34b276b0c53ee1b88
brial_1.2.12-1.debian.tar.xz 7.7 KiB 87a55a33cef65e20e73f93b648bfa86ca25ae7fb6b0754affa2fd3f95a2e5874

Available diffs

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: No summary available for libbrial-groebner3-dbgsym in ubuntu noble.

No description available for libbrial-groebner3-dbgsym in ubuntu noble.

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: 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.