type/ratpoly - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/ratpoly

check for a rational polynomial

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(expr, ratpoly)

type(expr, ratpoly(K))

type(expr, ratpoly(K, v))

Parameters

expr

-

any expression

K

-

type name for the coefficient domain

v

-

variable(s)

Description

• 

The call type(expr, ratpoly(K, v)) checks to see if expr is a rational function in the variables v with coefficients in the domain K.

• 

A typical calling sequence would be type(a, ratpoly(integer, x)) which tests to see if a is a rational polynomial in x over the integers.

• 

The variable(s) v can be a single indeterminate or a list or set of indeterminates.  If v is omitted, then it defaults to a list of all indeterminates of type name in expr.

• 

The domain specification K is a type name such as integer or algnum (algebraic number). If the domain specification is omitted, then it defaults to type constant.

Examples

type1+x1y,ratpoly

true

(1)

type1+sinxy,ratpoly

false

(2)

type1+sinxy,ratpolyanything,y

true

(3)

type1f1+1x,ratpoly

true

(4)

typesinzcoszx,ratpolyanything,x

true

(5)

typex+2x2,ratpolyradnum

true

(6)

See Also

indets

ratpoly

type

type[polynom]