type/radext - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/radext

check for an algebraic extension in terms of radicals

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type (expr, radext))

type (expr, radext(K))

Parameters

expr

-

any expression

K

-

(optional) type name for the coefficient domain

Description

• 

The type(expr, radext) function checks if expr is a radical extension of the real numbers.  It is equivalent to type(expr, radical) or expr=I.

• 

The type(expr, radext(K)) function checks whether expr is a radical expression where the expression under the root sign belongs to the domain K.  For example, K could be integer or rational.

• 

This function returns true if expr is such an expression. Otherwise, false is returned.

Examples

typex2+5,radext

true

(1)

typex2+543,radextpolynom

true

(2)

type5356,radextrational

false

(3)

type5356,radextradnum

true

(4)

type23,radext

false

(5)

See Also

I

type

type/algext

type/radext

type/radfunext

type/radnum

type/radnumext

type/RootOf