type/algfun - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/algfun

check for an algebraic function

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(expr, algfun)

type(expr, algfun(K))

type(expr, algfun(K, V))

Parameters

expr

-

expression

K

-

type name; for coefficient domain such as rational or anything

V

-

(optional) name or list or set of names; variable(s)

Description

• 

An expression expr is of type algfun (algebraic function) if it is an expression in the variable(s) V over the domain K extended by (polynomial) RootOfs.

• 

The domain specification K must be a type name, such as rational or anything.  If K is omitted, then it defaults to type constant.

• 

The optional argument V is an indeterminate or a list or set of indeterminates.  If V is not specified, then all the indeterminates of expr, which are names, are used.  That is, expr must be an algebraic function in all of its variables.

Examples

typex1x,algfunrational,x

true

(1)

f1+2RootOfx3y,x+yz

f:=1+2RootOf_Z3y+yz

(2)

typef,algfunanything

true

(3)

typef,algfunrational

true

(4)

typef,algfunrational,y

false

(5)

typef,algfunrational,y,z

true

(6)

See Also

type

type/algext

type/algnum

type/radalgfun

type/radfun

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam