check for an algebraic extension - Maple Help

Online Help

All Products    Maple    MapleSim


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

type/algext - check for an algebraic extension

Calling Sequence

type(expr, algext)

type(expr, algext(K))

Parameters

expr

-

any expression

K

-

(optional) type name for the coefficient domain

Description

• 

type(expr, algext) checks for an algebraic extension  by determining if expr is a root of a univariate polynomial specified by a RootOf.

• 

type(expr, algext(K)) checks whether expr is a RootOf of a univariate polynomial with coefficients in the domain K.  For example, K could be integer, rational, or a more complicated type like polynom(algnum).

Examples

typeRootOf_Z2+5,algext

true

(1)

typeRootOfcos_Z_Z,algext

false

(2)

typeRootOf_Z2+5,algextinteger

true

(3)

typeRootOf_Z2y,algextrational

false

(4)

typeRootOf_Z2y,algextpolynomratpolyinteger,y

true

(5)

See Also

type, type/algfun, type/algnum, type/algnumext, type/integer, type/radext, type/rational, type/RootOf


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