|
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
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
|
Download Help Document
Was this information helpful?
