check for an algebraic function - Maple 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

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)

f:=1+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