|
type/radfun - check for a radical function
|
|
Calling Sequence
|
|
type(expr, radfun)
type(expr, radfun(K))
type(expr, radfun(K, V))
|
|
|
Parameters
|
|
|
expr
|
-
|
expression
|
|
K
|
-
|
type name for the coefficient domain
|
|
V
|
-
|
variable or a list or set of variables
|
|
|
|
|
|
Description
|
|
|
•
|
An expression expr is of type radfun (radical function) if it is a rational function in the variable(s) V over the domain K extended by radicals or the number I.
|
|
•
|
If no variables were specified, all the indeterminates of expr which are names are used, so expr must be an algebraic function in all of its variables.
|
|
•
|
If no domain is specified, the default domain 'constant' is used.
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
![type(sqrt(x-y), radfun(rational, [x, y]))](/support/helpjp/helpview.aspx?si=5302/file04655/math108.png)
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
>
|
|
|
| (7) |
|
>
|
|
|
| (8) |
|
|
Download Help Document
Was this information helpful?
