Ubuntu
brial package

brial 1.2.6-1 source package in Ubuntu

Changelog

brial (1.2.6-1) unstable; urgency=medium

  * New upstream release.
  * Drop the Python 2 package (Closes: #936238).
  * Make the autopkgtest depend on sagemath (Closes: #896218).
  * Add a patch for a tighter config.h.in (makes lintian happier).
  * Enable hardening flags.

 -- Julien Puydt <email address hidden>  Sat, 11 Jan 2020 14:01:01 +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.6-1.dsc 2.4 KiB 1ff6ba50162468a8b34bc21bc370840baf5b97aa9e4fe6badda67ccd64264eed
brial_1.2.6.orig.tar.gz 1.6 MiB b64d6f0ad75925d7860ccdd142441e90fcb1d3ebef0d9dc8fd619dc73531febd
brial_1.2.6-1.debian.tar.xz 7.0 KiB dc9ee3d500a2b178e70ce5892bd0c9730b9e2158239848ddf6f01e971aa39f89

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