>
|
|
Create two power series.
>
|
|
>
|
|
Form their product.
| (1) |
One can also multiply a power series with a "plain" polynomial.
| (2) |
We create another power series, and multiply several power series and "plain" polynomials together.
>
|
|
>
|
|
| (3) |
To inspect the truncation of this product to degree 2, we can use the Truncate command.
We create a univariate polynomial over power series with main variable . We can multiply such a polynomial with a power series that is known to be polynomial in .
>
|
|
| (5) |
We can also multiply this polynomial with another univariate polynomial over power series, if it is polynomial in . The two calling sequences for this are equivalent, as suggested by the fact that and agree up to homogeneous degree 10.
>
|
|
| (6) |
| (7) |
Create three Puiseux series.
>
|
|
| (9) |
>
|
|
| (10) |
>
|
|
| (11) |
We multiply and .
| (12) |
We multiply with a polynomial.
| (13) |
We can multiply and the power series . The result is a Puiseux series.
| (14) |
We can also multiply and the univariate polynomial over power series . The result is again a Puiseux series.
| (15) |
We get an error if we try to multiply 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 .
>
|
|
>
|
|
Finally, we create a univariate polynomial over power series from a list of Puiseux series.
>
|
|
| (18) |
Now we multiply with .
| (19) |