On Fri, Feb 17, 2023 at 6:04 AM Nils Bruin wrote:
> From "PowerSeriesRing" docstring:
>
>There is a unique power series ring over each base ring with given
>variable name. Two power series over the same base ring with
>different variable names are not equal or isomorphic.
>
> However
>From "PowerSeriesRing" docstring:
There is a unique power series ring over each base ring with given
variable name. Two power series over the same base ring with
different variable names are not equal or isomorphic.
However (and I think it should be like that):
sage: P1.=PowerSeriesRin
