polybori-gui_0.8.3-5build1_amd64.deb


Advertisement

Description

polybori-gui - polynomials over Boolean Rings, GUI

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

    Download

    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

    • /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

    Advertisement
    Advertisement