>> coefficient: (%, IndexedExponents Var) -> Coef (*2) >> >> to return %. > > I'd rather prefer > > coefficient: (%, Monomial) -> ??? > > which is what I did in (35) above.
Well... What is a power series? It's a mapping from N^n to the coefficient domain. Now whether you call N^n "Monomial" is probably a matter of taste. I also think that it is not bad, but IndexedExponents is not totally bad, either. > Only, the return type is not totally clear. Maybe the signature in > AbelianMonoidRing should export both > > coefficient: (%, Monomial) -> % > > and > > coefficient: (%, Monomial) -> Coeff I don't think that is reasonable. The "->%" works in every case. For "->Coeff" one should expect an exception in general. So I would rather have "->%" and a function "ground?" which tests whether the power series is, in fact, constant, i.e. an element of Coeff. > Proper design takes too long. Yes, it does. ;-) Ralf --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
