type/radalgfun - 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

Parameters

Description

Examples

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)

f1+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)

g2+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