Max Alekseyev

This tiny example gives the error `ReductionError: CVP solver returned an error (5)`: CVP.closest_vector(IntegerMatrix.from_matrix( [(3,-2)] ), (2,-1) ) What's wrong?

I've seen this issue first in Sage: https://trac.sagemath.org/ticket/34091 and decided to give fpylll a try as well. It neither ever finishes the job but at least prints a bunch of...

feature request: a way to obtain status of each of the factors

1

FactorDB can provide status for each of the factors, however I do not see how this can be accessed by factordb-python besides just additionally trying to "factor" each of the...

unable to retrieve factors of 2**(2**20)-1

4

While the factors of `2**(2**20)-1` are present in http://factordb.com/index.php?query=2%5E%282%5E20%29-1 `factordb-python` is unable to retrieve them. `.connect()` returns .

Computing roots "modulo an integer" is not supported

1

It is "finding small integer roots of a bivariate polynomial modulo an integer", however there is no way to specify this integer. Only polynomials over Z (not Z/mZ) are supported.

this version is outdated as compared to original SVN

1

Original repository lives at https://svn.code.sf.net/p/msieve/code/ and it currently offer version 1.54 (as compared to 1.46 offered here).

A small modification of the example code in issue #32 results in the error SetLength: can't change this vector's length The Sage code is quoted below and it can also...

Running integrate on a small polytope as explained at https://ask.sagemath.org/question/64141/ and illustrated [at Sagecell](https://sagecell.sagemath.org/?z=eJxNjsEKgzAQRO-C_7DHBNIQe_cfPJReREowqw2osZvtoX_fxFLiYZeZN8syE4UVop1R-42RJjti1ItlRvDrHogh85ksY1110EIXls8THYVNeHzFtu-NgkZB2mZQ0Cd5OVlzyKa4f17CDEtocn569JsMsroeN80wyLraKVUTpZ-ATo_OPe6EO2HEjS37VFMqSLi90RtBgvwCbbxCDQ==&lang=sage&interacts=eJyLjgUAARUAuQ==) results in the error: integrate: latte_gmp.cpp:76: NTL::ZZ convert_mpq_to_ZZ(__mpq_struct*): Assertion `elt.get_den() == 1' failed.

square multivariate polynomials are incorrectly detected for some term orders

1

### Steps To Reproduce The following code prints `False`, which is clearly wrong. At the same time, removing `order=f'degrevlex(1),degrevlex(2)'` from the ring `K` definition makes things work as expected. ```...