python-polybori_0.8.3-5build1_amd64.deb


Advertisement

Description

python-polybori - polynomials over Boolean Rings, Python module

Property Value
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

Package Version Architecture Repository
python-polybori_0.8.3-5build1_i386.deb 0.8.3 i386 Ubuntu Universe
python-polybori - - -

Requires

Name Value
libboost-python1.58.0 -
libc6 >= 2.14
libgcc1 >= 1:4.1.1
libm4ri-0.0.20140914 -
libpolybori-0.8-3 = 0.8.3-5build1
libpolybori-groebner-0.8-3 = 0.8.3-5build1
libstdc++6 >= 5.2
python << 2.8
python >= 2.7

Download

Type URL
Binary Package python-polybori_0.8.3-5build1_amd64.deb
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

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

See polybori_0.8.3-5build1_amd64.deb changelog.

See Also

Package Description
python-popcon_1.3_all.deb Python interface to Debian's Popularity Contest (popcon)
python-poppler-qt4_0.24.0-1build1_amd64.deb Python binding to Poppler-Qt4 C++ library (Python 2)
python-poppler_0.12.1-8.1_amd64.deb Poppler Python bindings
python-portalocker_0.5.5-1_all.deb easy API to file locking (Python 2)
python-poster_0.8.1-0.2_all.deb Python support for HTTP multipart PUT/POST
python-potr_1.0.1-1.1_all.deb Pure Python implementation of the OTR protocol
python-power_1.3+dfsg-1_all.deb Python module to get get power and battery status (Python 2)
python-powerline-doc_2.3-1_all.deb powerline documentation
python-powerline_2.3-1_all.deb powerline python2 library
python-pp_1.6.4-2_all.deb parallel and distributed programming toolkit for Python
python-pqueue_0.2-7.2_amd64.deb a priority queue extension for Python
python-praw_3.3.0-1_all.deb Python Reddit API Wrapper (Python 2 version)
python-prctl_1.1.1-1.2_amd64.deb Python interface to the prctl() syscall
python-preggy_1.1.3-1_all.deb Assertion library for Python
python-prelude_1.0.0-11.7ubuntu1_amd64.deb Security Information Management System [ Base library ]
Advertisement
Advertisement