From e5e2ac399c225a8c7248e1879e192eba00067538 Mon Sep 17 00:00:00 2001 From: Richard Kreckel Date: Sat, 10 Jul 2004 00:06:29 +0000 Subject: [PATCH] * Check polynomialism of resultant() args. --- ginac/normal.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ginac/normal.cpp b/ginac/normal.cpp index 8ba5df0d..1e7ed3a2 100644 --- a/ginac/normal.cpp +++ b/ginac/normal.cpp @@ -2381,6 +2381,10 @@ ex resultant(const ex & e1, const ex & e2, const ex & s) { const ex ee1 = e1.expand(); const ex ee2 = e2.expand(); + if (!ee1.info(info_flags::polynomial) || + !ee2.info(info_flags::polynomial)) + throw(std::runtime_error("resultant(): arguments must be polynomials")); + const int h1 = ee1.degree(s); const int l1 = ee1.ldegree(s); const int h2 = ee2.degree(s); -- 2.45.0