|
type/algfun - check for an algebraic function
|
|
Calling Sequence
|
|
type(expr, algfun)
type(expr, algfun(K))
type(expr, algfun(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 algfun (algebraic function) if it is an expression in the variable(s) V over the domain K extended by (polynomial) RootOfs.
|
|
•
|
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) |
|
>
|
![type(f, algfun(rational, [y, z]))](/support/helpjp/helpview.aspx?si=5298/file04574/math147.png)
|
|
| (6) |
|
|
Download Help Document
Was this information helpful?
