polybori-gui_0.8.3-5build1_amd64.deb


Advertisement

Description

polybori-gui - polynomials over Boolean Rings, GUI

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Universe amd64
Package name polybori-gui
Package version 0.8.3
Package release 5build1
Package architecture amd64
Package type deb
Installed size 86 B
Download size 23.22 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 PolyGUI.

Alternatives

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

Requires

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

Download

Type URL
Binary Package polybori-gui_0.8.3-5build1_amd64.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

Files

Path
/usr/bin/PolyGUI
/usr/bin/PolyGUI2
/usr/bin/PolyGUI2.7
/usr/share/applications/PolyGUI.desktop
/usr/share/applications/PolyGUI2.7.desktop
/usr/share/applications/PolyGUI2.desktop
/usr/share/doc/polybori-gui/changelog.Debian.gz
/usr/share/doc/polybori-gui/copyright
/usr/share/man/man1/PolyGUI.1.gz
/usr/share/man/man1/PolyGUI2.1.gz
/usr/share/man/man1/PolyGUI2.7.1.gz
/usr/share/polybori/gui/PolyGUI2.7
/usr/share/polybori/gui/cnf2ideal.py
/usr/share/polybori/gui/polybori.png

Changelog

See polybori_0.8.3-5build1_amd64.deb changelog.

See Also

Package Description
polybori_0.8.3-5build1_amd64.deb polynomials over Boolean Rings, custom ipython shell
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
Advertisement
Advertisement