use minpoly in Expr.is_positive|negative