>
|
|
We define the geometric power series in the variables and .
>
|
|
| (1) |
It is initially computed only to low precision.
If we update its precision, then the Truncate command returns more terms.
>
|
|
| (3) |
| (4) |
We can get lower precision by specifying the truncation degree.
We define a univariate polynomial over power series involving .
>
|
|
| (6) |
The constant and linear coefficients of are known to a different precision than the quadratic coefficient. By default, the Truncate command returns all known coefficients regardless of degree.
| (7) |
If we specify the truncation degree as 2, then more terms of the constant and linear coefficient are computed and some terms of the quadratic coefficient are omitted.
| (8) |
Now, let's create a Puiseux series using a as a base.
>
|
|
| (9) |
We truncate s.
| (10) |
Note that to get the same answer, we can Truncate a, apply the change of variables [x=u^(1/2)v^(3/5), y=uv^(-1/5)], and then multiply by .
>
|
|
| (11) |
Finally, we truncate s using mode=absolute.
>
|
|
| (12) |
Finally, we create a univariate polynomial over power series from a list of Puiseux series.
>
|
|
| (13) |
We truncate -h.
| (14) |