public static boolean polynomialQ(final IExpr polnomialExpr, final IAST variables) {
try {
IExpr expr = F.evalExpandAll(polnomialExpr);
ASTRange r = new ASTRange(variables, 1);
JASConvert<IExpr> jas = new JASConvert<IExpr>(r.toList(), new ExprRingFactory());
return jas.expr2IExprJAS(expr) != null;
} catch (JASConversionException e) {
// exception will be thrown if the expression is not a JAS polynomial
}
return false;
}
