* Check polynomialism of resultant() args.

diff --git a/ginac/normal.cpp b/ginac/normal.cpp
index 8ba5df0de4810f14485e588b306945381f2647cd..1e7ed3a290af6aa0395995527658f2096fe1439d 100644 (file)
--- 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();
 {
        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);
        const int h1 = ee1.degree(s);
        const int l1 = ee1.ldegree(s);
        const int h2 = ee2.degree(s);