polybori - polynomials over Boolean Rings, custom ipython shell

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name polybori
Package version 0.8.3
Package release 3+b2
Package architecture i386
Package type deb
Installed size 22 B
Download size 15.07 KB
Official Mirror ftp.br.debian.org
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-3+b2_amd64.deb 0.8.3 amd64 Debian Main
polybori - - -


Name Value
ipython -
python-polybori = 0.8.3-3+b2


Name Value
polybori -


Type URL
Binary Package polybori_0.8.3-3+b2_i386.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




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).
2009-07-02 - Cyril Brulebois <kibi@debian.org>
polybori (0.5~rc1-1.1) unstable; urgency=low
* Non-maintainer upload.
* Fix FTBFS with current boost (Closes: #530478). As explained by Steve
M. Robbins, single- and multi-threaded variants got dropped, only mt
variants are available as of 1.37.0, suffixed with “-mt”. Since the
previous filenames aren't specified, make sure a “modern” version of
boost headers are used, bumping the versioned build dependency from
“>= 1.33” to “>= 1.37”, and tweak SConstruct to use “boost_python-mt”
instead of “boost_python” for the LIBS variable, using the following
- 01-fix-ftbfs-with-new-boost.diff
2008-07-08 - Tim Abbott <tabbott@mit.edu>
polybori (0.5~rc1-1) unstable; urgency=low
* Initial release to Debian (Closes: #480077)

See Also

Package Description
polygen-data_1.0.6.ds2-13.1_all.deb grammar definitions for PolyGen
polygen_1.0.6.ds2-13.1_all.deb generator of random sentences from grammar definitions
polyglot_2.0.1+git20140926-1_i386.deb chess engine protocol adaptor, connects UCI engines to xboard
polygraph_4.3.2-1.1_i386.deb performance testing tool for caching proxies and more
polylib-utils_5.22.5-3+dfsg_i386.deb Various tools using libpolylib
polyml_5.2.1-1.1_i386.deb interpreter and interactive compiler for the Standard ML programming language
polyorb-doc_2.11~20140418-3_all.deb Multiple-personality middleware for Ada (documentation)
polyorb-servers_2.11~20140418-3_i386.deb Multiple-personality middleware for Ada (servers)
pommed_1.39~dfsg-4_i386.deb Apple laptops hotkeys event handler
pondus_0.8.0-2_all.deb personal weight manager for GTK+2
pong2_0.1.3-1_i386.deb Remake of old arcade classic in OpenGL
pop3browser_0.4.1-5_all.deb Allows to check a pop3 mailbox before downloading any mail
popa3d_1.0.2-8_i386.deb Tiny POP3 daemon, designed with security as the primary goal
poppassd_1.8.5-4_i386.deb password change server for Eudora and NUPOP
poppler-data_0.4.7-1_all.deb encoding data for the poppler PDF rendering library