PS: there are probably some things that have to be replaced. For example,
LazyPowerSeriesRing has methods `sum_generator` and `product_generator`,
which are undocumented but seem to compute the sum/product of a sequence of
series where the n-th series (-1 in the product case) has valuation at
That's a misunderstanding: I am NOT attached to the name
LazyTaylorSeries(Ring).
I would prefer that the ticket goes in with the name we agree on, rather
than going in with a name that we deprecate in the same release.
Moreover, I do not know whether there will be a conflict with the
On Tuesday, August 16, 2022 at 9:04:00 AM UTC+9 Travis Scrimshaw wrote:
> the power series "is" a function (well, formally), we just usually think
> of it as being equal to an "easier" function.
>
No. You know that a power series is an expression. It has variables, but
not domain and
I will let Martin discuss the naming as I think the is attached to the name
LazyTaylorSeries(Ring). A quick counterpoint to Kwankyu's claim, the power
series "is" a function (well, formally), we just usually think of it as
being equal to an "easier" function.
However, it is meant to be a
On Mon, 15 Aug 2022 at 09:50, John Cremona wrote:
>
> On Mon, 15 Aug 2022 at 08:21, Kwankyu Lee wrote:
> >
> > If LazyTaylorSeriesRing could be a complete replacement of
> > LazyPowerSeriesRing, then I think we should remove the old
> > LazyPowerSeriesRing
> > and rename LazyTaylorSeriesRing
On Mon, 15 Aug 2022 at 08:21, Kwankyu Lee wrote:
>
> If LazyTaylorSeriesRing could be a complete replacement of
> LazyPowerSeriesRing, then I think we should remove the old LazyPowerSeriesRing
> and rename LazyTaylorSeriesRing to LazyPowerSeriesRing. Do you mean this?
>
> Mathematically, Taylor
If LazyTaylorSeriesRing could be a complete replacement of
LazyPowerSeriesRing, then I think we should remove the old
LazyPowerSeriesRing
and rename LazyTaylorSeriesRing to LazyPowerSeriesRing. Do you mean this?
Mathematically, Taylor series means power series derived from a function.
So