polybori - polynomials over Boolean Rings, custom ipython shell

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Universe amd64
Package name polybori
Package version 0.8.3
Package release 5build1
Package architecture amd64
Package type deb
Installed size 32 B
Download size 6.25 KB
Official Mirror archive.ubuntu.com
The core of PolyBoRi 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. PolyBoRi features a powerful reference implementation
for Groebner basis computation.
This package contains the PolyBoRi's shell ipbori.


Package Version Architecture Repository
polybori_0.8.3-5build1_i386.deb 0.8.3 i386 Ubuntu Universe
polybori - - -


Name Value
ipython -
python-polybori = 0.8.3-5build1


Name Value
polybori -


Type URL
Binary Package polybori_0.8.3-5build1_amd64.deb
Source Package polybori

Install Howto

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




2015-08-28 - Matthias Klose <doko@ubuntu.com>
polybori (0.8.3-5build1) wily; urgency=medium
* No-change rebuild using boost 1.58.
2015-03-17 - Tobias Hansen <thansen@debian.org>
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 <julien.puydt@laposte.net>
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 <thansen@debian.org>
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.
2013-11-03 - Tobias Hansen <thansen@debian.org>
polybori (0.8.3-2) unstable; urgency=low
* Protect CErrorInfo::text() against invalid array access.
The missing check caused failing tests on ia64 and alpha.
2013-11-03 - Tobias Hansen <thansen@debian.org>
polybori (0.8.3-1) unstable; urgency=low
* Add myself to Uploaders with ack from Alexander Dreyer.
* Upload to unstable.
* polybori-doc breaks and replaces libpolybori-dev (<< 0.8) because
of file conflicts. (Closes: #717975)
* Link with --as-needed to build on jessie.
* Bump Standards-Version to 3.9.4.
* Create watch file.
* Create doc-base file.
* Update debian/copyright.
* Update package descriptions.
2013-03-12 - Alexander Dreyer <adreyer@gmx.de>
polybori (0.8.3-1~exp2) experimental; urgency=low
* Added missing dependencies for test target 
* Generate cleaner pkgconfig files (Closes: #702056)
* Install convenience header /user/include/polybori.h (Closes: #702056)
* debian/patch
- 0001-Added-libraries-symlinks-to-testsuite-dependencies-t.patch (new)
Added libraries symlinks to testsuite dependencies to ensure that
tests can be executed (from upstream)
- 0002-Generate-clean-.pc-files-from-upstream.patch (new)
Generate cleaner pkgconfig files (Closes: #702056)
2013-01-08 - Alexander Dreyer <adreyer@gmx.de>
polybori (0.8.3-1~exp1) experimental; urgency=low
* Updating to recent Debian standards
- supported by Frédéric-Emmanuel Picca <picca@debian.org>
* Packaging of PolyBoRi 0.8 by Felix Salfelder <felix@salfelder.org>
- new upstream release
- expected to work with gcc-4.7
2010-01-09 - Jakub Wilk <ubanus@users.sf.net>
polybori (0.5~rc1-2.1) unstable; urgency=low
* Non-maintainer upload. Thanks to Kumar Appaiah for the initial patch.
* debian/control:
- Add ‘XB-Python-Version: ${python:Version}’, as required by python-central.
- Tighten internal package dependencies.
* debian/*.install:
- Stop referring to particular versions of Python in debian/*.install
(closes: #557293).
* debian/rules:
- Use correct values for RELATIVEPYPREFIX variable.
- Pass name of Python-versioned Boost library to scons.
* debian/patches/link-with-versioned-boost.diff:
- Link to a correct version of Boost library.
2009-09-18 - Tim Abbott <tabbott@mit.edu>
polybori (0.5~rc1-2) unstable; urgency=low
* Boost 1.39 has removed the "-mt" suffix, so revert the previous change
(and update the build dependency to 1.39) (Closes: #545608).

See Also

Package Description
polygen-data_1.0.6.ds2-14build1_all.deb grammar definitions for PolyGen
polygen_1.0.6.ds2-14build1_all.deb generator of random sentences from grammar definitions
polyglot_2.0.1+git20140926-1_amd64.deb chess engine protocol adaptor, connects UCI engines to xboard
polygraph_4.3.2-1.2build1_amd64.deb performance testing tool for caching proxies and more
polylib-utils_5.22.5-3+dfsgubuntu1_amd64.deb Various tools using libpolylib
polymake_3.0r1-4_amd64.deb Tool for algorithmic discrete geometry
polyml_5.6-3_amd64.deb interpreter and interactive compiler for Standard ML
polyorb-doc_2.11~20140418-3_all.deb Multiple-personality middleware for Ada (documentation)
polyorb-servers_2.11~20140418-3_amd64.deb Multiple-personality middleware for Ada (servers)
pommed_1.39~dfsg-4_amd64.deb Apple laptops hotkeys event handler
pompem_0.1.0-2_all.deb automate the search for exploits in various databases
pondus_0.8.0-2_all.deb personal weight manager for GTK+2
pong2_0.1.3-1_amd64.deb Remake of old arcade classic in OpenGL
pop3browser_0.4.1-6_all.deb Allows one to check a pop3 mailbox before downloading any mail
popa3d_1.0.3-1_amd64.deb Tiny POP3 daemon, designed with security as the primary goal