Waldek Hebisch <[EMAIL PROTECTED]> writes:
> We have:
>
> ++ \spadtype{PowerSeriesCategory} is the most general power series
> ++ category with exponents in an ordered abelian monoid.
> PowerSeriesCategory(Coef,Expon,Var): Category == Definition where
> ...
> leadingMonomial: % -> %
> ++ leadingMonomial(f) returns the monomial of \spad{f} of lowest order.
> leadingCoefficient: % -> Coef
> ++ leadingCoefficient(f) returns the coefficient of the lowest order
> ++ term of \spad{f}
>
> the "lowest order" can be only the order in Expon (since we have
> no other order at our disposal).
That's the only part where I don't follow. I'd interpret "lowest order" as
"element of lowest degree in %". I don't see why the order in % has to be the
one from Expon. I know that we inherit from AMR(Coef, Expon), but does this
imply that the order of monomials has to be the same?
If so, would it make sense to change the order in IndexedExponents?
Martin
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
