Ralf Hemmecke wrote:
>
> before I commit, I decided to change the patch. See new attached patch.
>
> I basically moved the export from UnivariateLaurentConstructorCategory
> to UnivariateLaurentSeriesCategory. The latter is a parent category of
> the former and completely sufficient to export
>
> laurent : (I, Stream Coef) -> %
> ++ \spad{laurent(n, st)} returns \spad{xn * series st)} where
> ++ \spad{xn = monomial(1, n)} and \spad{series st} stands for
> ++ the power series with coefficients given by the stream st.
>
> I could even give a default implementation in that category. Maybe, it's
> not the most efficient (so I kept the default implementation in the
> UnivariateLaurentConstructorCategory). The question arises here, which
> of the two default implementations the compiler will choose.
>
> Can I at least assume that the (default) implementation of a function in
> a more specific category (here UnivariateLaurentConstructorCategory)
> overrides the default implementation of the same function from a parent
> category?
Yes. The patch looks OK.
BTW: It seems that Sourceforge is fleaky today...
--
Waldek Hebisch
[email protected]
--
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 post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
