python-polybori_0.8.3-3+b2_i386.deb


Advertisement

Description

python-polybori - polynomials over Boolean Rings, Python module

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name python-polybori
Package version 0.8.3
Package release 3+b2
Package architecture i386
Package type deb
Installed size 1.87 KB
Download size 335.90 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 Python module.

Alternatives

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

Requires

Name Value
libboost-python1.55.0 -
libc6 >= 2.4
libgcc1 >= 1:4.1.1
libm4ri-0.0.20140914 -
libpolybori-0.8-3 = 0.8.3-3+b2
libpolybori-groebner-0.8-3 = 0.8.3-3+b2
libstdc++6 >= 4.4.0
python >= 2.7
python << 2.8

Download

Type URL
Binary Package python-polybori_0.8.3-3+b2_i386.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/changelog.Debian.i386.gz
/usr/share/doc/python-polybori/changelog.gz
/usr/share/doc/python-polybori/copyright

Changelog

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

See Also

Package Description
python-popcon_1.1_all.deb Python interface to Debian's Popularity Contest (popcon)
python-poppler-qt4_0.16.3-2+b5_i386.deb Python binding to Poppler Qt4 C++ library
python-poppler_0.12.1-8.1_i386.deb Poppler Python bindings
python-portalocker_0.5.1-1_all.deb easy API to file locking (Python 2)
python-posix-ipc_0.9.8-2+b1_i386.deb semaphores, shared memory and message queues - Python 2.x
python-poster_0.8.1-0.1_all.deb Python support for HTTP multipart PUT/POST
python-potr_1.0.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_1.2-2_all.deb powerline documentation
python-powerline_1.2-2_all.deb powerline python2 library
python-pp_1.6.4-1_all.deb parallel and distributed programming toolkit for Python
python-pqueue_0.2-7.2_i386.deb a priority queue extension for Python
python-prctl_1.1.1-1.1_i386.deb Python interface to the prctl() syscall
python-prelude_1.0.0-11.4_i386.deb Security Information Management System [ Base library ]
python-preludedb_1.0.0-2.3_i386.deb Security Information Management System [ Base library ]
Advertisement
Advertisement