On Feb 21, 2012 12:33 PM, "Gabriel Dos Reis" <[email protected]> wrote: > > Bill Page <[email protected]> writes: > > | I think your comment is very appropriate. Since the semantics of > | Record is well represented as a limit (and dually, Union is > | represented as a co-limit), selecting a field is just projection (or > | injection in the case of Union). Axiom should respect this by have > | Record (and Union) export these operations. > > I am having hard time understanding what exactly you are saying. Could > you elaborate? >
Yes but please ask a more specific question. > | It seems to me that the Axiom developers were ambivalent about the use > | of elt (dot), apply, eval and function application. There use could be > | simplified and clarified. > > The canonical operator name for `function application' is `elt' in all > AXIOMs and that is what the axiom compilers and interpreters understand. > `eval' isn't application; it is evaluation which is a different notion. > All the rest is just user confusion :-) > Does Mapping export 'eval' ? Check the library for an example of 'apply'. (Or perhaps OpenAxiom has eliminated this?) Bill. -- 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.
