Hi Tobias, If you refer to https://github.com/fricas/fricas/issues/54 then yes, you are right. I did not have time to come up with a patch when I reported this bug.
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. There is a generic implementation here https://github.com/fricas/fricas/blob/master/src/algebra/indexedp.spad#L233 but that does not apply, since IndexedDirectProductObject has finite support. Actually a strange name, should be IndexedDirectSumObject if the support is supposed to be finite. Ralf On 02.04.21 23:35, Tobias Neumann wrote: > EI ==> Expression(Integer) > ups := UnivariatePuiseuxSeries(EI,'t,0) > > leadingTerm(monomial(1, 1/2)$ups)$ups > > Internal Error > The function leadingTerm with signature hashcode is missing from > domain UnivariatePuiseuxSeries(Expression (Integer))t((0 . 0) 0 . 1) > > It seems like this is just missing implementation in the series expansion > domains, just like `leadingSupport`, unless I'm overlooking something. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/210a2ee2-df82-801c-6df2-32402309b5a2%40hemmecke.org.
