On Wed, Sep 16, 2009 at 10:09 PM, Waldek Hebisch wrote:
>
> Bill Page wrote:
>
>> Note: In FriCAS
>> not all domains in OrderedSet are Comparable.
>
> Why do you think so? Definition of OrderedSet is supposed to
> insure that each OrderedSet is Comparable.
Sorry that was a typo. What I mean to write was:
In FriCAS not all Comparable domains are in OrderedSet.
And not all domains are Comparable.
In contrast in OpenAxiom there is a default definition of 'before?' in
SetCatagory.
before?(x,y) == GGREATERP(y,x)$Foreign(Builtin)
which is overridden in some domains.
Regards,
Bill Page.
------------------------------------------------------------------------------
Come build with us! The BlackBerry® Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
