|
type/ratpoly - check for a rational polynomial
|
|
Calling Sequence
|
|
type(expr, ratpoly)
type(expr, ratpoly(K))
type(expr, ratpoly(K, v))
|
|
|
Parameters
|
|
|
expr
|
-
|
any expression
|
|
K
|
-
|
type name for the coefficient domain
|
|
v
|
-
|
variable(s)
|
|
|
|
|
|
Description
|
|
|
•
|
The call type(expr, ratpoly(K, v)) checks to see if expr is a rational function in the variables v with coefficients in the domain K.
|
|
•
|
A typical calling sequence would be type(a, ratpoly(integer, x)) which tests to see if a is a rational polynomial in x over the integers.
|
|
•
|
The variable(s) v can be a single indeterminate or a list or set of indeterminates. If v is omitted, then it defaults to a list of all indeterminates of type name in expr.
|
|
•
|
The domain specification K is a type name such as integer or algnum (algebraic number). If the domain specification is omitted, then it defaults to type constant.
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
|
Download Help Document
Was this information helpful?
