Re: [sage-devel] Re: LazyPowerSeriesRing Replacement

2022-08-15 Thread Kwankyu Lee
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 codomain.

Re: [sage-devel] Re: LazyPowerSeriesRing Replacement

2022-08-15 Thread 'Travis Scrimshaw' via sage-devel
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 comple

[sage-devel] New installation method for Sage on Windows - needs testers

2022-08-15 Thread Matthias Koeppe
https://trac.sagemath.org/ticket/34363 Please help by trying out the new instructions (https://github.com/sagemath/sagetrac-mirror/blob/u/mkoeppe/installation_guide__document_sage_installation_on_windows_via_vs_code_devcontainers/src/doc/en/installation/index.rst#windows) and comment on the tic

Re: [sage-devel] Re: LazyPowerSeriesRing Replacement

2022-08-15 Thread Vincent Delecroix
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 to

Re: [sage-devel] Re: LazyPowerSeriesRing Replacement

2022-08-15 Thread John Cremona
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 s

[sage-devel] Re: LazyPowerSeriesRing Replacement

2022-08-15 Thread Kwankyu Lee
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 aTaylo