Gaby, On Wed, Sep 16, 2009 at 2:41 PM, you wrote: >... > This is just binary relation. It is an obscure binary relation, much > of which not related to the actual mathematics that OpenAxiom > wants to deal with. That is part of the reasons why it is not glorified > into a category of its own. > ...
Instead of being exported by a category perhaps 'before?' (or equivalent) should be part of a "machine-oriented" or reflection-oriented package? So then it is not part of the normal "namespace" of any domain and the programmer would have to specifically import the domain reflection package in order to use it. 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 -~----------~----~----~----~------~----~------~--~---
