Bill Page <bill.p...@newsynthesis.org> writes: [...]
| The problem is that FriCAS and OpenAxiom have choosen different names | for the machine ordering. In FriCAS it is called "smaller?". | smaller?(alpha,beta) evaluates to true if the value of alpha comes | before the value of beta in the machine ordering. OpenAxiom calls the | same thing "before?". The problem is that the English root word | "smaller" has the connotation of size rather than order. But even the | OpenAxiom name seems vague and a little awkward to read. The OpenAxiom choice was based on long experience with that sort problem for a difference language but in a much wider context and audience: The C++ programming, as you know, has a limited support for reflection called Run Time Type Identification (RTTI) that is used for various things, including dynamic dispatch and exception handling. In various situations, it is necessary to order types in a some way. The C++ standard uses the name 'before' (member function for the class std::type_info) that tells whether a given type object comes before another in the implementation-defined ordering. That solution has been implemented and in use for nearly two decades; I have not had heard of any complaints. I do not want to include any 'machine' in the name; and I'm reluctant to let people believe that I'm sorting stuff. 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. It is an obscure relation that is best ignored by most users (including library writers.) Only OpenAxiom *runtime system* developers (not the library developers) have to care about it. -- Gaby ------------------------------------------------------------------------------ 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
