> So feel free to add that function at the right place. It shouldn't be
>> too hard. But you probably should cover all series domains. Not only
>> Taylor or Puiseux series.
>
>
> It probably makes sense to implement this in UnivariatePowerSeriesCategory
> (upscat.spad)
> where also leadingMonomial etc. from IndexedProductCategory are defined.
> This could be done
> using something like Kurt suggested. That avoids multiple implementations
> in the series domains
> (where one could use the Rep). I'll think about it.
>
For example, adding these to UnivariatePowerSeriesCategory does the job:
leadingTerm f == terms(leadingMonomial(f))(1)
leadingSupport f == leadingTerm(f).k
I think we can safely assume that there is always a first element,
unless the series is 0, in which case `order` as used in leadingMonomial
fails in first place.
Tobias
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/2c39ab7d-92fc-4a57-a168-98aab675cd38n%40googlegroups.com.
