Ubuntu
polybori package

polybori 0.8.3-1~exp2build1 source package in Ubuntu

Changelog

polybori (0.8.3-1~exp2build1) trusty; urgency=low

  * No change rebuild for Boost 1.54 transition.
 -- Dmitrijs Ledkovs <email address hidden>   Tue, 22 Oct 2013 18:08:38 +0100

Upload details

Uploaded by:
Dimitri John Ledkov
Uploaded to:
Trusty
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
polybori_0.8.3.orig.tar.gz 2.2 MiB 9f60ba706e565e417ca8300a8d3f0596d1e4ded020502f114092fd846637a8f0
polybori_0.8.3-1~exp2build1.debian.tar.gz 9.5 KiB 366a6d424e55957158f7eea0e947c1159dd8eb73175a5fb6d1a720ec746c21f3
polybori_0.8.3-1~exp2build1.dsc 2.8 KiB a38c826c1f8fd6855148b5deb9f85474548af94b1f3a1222b755827866dd14f0

View changes file

Binary packages built by this source

libpolybori-0.8-3: polynomials over Boolean Rings, shared library

 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 shared library libpolybori.

libpolybori-0.8-3-dbg: debug symbols for libpolybori-0.8-3

 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 debugging symbols of PolyBoRi's shared libraries.

libpolybori-dev: polynomials over Boolean Rings, core development files

 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 core development files.

libpolybori-groebner-0.8-3: computer algebra routines of PolyBoRi

 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 shared library libpolybori_groebner.

libpolybori-groebner-0.8-3-dbg: debug symbols for libpolybori-groebner-0.8-3

 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 debugging symbols of PolyBoRi's shared library
 libpolybori-groebner.

libpolybori-groebner-dev: development files for libpolybori-groebner

 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 development files for libpolybori-groebner.

polybori: polynomials over Boolean Rings, custom ipython shell

 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 shell ipbori.

polybori-doc: polynomials over Boolean Rings, documentation

 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 documentation.

polybori-gui: polynomials over Boolean Rings, GUI

 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.

python-polybori: polynomials over Boolean Rings, Python module

 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.