Issues

• error: identifier '_mpz' preceded by whitespace in a literal operator declaration is deprecated [-Werror,-Wdeprecated-literal-operator] 2163 | inline mpz_class operator"" _mpz(const char* s)

  SRI-CSL/libpoly#111 · Filter by author yurivict opened on Jun 21, 2026

• Variable is not context aware

  SRI-CSL/libpoly#98 · Filter by author Ovascos opened on Oct 25, 2025

• Tests fail to build on the powerpc64, powerpc64le architectures: error: invalid operand for instruction

  SRI-CSL/libpoly#74 · Filter by author yurivict opened on Jan 13, 2024

• Python bindings check fails on 32-bit

  SRI-CSL/libpoly#20 · Filter by author dddejan opened on Apr 3, 2020

• make check on MacOS X

  SRI-CSL/libpoly#15 · Filter by author BrunoDutertre opened on Apr 19, 2018
  13

  

• Get rid of static "zero" coefficient in coefficient.c

  SRI-CSL/libpoly#11 · Filter by author dddejan opened on Jul 25, 2017

• Add division for algebraic numbers

  SRI-CSL/libpoly#8 · Filter by author dddejan opened on Nov 17, 2016

• Add an implementation of open_memstream

  SRI-CSL/libpoly#6 · Filter by author dddejan opened on Jul 8, 2015
  3

  

• Model and variable order should be merged

  SRI-CSL/libpoly#5 · Filter by author dddejan opened on May 27, 2015

• Polynomial set_external doesn't really make sense

  SRI-CSL/libpoly#4 · Filter by author dddejan opened on May 27, 2015

• Add timestamps to assignment to hash model-based computations

  SRI-CSL/libpoly#3 · Filter by author dddejan opened on May 27, 2015

• polynomial_ctx to hash expensive ops

  SRI-CSL/libpoly#2 · Filter by author dddejan opened on May 27, 2015