|
type/radext - check for an algebraic extension in terms of radicals
|
|
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  .
|
|
•
|
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
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
|
Download Help Document
Was this information helpful?
