|
type/radalgfun - check for an algebraic function in RootOf or radical notation
|
|
Calling Sequence
|
|
type(expr, radalgfun)
type(expr, radalgfun(K))
type(expr, radalgfun(K, V))
|
|
|
Parameters
|
|
|
expr
|
-
|
expression
|
|
K
|
-
|
type name; for coefficient domain such as rational or anything
|
|
V
|
-
|
(optional) name or list or set of names; variable(s)
|
|
|
|
|
|
Description
|
|
|
•
|
An expression expr is of type radalgfun if it is an expression in the variable(s) V over the domain K extended by (polynomial) RootOfs or radicals.
|
|
•
|
The domain specification K must be a type name, such as rational or anything. If K is omitted, then it defaults to type constant.
|
|
•
|
The optional argument V is an indeterminate or a list or set of indeterminates. If V is not specified, then all the indeterminates of expr, which are names, are used. That is, expr must be an algebraic function in all of its variables.
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
>
|
![type(f, radalgfun(rational, [y, z]))](/support/helpjp/helpview.aspx?si=6331/file04652/math158.png)
|
|
| (7) |
|
>
|
![type(f, algfun(rational, [y, z]))](/support/helpjp/helpview.aspx?si=6331/file04652/math165.png)
|
|
| (8) |
|
>
|
|
|
| (9) |
|
>
|
|
|
| (10) |
|
>
|
|
|
| (11) |
|
>
|
|
|
| (12) |
|
|
Download Help Document
Was this information helpful?
