check for an algebraic function in RootOf or radical notation - Maple Help

Online Help

All Products    Maple    MapleSim


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

type/radalgfun - check for an algebraic function in RootOf or radical notation

Calling Sequence

type(expr, radalgfun)

type(expr, radalgfun(K))

type(expr, radalgfun(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 radalgfun if it is an expression in the variable(s) V over the domain K extended by (polynomial) RootOfs or radicals.

• 

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,radalgfunrational,x

true

(1)

typex1RootOfz3+z+x,z,radalgfunrational,x

true

(2)

f:=1+2RootOfx32+y,x+yz

f:=1+2RootOf_Z32+y+yz

(3)

typef,radalgfunanything

true

(4)

typef,radalgfunrational

true

(5)

typef,radalgfunrational,y

false

(6)

typef,radalgfunrational,y,z

true

(7)

typef,algfunrational,y,z

false

(8)

g:=2+RootOfx5+x+y,x23

g:=12+RootOf_Z5+_Z+y2/3

(9)

typeg,radalgfunrational,y

true

(10)

typeg,algfunrational,y

false

(11)

typeg,radfunrational,y

false

(12)

See Also

convert/radical, convert/RootOf, type, type/algext, type/algfun, type/radalgnum, type/radext, 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