Re: [sage-devel] Re: LazyPowerSeriesRing Replacement
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 least n. Martin On Tuesday, 16 August 2022 at 09:17:30 UTC+2 Martin R wrote: > 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 > LazyPowerSeries(Ring) in the species directory, and I am somewhat unwilling > to find out, because that code seems to have a few bugs and will be > replaced anyway. > On Tuesday, 16 August 2022 at 06:35:56 UTC+2 Kwankyu Lee wrote: > >> 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. >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/dee4d001-a06a-4bc6-956b-318738fc5932n%40googlegroups.com.
Re: [sage-devel] Re: LazyPowerSeriesRing Replacement
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 LazyPowerSeries(Ring) in the species directory, and I am somewhat unwilling to find out, because that code seems to have a few bugs and will be replaced anyway. On Tuesday, 16 August 2022 at 06:35:56 UTC+2 Kwankyu Lee wrote: > 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. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/363ac09d-969d-426b-ba49-221c92c61313n%40googlegroups.com.
Re: [sage-devel] Re: LazyPowerSeriesRing Replacement
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. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/e6a42805-c1cd-47ca-8215-e09a175efe17n%40googlegroups.com.
Re: [sage-devel] Re: LazyPowerSeriesRing Replacement
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 complete replacement with removing the old LazyPowerSeriesRing code. This new version should be faster, more robust, and have more functionality. Best, Travis On Monday, August 15, 2022 at 5:06:29 PM UTC+9 vdelecroix wrote: > 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 LazyPowerSeriesRing. Do you mean > this? > > > > > > Mathematically, Taylor series means power series derived from a > function. So aTaylor series is always attached to a function. The name > LazyTaylorSeriesRing seems a misnomer. > > > > I agree with all these points! > > Me too. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/5e4f1036-1898-41ba-80b4-6fbba24bca37n%40googlegroups.com.
Re: [sage-devel] Re: LazyPowerSeriesRing Replacement
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 LazyPowerSeriesRing. Do you mean this? > > > > Mathematically, Taylor series means power series derived from a function. > > So aTaylor series is always attached to a function. The name > > LazyTaylorSeriesRing seems a misnomer. > > I agree with all these points! Me too. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAGEwAAmdxyJHiXnniu_9KJFPV8pOR4A2Km2GDvazPWRvrH-uHQ%40mail.gmail.com.
Re: [sage-devel] Re: LazyPowerSeriesRing Replacement
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 series means power series derived from a function. So > aTaylor series is always attached to a function. The name > LazyTaylorSeriesRing seems a misnomer. I agree with all these points! John > > > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/95b58801-156f-4bee-b811-abbcf8bd4f1en%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAD0p0K5JogDMHEcvL0T-VECTZzbzpeBAi5eftiQm_detP4VMgg%40mail.gmail.com.
[sage-devel] Re: LazyPowerSeriesRing Replacement
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 aTaylor series is always attached to a function. The name LazyTaylorSeriesRing seems a misnomer. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/95b58801-156f-4bee-b811-abbcf8bd4f1en%40googlegroups.com.