7 polynomialp(sqrt(23),[x])$
13 polynomialp(1 + x * (sqrt(5) + x),[x])$
16 polynomialp(1 + x * (sqrt(5) + x),[y])$
19 polynomialp(1 + x * (sqrt(5) + y),[x,y])$
22 polynomialp(1 + sqrt(x),[x], 'numberp, 'numberp);
25 polynomialp(1 + sqrt(1 + sqrt(x)),[x], 'numberp, 'numberp);
28 polynomialp(1 + sqrt(x + sqrt(1 + x*y)),[x,y], 'numberp, 'numberp);
31 polynomialp(cos(x),[x]);
34 polynomialp(cos(x),[x], 'numberp, 'numberp);
37 polynomialp([x],[x], 'numberp, 'numberp);
40 polynomialp((1+x)^a,[x], 'constantp, lambda([e],freeof(x,e)));
43 polynomialp((1+x)^a,[x], 'constantp);
46 polynomialp(sin(p)*x^2+cos(p)*y^2-q,[x,y], lambda([ex],freeof(x,y,ex)));
49 /* Bug #3543: bug with polynomialp */
51 block ([z : factor (x[1])],
52 /* This should yield true even though the value of z has
53 * some extra stuff in its header compared to a vanilla x[1]
55 polynomialp (x[1], [z]));