polybori - polynomials over Boolean Rings, custom ipython shell

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.



  • polybori


    Source package: polybori

    Install Howto

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


    • /usr/bin/ipbori
    • /usr/bin/ipbori2
    • /usr/bin/ipbori2.7
    • /usr/share/doc/polybori/changelog.Debian.gz
    • /usr/share/doc/polybori/copyright
    • /usr/share/man/man1/ipbori.1.gz
    • /usr/share/man/man1/ipbori2.1.gz
    • /usr/share/man/man1/ipbori2.7.1.gz
    • /usr/share/polybori/ipbori/ipbori2.7


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