type/polynom - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/polynom

type/polynom

check for a polynomial

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(a, polynom)

type(a, polynom(d))

type(a, polynom(d, v))

Parameters

a

-

any expression

d

-

(optional) type name for the coefficient domain

v

-

(optional) variable(s)

Description

• 

The call type(a, polynom(d, v)) checks to see if a is a polynomial in the variables v with coefficients in the domain d. A typical calling sequence is

typea,polynominteger,x

  

which tests to see if a is a polynomial in x over the integers.

• 

The parameter v can be a single indeterminate, or can be a list or set of indeterminates. The latter case tests for a multivariate polynomial.

• 

If v is omitted, then it is taken to be a set of all the indeterminates of type name appearing in a.  Thus the function will check that a is a polynomial in all of its variables.

• 

The domain specification d should be a type name, such as rational or algnum (algebraic number).  If the domain specification is given as anything then no restriction is placed on the coefficients.  If d is omitted, then it defaults to type constant.

Examples

typex2+yz,polynom

true

(1)

typesinx+y,polynomanything,x

false

(2)

typesinx+y,polynomanything,y

true

(3)

typef1x+212,polynom

true

(4)

typex2+y33,polynomanything,x,y

true

(5)

typex+12,polynominteger

false

(6)

typex+12,polynomrational

true

(7)

typesinx2+1sinx2,polynomrational

false

(8)

typesinx2+1sinx2,polynomrational,sinx

true

(9)

See Also

indets

polynom

type

type/constant

type/monomial

type/ratpoly