Hello,
late reply, your message took almost a week to make it over the
alps ...
On Sat, 16 Feb 2013, Ralf Hemmecke wrote:
Why do you believe this?
Because in FreeModule the ordering of the basis is just a technical
requirement to have a unique normal form.
And more important: What is your use case?
Formal sums of elements of posets (in my case set partitions).
A PartialOrder cannot be turned into an OrderedSet without destroying the
partial order.
The idea of "Comparable" is only to have "some" ordering where this
ordering does not need to be related to other operations of the domain.
as in FreeModule.
Franz
--
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
