Rational CRA typing issues with polynomials

linbox-team / linbox

LinBox - C++ library for exact, high-performance linear algebra

https://linbox-team.github.io/linbox

GNU Lesser General Public License v2.1

83 stars 28 forks source link

Rational CRA typing issues with polynomials #121

Open ClementPernet opened 6 years ago

ClementPernet commented 6 years ago

Motivation: use rational chinese remaindering with polynomials. So far rational-cra2.h only proposes to work with generic vectors (not knowing their base field), but varprec-cra-early-multip.h line 96 requires it. Branch rational_vector_cra_types starts to address this issue.

Breush commented 6 years ago

test-rat-charpoly seems to fail since https://github.com/linbox-team/linbox/commit/08d8227dccb63ae5656bf14b8196d26f198fb890#diff-39faa23146ec85c57be9d6dc0f42a59dR482