polybori 0.8.3-1~exp2 source package in Ubuntu
Changelog
polybori (0.8.3-1~exp2) experimental; urgency=low * Added missing dependencies for test target * Generate cleaner pkgconfig files (Closes: #702056) * Install convenience header /user/include/polybori.h (Closes: #702056) * debian/patch - 0001-Added-libraries-symlinks-to-testsuite-dependencies-t.patch (new) Added libraries symlinks to testsuite dependencies to ensure that tests can be executed (from upstream) - 0002-Generate-clean-.pc-files-from-upstream.patch (new) Generate cleaner pkgconfig files (Closes: #702056) -- Alexander Dreyer <email address hidden> Tue, 12 Mar 2013 11:49:56 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Experimental
- Original maintainer:
- Debian Science Team
- Architectures:
- any all
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
polybori_0.8.3-1~exp2.dsc | 2.1 KiB | 1a9e4dbfb56d7be84b29bb1f6e5a255c624e9ff16a1bcf60751f64d6dbe60574 |
polybori_0.8.3.orig.tar.gz | 2.2 MiB | 9f60ba706e565e417ca8300a8d3f0596d1e4ded020502f114092fd846637a8f0 |
polybori_0.8.3-1~exp2.debian.tar.gz | 9.5 KiB | 821dfb6c7ce049dcc203c3b34b7c0e549ff00258838e2ecee8530a8d75ddd112 |
Available diffs
No changes file available.
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: No summary available for libpolybori-0.8-3-dbg in ubuntu saucy.
No description available for libpolybori-
0.8-3-dbg in ubuntu saucy.
- libpolybori-dev: No summary available for libpolybori-dev in ubuntu saucy.
No description available for libpolybori-dev in ubuntu saucy.
- libpolybori-groebner-0.8-3: No summary available for libpolybori-groebner-0.8-3 in ubuntu saucy.
No description available for libpolybori-
groebner- 0.8-3 in ubuntu saucy.
- libpolybori-groebner-0.8-3-dbg: No summary available for libpolybori-groebner-0.8-3-dbg in ubuntu saucy.
No description available for libpolybori-
groebner- 0.8-3-dbg in ubuntu saucy.
- 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: No summary available for polybori in ubuntu saucy.
No description available for polybori in ubuntu saucy.
- polybori-doc: No summary available for polybori-doc in ubuntu saucy.
No description available for polybori-doc in ubuntu saucy.
- polybori-gui: No summary available for polybori-gui in ubuntu saucy.
No description available for polybori-gui in ubuntu saucy.
- python-polybori: No summary available for python-polybori in ubuntu saucy.
No description available for python-polybori in ubuntu saucy.