type/radfun - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/radfun

check for a radical function

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(expr, radfun)

type(expr, radfun(K))

type(expr, radfun(K, V))

Parameters

expr

-

expression

K

-

type name for the coefficient domain

V

-

variable or a list or set of variables

Description

• 

An expression expr is of type radfun (radical function) if it is a rational function in the variable(s) V over the domain K extended by radicals or the number I.

• 

If no variables were specified, all the indeterminates of expr which are names are used, so expr must be an algebraic function in all of its variables.

• 

If no domain is specified, the default domain 'constant' is used.

Examples

typex1x,radfuninteger

true

(1)

typexy,radfunrational,x,y

true

(2)

typexsiny,radfunanything,x

true

(3)

typexsiny,radfunanything,y

false

(4)

typex+1,radfun

true

(5)

typex+2,radfunrational,x

true

(6)

typex+y,radfun

true

(7)

typex+ⅇx,radfun

false

(8)

See Also

I

type

type/algfun

type/radalgfun

type/radext

type/radnum