python-polybori_0.8.3-5build1_amd64.deb


Advertisement

Description

python-polybori - polynomials over Boolean Rings, Python module

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe amd64
Package name: python-polybori
Package version: 0.8.3
Package release: 5build1
Package architecture: amd64
Package type: deb
Installed size: 1.97 KB
Download size: 325.34 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 Python module.

Alternatives

    Download

    Source package: polybori

    Install Howto

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

    Files

    • /usr/lib/python2.7/dist-packages/polybori/PyPolyBoRi.py
    • /usr/lib/python2.7/dist-packages/polybori/__init__.py
    • /usr/lib/python2.7/dist-packages/polybori/addition.py
    • /usr/lib/python2.7/dist-packages/polybori/blocks.py
    • /usr/lib/python2.7/dist-packages/polybori/check_claims.py
    • /usr/lib/python2.7/dist-packages/polybori/cluster.py
    • /usr/lib/python2.7/dist-packages/polybori/cnf.py
    • /usr/lib/python2.7/dist-packages/polybori/coding.py
    • /usr/lib/python2.7/dist-packages/polybori/context.py
    • /usr/lib/python2.7/dist-packages/polybori/easy_polynomials.py
    • /usr/lib/python2.7/dist-packages/polybori/fglm.py
    • /usr/lib/python2.7/dist-packages/polybori/frontend.py
    • /usr/lib/python2.7/dist-packages/polybori/gbcore.py
    • /usr/lib/python2.7/dist-packages/polybori/gbrefs.py
    • /usr/lib/python2.7/dist-packages/polybori/general_boolean_polynomial.py
    • /usr/lib/python2.7/dist-packages/polybori/heuristics.py
    • /usr/lib/python2.7/dist-packages/polybori/interpolate.py
    • /usr/lib/python2.7/dist-packages/polybori/interred.py
    • /usr/lib/python2.7/dist-packages/polybori/intersect.py
    • /usr/lib/python2.7/dist-packages/polybori/intpolys.py
    • /usr/lib/python2.7/dist-packages/polybori/ll.py
    • /usr/lib/python2.7/dist-packages/polybori/memusage.py
    • /usr/lib/python2.7/dist-packages/polybori/ncf.py
    • /usr/lib/python2.7/dist-packages/polybori/nf.py
    • /usr/lib/python2.7/dist-packages/polybori/parallel.py
    • /usr/lib/python2.7/dist-packages/polybori/parsegat.py
    • /usr/lib/python2.7/dist-packages/polybori/partial.py
    • /usr/lib/python2.7/dist-packages/polybori/plot.py
    • /usr/lib/python2.7/dist-packages/polybori/randompoly.py
    • /usr/lib/python2.7/dist-packages/polybori/rank.py
    • /usr/lib/python2.7/dist-packages/polybori/simplebb.py
    • /usr/lib/python2.7/dist-packages/polybori/specialsets.py
    • /usr/lib/python2.7/dist-packages/polybori/statistics.py
    • /usr/lib/python2.7/dist-packages/polybori/dynamic/PyPolyBoRi.so
    • /usr/lib/python2.7/dist-packages/polybori/dynamic/__init__.py
    • /usr/share/doc/python-polybori/changelog.Debian.gz
    • /usr/share/doc/python-polybori/copyright

    Changelog

    Advertisement
    Advertisement