sri-csl/libpoly issues and pull requests

#31 - Adding wrapper classes for lp_dyadic_rational_t and lp_dyadic_interval_t.

Pull Request - State: closed - Opened by nafur over 4 years ago

#30 - Adding wrapper classes for lp_integer_t and lp_rational_t

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#30 - Adding wrapper classes for lp_integer_t and lp_rational_t

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#29 - Made usage of lp_int_ring_t* const at more places.

Pull Request - State: closed - Opened by nafur over 4 years ago

#29 - Made usage of lp_int_ring_t* const at more places.

Pull Request - State: closed - Opened by nafur over 4 years ago

#28 - lp_upolynomial_extended_gcd on lp_Z

Issue - State: closed - Opened by nafur over 4 years ago - 3 comments

#28 - lp_upolynomial_extended_gcd on lp_Z

Issue - State: closed - Opened by nafur over 4 years ago - 3 comments

#27 - Fix contains_zero check for upper bound.

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#27 - Fix contains_zero check for upper bound.

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#26 - Properly scale upper bound in lp_dyadic_interval_scale() for negative n.

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#26 - Properly scale upper bound in lp_dyadic_interval_scale() for negative n.

Pull Request - State: closed - Opened by nafur over 4 years ago - 1 comment

#25 - C++ wrapper -- General setup and Variable class

Pull Request - State: closed - Opened by nafur over 4 years ago - 6 comments

#25 - C++ wrapper -- General setup and Variable class

Pull Request - State: closed - Opened by nafur over 4 years ago - 6 comments

#24 - Adding const for (almost) all lp_int_ring_t* arguments.

Pull Request - State: closed - Opened by nafur over 4 years ago

#24 - Adding const for (almost) all lp_int_ring_t* arguments.

Pull Request - State: closed - Opened by nafur over 4 years ago

#23 - Take arguments as const pointers for lp_int_ring_equal.

Pull Request - State: closed - Opened by nafur over 4 years ago

#23 - Take arguments as const pointers for lp_int_ring_equal.

Pull Request - State: closed - Opened by nafur over 4 years ago

#22 - Unimplemented: lp_dyadic_rational_cmp_rational

Issue - State: closed - Opened by nafur over 4 years ago

#22 - Unimplemented: lp_dyadic_rational_cmp_rational

Issue - State: closed - Opened by nafur over 4 years ago

#21 - Intervals

Pull Request - State: closed - Opened by dddejan over 4 years ago

#21 - Intervals

Pull Request - State: closed - Opened by dddejan over 4 years ago

#20 - Python bindings check fails on 32-bit

Issue - State: open - Opened by dddejan almost 5 years ago

#20 - Python bindings check fails on 32-bit

Issue - State: open - Opened by dddejan almost 5 years ago

#19 - a setup.py.in that works with setuptools

Pull Request - State: closed - Opened by ianamason over 5 years ago

#19 - a setup.py.in that works with setuptools

Pull Request - State: closed - Opened by ianamason over 5 years ago

#18 - Another Python3 Port (YAPP?)

Pull Request - State: closed - Opened by ianamason over 5 years ago - 15 comments

#18 - Another Python3 Port (YAPP?)

Pull Request - State: closed - Opened by ianamason over 5 years ago - 15 comments

#17 - Port to Python 3

Pull Request - State: closed - Opened by encukou over 6 years ago - 3 comments

#17 - Port to Python 3

Pull Request - State: closed - Opened by encukou over 6 years ago - 3 comments

#16 - Please support python3

Issue - State: closed - Opened by yurivict over 6 years ago - 3 comments
Labels: enhancement, help wanted

#16 - Please support python3

Issue - State: closed - Opened by yurivict over 6 years ago - 3 comments
Labels: enhancement, help wanted

#15 - make check on MacOS X

Issue - State: open - Opened by BrunoDutertre almost 7 years ago - 13 comments

#15 - make check on MacOS X

Issue - State: open - Opened by BrunoDutertre almost 7 years ago - 13 comments

#14 - fix typo in cad.py

Pull Request - State: closed - Opened by shaunharker almost 7 years ago - 1 comment

#14 - fix typo in cad.py

Pull Request - State: closed - Opened by shaunharker almost 7 years ago - 1 comment

#13 - lp_algebraic_number_add has assertion failure when the inputs are actually dyadic rationals

Issue - State: closed - Opened by dillonhuff over 7 years ago - 1 comment
Labels: bug

#13 - lp_algebraic_number_add has assertion failure when the inputs are actually dyadic rationals

Issue - State: closed - Opened by dillonhuff over 7 years ago - 1 comment
Labels: bug

#12 - debian package issues (Bug#864838)

Issue - State: closed - Opened by ianamason over 7 years ago - 2 comments

#12 - debian package issues (Bug#864838)

Issue - State: closed - Opened by ianamason over 7 years ago - 2 comments

#11 - Get rid of static "zero" coefficient in coefficient.c

Issue - State: open - Opened by dddejan over 7 years ago

#11 - Get rid of static "zero" coefficient in coefficient.c

Issue - State: open - Opened by dddejan over 7 years ago

#10 - closes itp bug.

Pull Request - State: closed - Opened by ianamason over 7 years ago

#10 - closes itp bug.

Pull Request - State: closed - Opened by ianamason over 7 years ago

#9 - Not perfect, but ready for the debian mentoring process methinks.

Pull Request - State: closed - Opened by ianamason over 7 years ago - 1 comment

#9 - Not perfect, but ready for the debian mentoring process methinks.

Pull Request - State: closed - Opened by ianamason over 7 years ago - 1 comment

#8 - Add division for algebraic numbers

Issue - State: open - Opened by dddejan over 8 years ago

#8 - Add division for algebraic numbers

Issue - State: open - Opened by dddejan over 8 years ago

#7 - Gosh whats with all the fonts and even tex? My vagrant box asploded!

Issue - State: closed - Opened by ianamason almost 9 years ago - 1 comment

#7 - Gosh whats with all the fonts and even tex? My vagrant box asploded!

Issue - State: closed - Opened by ianamason almost 9 years ago - 1 comment

#6 - Add an implementation of open_memstream

Issue - State: open - Opened by dddejan over 9 years ago - 3 comments