type/algext
check for an algebraic extension
Calling Sequence
Parameters
Description
Examples
type(expr, algext)
type(expr, algext(K))
expr
-
any expression
K
(optional) type name for the coefficient domain
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).
typeRootOf_Z2+5,algext
true
typeRootOfcos_Z−_Z,algext
false
typeRootOf_Z2+5,algextinteger
typeRootOf_Z2−y,algextrational
typeRootOf_Z2−y,algextpolynomratpolyinteger,y
See Also
type
type/algfun
type/algnum
type/algnumext
type/integer
type/radext
type/rational
type/RootOf
Download Help Document