RationalNormalForms[PolynomialNormalForm] - construct the polynomial normal form of a rational function
|
Calling Sequence
|
|
PolynomialNormalForm(F, x)
|
|
Parameters
|
|
F
|
-
|
rational function in x
|
x
|
-
|
variable
|
|
|
|
|
Description
|
|
•
|
The PolynomialNormalForm(F,x) function constructs the polynomial normal form for F, where F is a rational function in x over a field of characteristic .
|
|
Note: E is the automorphism of K(x) defined by {E(f(x)) = f(x+1)}.
|
•
|
This function is part of the RationalNormalForms package, and so it can be used in the form PolynomialNormalForm(..) only after executing the command with(RationalNormalForms). However, it can always be accessed through the long form of the command by using RationalNormalForms[PolynomialNormalForm](..).
|
|
|
Examples
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
Check the results.
Condition 1:
>
|
|
| (3) |
Condition 2:
>
|
|
| (4) |
Condition 3:
>
|
|
| (5) |
|
|
References
|
|
|
Petkovsek, M.; Wilf, H.; and Zeilberger, D. A=B. Wellesley, Massachusetts: A. K. Peters Ltd., 1996.
|
|
|
Download Help Document
Was this information helpful?