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.
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
