Waldek Hebisch <hebi...@math.uni.wroc.pl> writes:
> I have now a patch which separates internal order needed for
> technical reasons and for printing from mathematical order,
> that is OrderedSet. The patch is at:
>
> http://www.math.uni.wroc.pl/~hebisch/fricas/o2b.diff
super!
> I am still testing the patch, but unless some problems show up
> I intend to commit it soon.
I have a request: please document the difference between
\section{category COMPAR Comparable}
<<category COMPAR Comparable>>=
)abbrev category COMPAR Comparable
and
\section{category ORDSET OrderedSet}
<<category ORDSET OrderedSet>>=
)abbrev category ORDSET OrderedSet
++ Description:
++ The class of totally ordered sets, that is, sets such that for each
++ pair of elements \spad{(a,b)} exactly one of the following relations
++ holds \spad{a<b or a=b or b<a} and the relation is transitive, i.e.
++ \spad{a<b and b<c => a<c}.
OrderedSet(): Category == Comparable with
I guess it is roughly that OrderedSet respects "=" and "+", i.e.,
a < b, b = c => a < c and a + d < b + d
but I'm not sure -- except that I'm sure that this *should* be sorted
out before you commit.
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 fricas-devel@googlegroups.com
To unsubscribe from this group, send email to
fricas-devel+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
