python-brial - polynomials over Boolean Rings, Python module

Property Value
Distribution Ubuntu 17.10 (Artful Aardvark)
Repository Ubuntu Universe i386
Package name python-brial
Package version 0.8.7
Package release 1
Package architecture i386
Package type deb
Installed size 145 B
Download size 29.69 KB
Official Mirror
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.


Package Version Architecture Repository
python-brial_0.8.7-1_amd64.deb 0.8.7 amd64 Ubuntu Universe
python-brial - - -


Name Value
libbrial-groebner0 = 0.8.7-1
libbrial0 = 0.8.7-1
python << 2.8
python >= 2.7
python:any >= 2.6.6-7~


Name Value
python-polybori << 0.8.5


Type URL
Binary Package python-brial_0.8.7-1_i386.deb
Source Package brial

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install python-brial deb package:
    # sudo apt-get install python-brial




2017-05-10 - Tobias Hansen <>
brial (0.8.7-1) experimental; urgency=medium
* New upstream release.
* Removed patches:
- fix-testsuite.patch (SConstruct file was deleted upstream.)
- fix_ftbfs_gcc-6.patch (applied upstream)
2017-01-07 - Tobias Hansen <>
brial (0.8.5-4) unstable; urgency=medium
* Add fix_ftbfs_gcc-6.patch:
Upstream patch to fix FTBFS with gcc 6.
* Remove -std=c++98 flag, obsolete with new patch.
* Change fix-testsuite.patch: Do not set CXXFLAGS=-std=c++98.
* Disable the test suite (it is not supported by upstream and
modifies files that are going to be installed).
* Add Breaks: sagemath (<= 7.4-4) to ensure brial and a rebuilt
sagemath migrate to testing together.
2016-11-07 - Tobias Hansen <>
brial (0.8.5-3) unstable; urgency=medium
* Add Breaks and Replaces to old polybori for the dev packages.
(Closes: #843354)
2016-11-04 - Tobias Hansen <>
brial (0.8.5-2) unstable; urgency=medium
* Add testsuite-boost-1.62.patch:
boost::hash_combine() changed, so we need new hashes for
the testsuite. (Closes: #843083)
2016-10-09 - Tobias Hansen <>
brial (0.8.5-1) unstable; urgency=medium
[ Ximin Luo ]
* New upstream release. (Closes: #798145)
[ Tobias Hansen ]
* Rename source package to brial.
* Rename binary packages polybori -> brial.
* Create transitional dummy package python-polybori.
* Remove packages polybori, polybori-doc and polybori-gui.
* Build-depend on libpng-dev.
* Build with -std=c++98 to work around upstream issue 11.
* Move testsuite fixes into a single patch fix-testsuite.patch:
- 0001-Added-libraries-symlinks-to-testsuite-dependencies-t.patch	
- fix-ftbfs-boost.1.60.patch
* Remove 0002-Generate-clean-.pc-files-from-upstream.patch,
no pkg-config files needed.
* Remove Alexander Dreyer and Felix Salfelder from uploaders.
* Bump standards version to 3.9.8.
2016-04-26 - Gianfranco Costamagna <>
polybori (0.8.3-5.2) unstable; urgency=medium
* Non-maintainer upload.
* Fix build because of missing semicolon.
- d/p/fix-ftbfs-boost.1.60.patch
2016-03-16 - Gianfranco Costamagna <>
polybori (0.8.3-5.1) unstable; urgency=medium
* Non-maintainer upload.
* Change libpng12-dev to libpng-dev, to ease libpng transition.
Closes: #816116)
2015-03-17 - Tobias Hansen <>
polybori (0.8.3-5) unstable; urgency=medium
[ Julien Puydt ]
* Made the -dev package depend on libboost-dev. (Closes: #780570)
[ Tobias Hansen ]
* Made libpolybori-dev depend on libgd-dev, libpng12-dev and libm4ri-dev
since they are referenced in the pkg-config file.
* Made libpolybori-groebner-dev depend on libpolybori-dev (same reason).
2015-02-04 - Julien Puydt <>
polybori (0.8.3-4) unstable; urgency=medium
* Modified the patch for clean pkg-config files. (Closes: #751098)
* Pushed Standards-Version up.
2013-11-04 - Tobias Hansen <>
polybori (0.8.3-3) unstable; urgency=low
* Tests still failed on ia64, fix it for real.
* Try a workaround for failing testsuite on hurd due to
problems with rpath.

See Also

Package Description
python-brian-doc_1.4.3-1_all.deb simulator for spiking neural networks - documentation
python-brian-lib_1.4.3-1_i386.deb simulator for spiking neural networks -- extensions
python-brian_1.4.3-1_all.deb simulator for spiking neural networks
python-brlapi_5.4-7ubuntu4_i386.deb Braille display access via BRLTTY - Python bindings
python-broccoli_0.62-1_i386.deb Python bindings for Broccoli
python-brotli_0.6.0-1build1_i386.deb lossless compression algorithm and format (Python 2 version)
python-btchip_0.1.18-1_all.deb Python library to communicate with BTChip dongle
python-btrees-doc_4.3.1-1build2_all.deb scalable persistent object containers for Python - documentation
python-btrees_4.3.1-1build2_i386.deb scalable persistent object containers for Python
python-buffy_0.16build3_i386.deb Python wrapper for the libbuffy library
python-bugzilla_2.1.0-1_all.deb Python library for interacting with Bugzilla (Python 2)
python-bunch_1.0.1-1_all.deb Dot-accessible Python dictionary (a la JavaScript objects)
python-burrito_0.9.1-1_all.deb Python 2 framework for wrapping and controlling command-line applications
python-buzhug_1.8-3_all.deb pure-Python database engine, using a Pythonic, no-SQL syntax
python-bz2file_0.98-1_all.deb Python library for reading and writing bzip2-compressed files