Bill Page <[email protected]> writes:

[...]

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

In particular "before?" agrees with "<" for all domains that satisfy
OrderedSet. 

-- Gaby

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

Reply via email to