From 881ec43256f63ff54a39b2b8ff4cc62af42a7f8b Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sun, 25 Jan 2026 20:08:52 -1000 Subject: [PATCH] restore a deleted function Signed-off-by: Lev Nachmanson --- src/math/polynomial/polynomial.h | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/math/polynomial/polynomial.h b/src/math/polynomial/polynomial.h index 37db20a1d..5774e6e13 100644 --- a/src/math/polynomial/polynomial.h +++ b/src/math/polynomial/polynomial.h @@ -1398,6 +1398,13 @@ inline polynomial_ref resultant(polynomial_ref const & p, polynomial_ref const & return polynomial_ref(r); } +inline polynomial_ref discriminant(polynomial_ref const & p, unsigned x) { + polynomial::manager & m = p.m(); + polynomial_ref r(m); + m.discriminant(p, x, r); + return polynomial_ref(r); +} + inline bool is_pos(polynomial_ref const & p) { return p.m().is_pos(p); }