diff options
author | Gereon Kremer <gkremer@stanford.edu> | 2021-01-07 22:55:31 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-07 15:55:31 -0600 |
commit | 497a685f14ff12eb05e4aa6ad7b05682609bf7a9 (patch) | |
tree | 198953b8dee2cd38ab1da59afb4d9f882a93022a /src/context/cdtrail_queue.h | |
parent | 2043e2a4f57942b6b81ae437de8a2aa00ffcd32f (diff) |
Make sure polynomials are properly factorized in nl-cad (#5733)
CAD theory (used in nl-cad) requires that polynomials are properly factorized (a finest square-free basis). This PR replaces usage of raw std::vector by a new wrapper PolyVector that ensures proper factorization whenever a polynomial is added. This fixes one piece of code that omitted factorization, leading to soundness issues as in #5726.
Fixes #5726.
Diffstat (limited to 'src/context/cdtrail_queue.h')
0 files changed, 0 insertions, 0 deletions