Summary
LibPoly is a C library for manipulating polynomials. The target applications are symbolic reasoning engines, such as SMT solvers, that need to reason about polynomial constraints. It is research software under development, so the features and the API might change rapidly.
Versions
v0.1.11 :: 0/0.1.11 :: gentoo
- Modified
- License
- LGPL-3+
- Keywords
- ~amd64 ~x86
- USE flags
- python
USE flags
General
- python
- Add optional support/bindings for the Python language
python_single_target
- python3_10
- Build for Python 3.10 only
- python3_11
- Build for Python 3.11 only
- python3_12
- Build for Python 3.12 only
Dependencies
dev-lang / python : An interpreted, interactive, object-oriented programming language
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
dev-python / sympy : Computer Algebra System in pure Python
Runtime Dependencies
dev-lang / python : An interpreted, interactive, object-oriented programming language
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
dev-python / sympy : Computer Algebra System in pure Python
Depending packages
sci-mathematics / yices2 : SMT Solver supporting SMT-LIB and Yices specification language
Bugs
- 887129
- sci-mathematics/libpoly-0.1.11 fails to compile (CLANG-STRICTER-SYSTEM): factorization.c:1269:7: error: variable enabled_count set but not used [-Werror,-Wunused-but-set-variable]
- 907036
- sci-mathematics/libpoly-0.1.11 - mv: cannot move .../lib to a subdirectory of itself, /var/tmp/portage/sci-mathematics/libpoly-0.1
- 914390
- sci-mathematics/libpoly-0.1.11 - /.../integer.h: fatal error: gmpxx.h: No such file or directory
- 928094
- sci-mathematics/libpoly-0.1.11 fails to compile: polypyPolynomial3.c:260:5: error: initialization of Py_hash_t ()(PyObject ) {aka int ()(struct _object )} from incompatible pointer type long int ()(PyObject ) {aka long int ()(struct _object )} [-Wincompa
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Pacho Ramos · gentoo
sci-mathematics/libpoly: enable py3.12
Closes: https://bugs.gentoo.org/929793 Signed-off-by: Pacho Ramos <pacho@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Andrew Ammerlaan · gentoo
sci-mathematics/libpoly: enable py3.11
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/libpoly: remove -Werror
Closes: https://bugs.gentoo.org/887109 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/libpoly: new package; add 0.1.11
Signed-off-by: Maciej Barć <xgqt@gentoo.org>