>
|
|
We create a new power series object. Initially, it is known only to low precision.
| (1) |
If we update the precision, more terms are known.
>
|
|
| (3) |
We create a new polynomial over power series involving the power series defined above, , and a new power series, .
>
|
|
| (5) |
>
|
|
| (6) |
Because is new, it is again known only to low precision.
Updating the precision of updates the precision of each of its coefficients, and , if necessary. In this case, was already known to higher precision, but 's precision is updated.
>
|
|
| (8) |