type/radalgnum - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/radalgnum

check for an algebraic number in radical or RootOf notation

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(expr, radalgnum)

Parameters

expr

-

any expression

Description

• 

The call type(expr, radalgnum) checks if expr is an algebraic number in RootOf or radical notation.

• 

An algebraic number is defined as either a rational number, a root of a univariate polynomial with algebraic number coefficients, specified by a RootOf, or an n-th root of an algebraic number. A sum, product, or quotient of these is also an algebraic number.

• 

For example, both 2  and RootOf(z^2-2, z) are of type radalgnum.

Examples

type23,radalgnum

true

(1)

typeRootOfz2+1,z,radalgnum

true

(2)

r1RootOf_Z5+_Z+212

r1RootOf_Z5+_Z+2

(3)

typer1,radalgnum

true

(4)

typer1,algnum

false

(5)

r22+RootOf_Z5+_Z+323

r22+RootOf_Z5+_Z+323

(6)

typer2,radalgnum

true

(7)

typer2,radnum

false

(8)

typeRootOf_Z12+2,radalgnum

false

(9)

typeln2,radalgnum

false

(10)

type5RootOfz22,z,radalgnum

true

(11)

typeRootOfz2+y,z,radalgnum

false

(12)

See Also

convert/radical

convert/RootOf

type

type/algext

type/algnum

type/radalgfun

type/radext

type/radnum