>
|
|
We define two power series.
>
|
|
>
|
|
We compute their difference in two equivalent ways.
| (1) |
| (2) |
We verify that the two results are equal up to homogeneous degree 10.
>
|
|
We define two univariate polynomials over power series and compute their difference.
>
|
|
>
|
|
| (4) |
Create three Puiseux series.
>
|
|
| (5) |
>
|
|
| (6) |
>
|
|
| (7) |
We subtract and .
| (8) |
We get an error if we try to subtract and , since the orders [x,y] and [y,x] are not compatible.
We can use the command GetPuiseuxSeriesOrder to obtain the Puiseux series order of and .
>
|
|
>
|
|