Improve method PowerSeries._pari_()

[pjbruin]

A minor improvement split off from #15601. This makes the method PowerSeries._pari_() slightly more efficient, and also makes it accept power series with infinite precision (by converting them to PARI t_POL instead of t_SER).

Depends on #22216

Component: interfaces

Author: Peter Bruin

Branch/Commit: 4ed448f

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/22212

[pjbruin]

Commit: 4ed448f

[pjbruin]

Branch: u/pbruin/22212-PowerSeries_to_pari

[pjbruin]

Dependencies: #22216

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:4

If PARI doesn't care so much about the difference between a polynomial and a series (I don't really know how PARI deals with these things), then LGTM and you can set a positive review.

[pjbruin]

comment:5

Replying to @tscrim:

If PARI doesn't care so much about the difference between a polynomial and a series (I don't really know how PARI deals with these things), then LGTM and you can set a positive review.

Thanks. In PARI, polynomials and power series can be mixed easily, just like in Sage polynomial rings coerce into power series rings. In fact, power series with infinite precision are implemented in #15601 using PARI polynomials.

[tscrim]

comment:6

Replying to @pjbruin:

Replying to @tscrim:

If PARI doesn't care so much about the difference between a polynomial and a series (I don't really know how PARI deals with these things), then LGTM and you can set a positive review.

Thanks. In PARI, polynomials and power series can be mixed easily, just like in Sage polynomial rings coerce into power series rings. In fact, power series with infinite precision are implemented in #15601 using PARI polynomials.

Thank you for the explanation. That is what I was thinking, but it is good to have confirmation.

[vbraun]

Changed branch from u/pbruin/22212-PowerSeries_to_pari to 4ed448f