Bill Page <[email protected]> writes: | 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?
It is an idea that is worth exploring. -- 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 -~----------~----~----~----~------~----~------~--~---
