Assertion violation at CArL-EP/src/carl/core/polynomialfunctions/RootFinder.tpp:35 (qe)
rainoftime opened this issue · 1 comments
rainoftime commented
Hi, for the following formula,
smtrat (commit 97e3c34) throws an assertion violation
smtrat-static: /home/peisen/test/tofuzz/smtrat/build/resources/src/CArL-EP/src/carl/core/polynomialfunctions/RootFinder.tpp:35: std::vector<carl::RealAlgebraicNumber<Number> > carl::rootfinder::realRoots(const carl::UnivariatePolynomial<T>&, const std::map<carl::Variable, carl::RealAlgebraicNumber<Number> >&, const carl::Interval<Number>&) [with Coeff = carl::MultivariatePolynomial<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >; Number = __gmp_expr<__mpq_struct [1], __mpq_struct [1]>]: Assertion `varToRANMap.count(poly.mainVar()) == 0' failed
nafur commented
Please stop submitting issues if you don't know what you are doing. Our QE was never meant for integer problems.