polybori-gui - polynomials over Boolean Rings, GUI

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name polybori-gui
Package version 0.8.3
Package release 3+b2
Package architecture i386
Package type deb
Installed size 71 B
Download size 39.45 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 PolyGUI.


Package Version Architecture Repository
polybori-gui_0.8.3-3+b2_amd64.deb 0.8.3 amd64 Debian Main
polybori-gui - - -


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


Type URL
Binary Package polybori-gui_0.8.3-3+b2_i386.deb
Source Package polybori

Install Howto

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




See polybori_0.8.3-3+b2_i386.deb changelog.

See Also

Package Description
polybori_0.8.3-3+b2_i386.deb polynomials over Boolean Rings, custom ipython shell
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