sci-mathematics / libpoly

C library for manipulating polynomials

Official package sites : https://github.com/SRI-CSL/libpoly/ ·

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.

v0.1.11 :: 0/0.1.11 :: gentoo

Modified
License
LGPL-3+
Keywords
~amd64 ~x86
USE flags
python

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

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

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

sci-mathematics / yices2 : SMT Solver supporting SMT-LIB and Yices specification language

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